In this dissertation, the concept of using domain specific language to develop errorree parallel asynchronous load scheduling protocols for distributed systems is studied. The motivation of this study is rooted in addressing the high cost of verifying parallel asynchronous load scheduling protocols. Asynchronous parallel applications are prone to subtle bugs such as deadlocks and race conditions due to the possibility of non-determinism. Due to this non-deterministic behavior, traditional testing methods are less effective at finding software faults. One approach that can eliminate these software bugs is to employ model checking techniques that can verify that non-determinism will not cause software faults in parallel programs. Unfortunately, model checking requires the development of a verification model of a program in a separate verification language which can be an error-prone procedure and may not properly represent the semantics of the original system. The model checking approach can provide true positive result if the semantics of an implementation code and a verification model is represented under a single framework such that the verification model closely represents the implementation and the automation of a verification process is natural. In this dissertation, a domain specific language based verification framework is developed to design parallel load scheduling protocols and automatically verify their behavioral properties through model checking. A specification language, LBDSL, is introduced that facilitates the development of parallel load scheduling protocols. The LBDSL verification framework uses model checking techniques to verify the asynchronous behavior of the protocol. It allows the same protocol specification to be used for verification and the code generation. The support to automatic verification during protocol development reduces the verification cost post development. The applicability of LBDSL verification framework is illustrated by performing case study on three different types of load scheduling protocols. The study shows that the LBDSL based verification approach removes the need of debugging for deadlocks and race bugs which has potential to significantly lower software development costs.

VALENTOVÁ, Markéta. Development of communication skills of children with specific language impairment growing up in a bilingual environment. Praha: Pedagogical Faculty, Charles University, 2021. 84 p. Magister Degree Thesis. The thesis focuses on speech therapy from the perspective of special pedagogy. It focuses on the development of communication skills in children with specific language impairment who grow up in a bilingual family, where one of the parents communicates with the child in Czech and the other in another language. The aim of the work was to analyze the development of communication skills of children from the research sample. The first part of the thesis defines the concepts of communication, language and its importance in terms of relationship building and identity formation, speech and its development. It stipulates the introduction to the issue of bilingualism, including its types and degrees, the area of bilingual education and language development and its specifics in a bilingual child. The work also contributes to the methods and strategies of bilingual education and its possible pitfalls. The last chapter of the theoretical part outlines the issue of speech therapy care for a bilingual child with impaired communication skills and deals with the issue of specific language...

This study re-examined the language and social skills of four females with language impairment who were initially studied eight years ago (Brinton, Fujiki, Montague, & Hanton, 2000; Fujiki, Brinton, Isaacson, & Summers, 2001). Language measures included the Clinical Evaluation of Language Fundamentals-Fourth Edition (Semel, Wiig, & Secord, 2003) and a thirty minute language sample. Social measures included the UCLA Loneliness Scale-Version 3 (Russell, 1996), parent, teacher and student forms of the Social Skills Rating System (Gresham & Elliott, 1990), and an interview with each participant's teacher or speech-language pathologist. Results of the current assessment were compared to results from the original assessment. In terms of social ability, the two girls who were classified as having the best social skills initially, Jean and Kristine, still appeared to be the most successful in the current study. Despite their social strengths, Jean's teacher indicated that she was socially immature and had difficulty reading the social cues of teachers and peers. Kristine reported that she prefers isolation. Her teacher reported that Kristine may be at risk for self-harm. Amy was still enrolled in resource and speech-language services. Though she had found acceptance in a cultural peer group, her communication style often appeared rude and disrespectful to adults. Marie was dismissed from speech-language intervention, but was still enrolled in resource and received extra academic support from Sylvan Learning Center to be moderately successful. Socially, she demonstrated a high level of problem behaviors and mood swings. According to the UCLA Loneliness Scale, she experienced the most loneliness and isolation of the four subjects. Similar to what has been observed in group studies of children with language impairment, the results from this study found social deficits in these individuals persisted into young-adulthood.

This study examined the electrophysiological activity of two children with Specific Language Impairment (SLI) and two aged-matched peers while listening to syntactically correct sentences versus syntactically incorrect sentences. The study specifically analyzed the N400 and P600 components. The N400 component is a negative wave occurring approximately 400 ms post-stimulus and is elicited by semantically incorrect stimuli. The P600 component is a positivity that occurs approximately 600 ms post-stimulus and reflects processing of syntactically incorrect stimuli. The participants in the study included a 7-year-old child and a 9-year-old child with SLI and two age-matched peers with typically developing language. Each participant listened to a series of syntactically correct and incorrect stimuli. The results of this study indicate that children with SLI present with an N400 while listening to both syntactically correct and incorrect stimuli. This suggests that these participants have greater lexical and semantic processing demands while listening to sentence stimuli. The study also suggests that 7-year-olds have greater syntactic processing demands as seen by the presence of the P600 in both the correct and incorrect conditions. This was likely due to the complexity of the sentence stimuli which included irregular past tense and irregular plural forms. Further research is still needed in order to better understand the role of the N400 and P600 in children with SLI, which will provide useful information regarding the neurological basis for language impairments.

Recently researchers have identified a group of children with language impairment (LI) whose IQ scores are below the typical IQ cutoff of 85 for specific language impairment (SLI) but above the IQ cutoff of 70 for intellectual disability (Weismer et al., 2000). This group is referred to as having nonspecific language impairment (NLI). Eleven children with NLI, eleven same-age peers with SLI, and eleven same-age typical peers were compared on withdrawn and sociable behaviors demonstrated in the classroom setting using the Teacher Behavior Rating Scale (Hart & Robinson, 1996). Three subtypes of withdrawal (solitary-active, solitary-passive, reticent) and two subtypes of sociable behavior (impulse control/likability and prosocial) were examined. The children were compared on the severity of their ratings as well as the pattern of item responses for each behavioral subtype. Teachers rated the group with NLI significantly more poorly than the typical group on the reticence, impulse control/likability, and prosocial subtypes. Teachers rated the group with SLI significantly more poorly than the typical group on the impulse control/likability subtype. Participants were added to the typical group and the group with SLI to increase statistical power. With additional participants, the children with SLI were also rated significantly more poorly than the typical children on the reticence, likability, and prosocial subtypes. The group with NLI was consistently rated more poorly than the group with SLI except on the solitary-active subtype. However, there were no significant differences between the groups with LI, even with additional participants. The pattern of item responses was similar between the groups with NLI and SLI on all behavioral subtypes. In addition, the pattern of item responses for the groups with LI also matched the pattern of the typical group on the solitary-active withdrawal, impulse control/likability, and prosocial subtypes. These data indicate that the differences between the groups with NLI and SLI may be quantitative but not qualitative.

The purpose of this study was to determine whether children with specific language impairment (SLI) are more or less variable than children with typically developing language. In addition, the within child variability for children with SLI was analyzed to consider how heterogeneity influenced identification of areas of linguistic strengths and weaknesses in this population. Fifty seven children with SLI, 7:0–11:0, and fifty seven of their peers with typically developing language were assessed using five subtests and a composite language score from the Comprehensive Assessment of Spoken Language (CASL) (Carrow-Woolfolk, 1999). The children with typically developing language were significantly more variable as a group than the children with SLI. The heterogeneity of the children with SLI did not allow for the creation of subgroups based on language strengths and weaknesses.

No description available.

No description available.

No description available.

No description available.