Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

How computer programmers work : understanding software development in practise

Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar avhandlingen dessa två former av programmering och visar att programmering innefattar mer än teknisk förmåga. Med utgångspunkt i hermeneutisk och retorisk teori och med hjälp av både kulturvetenskap och datavetenskap visar avhandlingen att programmerarnas tradition och värderingar är grundläggande för deras arbete, och att båda sorter av programmering kan uppfattas och analyseras genom klassisk texttolkningstradition. Dessutom kan datorprogram betraktas och analyseras med hjälp av klassiska teorier om talproduktion i praktiken - program ses då i detta sammanhang som ett slags yttranden. Allt som allt förespråkar avhandlingen en återkomst till vetenskapens grunder, vilka innebär en ständig och oupphörlig cyklisk rörelse mellan att erfara och att förstå. Detta står i kontrast till en reduktionistisk syn på vetenskapen, som skiljer skarpt mellan subjektivt och objektivt, och på så sätt utgår från möjligheten att uppnå fullständigt vetande. Ofullständigt vetande är tolkandets och hermeneutikens domän. Syftet med avhandlingen är att med hjälp av exempel demonstrera programmeringens kulturella, hermeneutiska och retoriska natur.

Social physique anxiety across physical activity settings : a meta-analytical review

The purpose of this meta-analytic investigation was to review the empirical evidence specific to the effect of physical activity context on social physique anxiety (SP A). English language studies were located from computer and manual literature searches. A total of 146 initial studies were coded. Studies included in the meta-analysis presented at least one empirical effect for SPA between physical activity participants (i.e., athletes or exercisers) and non-physical activity participants. The final sample included thirteen studies, yielding 14 effect sizes, with a total sample size of 2846. Studies were coded for mean SPA between physical activity participants and non-physical activity participants. Moderator variables related to demographic and study characteristics were also coded. Using Hunter and Schmidt's (2004) protocol, statistical artifacts were corrected. Results indicate that, practically speaking, those who were physically active reported lower levels of SPA than the comparison group (dcorr = -.12; SDeorr.-=-;22). Consideration of the magnitude of the ES, the SDeorr, and confidence interval suggests that this effect is not statistically significant. While most moderator analyses reiterated this trend, some differences were worth noting. Previous research has identified SPA to be especially salient for females compared to males, however, in the current investigation, the magnitude of the ES' s comparing physical activity participants to the comparison group was similar (deorr = -.24 for females and deorr = -.23 for males). Also, the type of physical activity was investigated, and results showed that athletes reported lower levels of SP A than the comparison group (deorr = -.19, SDeorr = .08), whereas exercisers reported higher levels of SPA than the comparison group (deorr = .13, SDeorr = .22). Results demonstrate support for the dispositional nature of SP A. Consideration of practical significance suggests that those who are involved in physical activity may experience slightly lower levels of SPA than those not reporting physical activity participation. Results potentially offer support for the bi-directionality of the relationship between physical activity and SP A; however, a causality may not be inferred. More information about the type of physical activity (i.e., frequency/nature of exercise behaviour, sport classificationllevel of athletes) may help clarify the role of physical activity contexts on SPA.

Thinking skills in the language arts : an application of cognitive schema theory to the narrative writing process /

A cognitively based instructional program for narrative writing was developed. The effects of using cognitively based schematic planning organizers at the pre-writing stage were evaluated using subjects from the Primary, Junior and Intermediate divisions. Results indicate that the use of organizers based on problem solving significantly improved the organization and the overall quality of narrative writing for students in grades 3, 6 and 7. The magnitude of the improvement of the treatment group over the control group performance in Organization ranged from 10.7% to 22.9%. Statistical and observational data indicate many implications for further research into the cognitive basis for writing and reading; for the improvement and evaluation of school writing programs; for the design of school curricula; and for the inservice education for teachers of writing.

Coaches' use of and impressions of computer-mediated communication (CMC) media /

The study examined coaches' usage of text-based computer-mediated communication (CMC) media (e.g., text-messaging, email) in the coach-player relationship. Data were collected by surveying Ontario-based male baseball coaches (n = 86) who coached players between 15 and 18 years old. Predictions were made regarding how demographic factors such as age and coaching experience affected coaches' CMC use and opinions. Results indicated that over 76% of respondents never used any CMC media other than email and team websites in their interactions with players. Results also revealed that coaches' usage rates contrasted with their opinion of the usefulness of the media, and their perception of players' use of the media. Coaches characterized most CMC media as limited, unnecessary, and sometimes inappropriate. Additional research should explore players' CMC usage rates and possible guidelines for use of the new media in authority relationships. Academia needs to keep pace with the developments in this area.

A comparison of two computer-assisted remedial reading programs for adolescent unskilled readers : component reading skills and repeated reading

This study compared the relative effectiveness of two computerized remedial reading programs in improving the reading word recognition, rate, and comprehension of adolescent readers demonstrating significant and longstanding reading difficulties. One of the programs involved was Autoskill Component Reading Subskills Program, which provides instruction in isolated letters, syllables, and words, to a point of rapid automatic responding. This program also incorporates reading disability subtypes in its approach. The second program, Read It Again. Sam, delivers a repeated reading strategy. The study also examined the feasibility of using peer tutors in association with these two programs. Grade 9 students at a secondary vocational school who satisfied specific criteria with respect to cognitive and reading ability participated. Eighteen students were randomly assigned to three matched groups, based on prior screening on a battery of reading achievement tests. Two I I groups received training with one of the computer programs; the third group acted as a control and received the remedial reading program offered within the regular classroom. The groups met daily with a trained tutor for approximately 35 minutes, and were required to accumulate twenty hours of instruction. At the conclusion of the program, the pretest battery was repeated. No significant differences were found in the treatment effects of the two computer groups. Each of the two treatment groups was able to effect significantly improved reading word recognition and rate, relative to the control group. Comprehension gains were modest. The treatment groups demonstrated a significant gain, relative to the control group, on one of the three comprehension measures; only trends toward a gain were noted on the remaining two measures. The tutoring partnership appeared to be a viable alternative for the teacher seeking to provide individualized computerized remedial programs for adolescent unskilled readers. Both programs took advantage of computer technology in providing individualized drill and practice, instant feedback, and ongoing recordkeeping. With limited cautions, each of these programs was considered effective and practical for use with adolescent unskilled readers.

Elementary computer-mediated online distance education : identification of criteria for successful implementation and practice

This study had three purposes related to the effective implem,entation and practice of computer-mediated online distance education (C-MODE) at the elementary level: (a) To identify a preliminary framework of criteria 'or guidelines for effective implementation and practice, (b) to identify areas ofC-MODE for which criteria or guidelines of effectiveness have not yet been developed, and (c) to develop an implementation and practice criteria questionnaire based on a review of the distance education literature, and to use the questionnaire in an exploratory survey of elementary C-MODE practitioners. Using the survey instrument, the beliefs and attitudes of 16 elementary C'- MODE practitioners about what constitutes effective implementation and practice principles were investigated. Respondents, who included both administrators and instructors, provided information about themselves and the program in which they worked. They rated 101 individual criteria statenlents on a 5 point Likert scale with a \. point range that included the values: 1 (Strongly Disagree), 2 (Disagree), 3 (Neutral or Undecided), 4 (Agree), 5 (Strongly Agree). Respondents also provided qualitative data by commenting on the individual statements, or suggesting other statements they considered important. Eighty-two different statements or guidelines related to the successful implementation and practice of computer-mediated online education at the elementary level were endorsed. Response to a small number of statements differed significantly by gender and years of experience. A new area for investigation, namely, the role ofparents, which has received little attention in the online distance education literature, emerged from the findings. The study also identified a number of other areas within an elementary context where additional research is necessary. These included: (a) differences in the factors that determine learning in a distance education setting and traditional settings, (b) elementary students' ability to function in an online setting, (c) the role and workload of instructors, (d) the importance of effective, timely communication with students and parents, and (e) the use of a variety of media.

The effectiveness of a multisensory writing program in improving cursive writing ability in children with sensorimotor difficulties

It is estimated that five to ten percent of children experience sensory motor difficulties that result in various learnlng disabilitiies , among them. inabllity to output Information on paper in the appropriate manner (Ayres ,1985). The relationship between sensorimotorabillty and handwriting is well documented in the literature (Freeman,1917; Townsend , 1951; Nlkola-Ll sa, 1987). While much of the literature is inconclusive, there are findings to suggest that muitisensory handwriting programmes are an effective approach to improvlng writing abIlity in these chlldren. For a number of years, Occupational Therapists have been involved in the remediation of handwriting utllizing , amongst other approaches . multisensory programmes. While subjective assessments of effectiveness have been extremerly positive. scientIfic evaluation has been minimal . If further intervention in this area is to occur, it Is essential that the profession be able to justify the existence of such programmes . The purpose of this study was to examine what effects a multlsensory writing prog~am would have on the curslve writing ability of chlldren with sensorimotor dlfficulties. A single case with multiple baselines across be havlours design was used , with the behavlours being cursive writing abilIty of fIve distInct letter groups. The fIve groups were taught in random order, one group every two weeks , In a one-hour session. Repeated measurements of writing speed and qualIty for each letter group were made. This design was repeated over three other cases . Results of the study yielded statistical signifi cance in trend changes In specIfic letter groups for all of the chlldren following interventlon. One child achieved statistical significance In the overall change In quality , while none of the children achieved overall statistical significance In speed score changes . Teacher reports and an assessment of written language prior to and following the program suggest that Intervention may have had a positive effect on self-confidence in written output, and on the maturlty of written expression in some of the cases . Further research in this field is needed to validate the continual use of multisensory writing programmes by Occupational Theraplsts worklng with this specific population and to provide some directlon with regards to the Integration of multlsensory writing programmes within the regular academic remedial programme .

The impact of a training program in phonological awareness on children's early writing

This study examined the effects that a training program in phonological awareness had on the early writing skills of children in a Grade One class in the Lincoln County Separate school system. The intent of the training program was to provide consistent and systematic practice in the manipulation of the phonological structure of language. The games and activities of the training program were related to a framework of developmental phonological skills and practised in a group setting during an unstructured period of the regular classroom schedule. The training program operated three days in a six-day cycle for approximately twenty minutes a day, from November until mid-March. All children were tested at the outset and conclusion of the study to determine level of functioning in letter identification, word recognition, verbal intelligence, phonological awareness and spelling. Results of the pre-tests and post-tests were compared to determine differences between the experimental and control groups over time. In addition, a systematic analysis of the children's writing looked at the development of the spelling of regular and irregular words. The results of this study provided strong support for the hypothesis that the treatment group would progress through the stages of early writing development more quickly than children without such training. On the basis of differences between the groups over time, it was evident that training in phonological awareness had a direct positive effect on the spelling of regular words for children during the early stages of writing. The training program did not have a significant effect on the spelling of irregular words. Test results evaluating phonological awareness indicated a significant difference within each group over time but no significance between the groups during the experimental period. It would appear that the results of these tests reflect maturational changes in the child rather than causal effects of the training program. Nor did the effects of the training program transfer significantly to other aspects of language. Although some of the hypotheses considered were not supported by the study, the results do indicate that children during the early stages of writing development can benefit from a training program in phonological awareness. The theoretical direction for effective programming as a result of this study is discussed. The educational implications of training phonological awareness concurrent to beginning efforts in writing are considered.

A qualitative journey into cyberspace /

Educators should movefrom teacher-centered learning to student-centered learning, from isolated work to collaborative work, andfromfactual knowledgebased instructions to critical thinking and informed decision-making. The high tech classroom should be more interactive and encourage active, exploratory, inquiry-based learning, as opposed to the didactic mode in which teachersfeed students information. (Valenti,2000, p. 85) The influence of technology in schools is growing as quickly as the students it impacts. As a pioneer in an e-leaming high school, I hoped to better understand the effects and influences of this learning tool in the English classroom. Using interpretive ethnography as my main frame of reference, I examined the role of technology in a grade 9 Academic English class environment. My role was participant observer as I worked with 4 students in the Laptop Program at St. Augustine Catholic High School. Through interview, observation, joumaling, and thick description, I undertook a journey into cyberspace. I documented the experiences, the frustrations, and the highlights of being in e-leaming along with my students. In this study, I specifically considered the issues of teacher training, administrative support, technology support personnel, resource availability, the role of the teacher in a constructivist classroom, and the benefits of the laptop computer as a learning tool in classroom and school.

Exploratory study : exploring the effectiveness of a literacy-based intervention with children with language impairments

Research points clearly to the need for all concerned stakeholders to adopt a preventative approach while intervening with children who are at-risk for future reading disabilities. Research has indicated also that a particular sub-group of children at-risk for reading impairments include preschool children with language impairments (Catts, 1993). Preschool children with language impairments may have difficulties with emergent literacy skills - important prerequisite skills necessary for successful formal reading. Only in the past decade have researchers begun to study the effects of emergent literacy intervention on preschool children with language impairments. As such, the current study continues this investigation of how to effectively implement an emergent literacy therapy aimed at supporting preschool children with language impairments. In addition to this, the current study explores emergent literacy intervention within an applied clinical setting. The setting, presents a host of methodological and theoretical challenges - challenges that will advance the field of understanding children within naturalistic settings. This exploratory study included thirty-eight participants who were recruited from Speech Services Niagara, a local preschool speech and language program. Using a between-group pre- and posttest design, this study compared two intervention approaches - an experimental emergent literacy intervention and a traditional language intervention. The experimental intervention was adopted from Read It Again! (Justice, McGinty, Beckman, & Kilday, 2006) and the traditional language intervention was based on the traditional models of language therapy typically used in preschool speech and language models across Ontario. 5 Results indicated that the emergent literacy intervention was superior to the ,t..3>~, ~\., ;./h traditional language therapy in improving the children's alphabet knowledge, print and word awareness and phonological awareness. Moreover, results revealed that children with more severe language impairments require greater support and more explicit instruction than children with moderate language impairments. Another important finding indicated that the effects of the preschool emergent literacy intervention used in this study may not be sustainable as children enter grade one. The implications of this study point to the need to support preschool children with language impairments with intensive emergent literacy intervention that extends beyond preschool into formal educational settings.

The Impact of a Text-Reader Support Program on Intermediate Students' Reading Comprehension

This study examined the efficacy of providing four Grade 7 and 8 students with reading difficulties with explicit instruction in the use of reading comprehension strategies while using text-reader software. Specifically, the study explored participants' combined use of a text-reader and question-answering comprehension strategy during a 6-week instructional program. Using a qualitative case study methodology approach, participants' experiences using text-reader software, with the presence of explicit instruction in evidence-based reading comprehension strategies, were examined. The study involved three phases: (a) the first phase consisted of individual interviews with the participants and their parents; (b) the second phase consisted of a nine session course; and (c) the third phase consisted of individual exit interviews and a focus group discussion. After the data collection phases were completed, data were analyzed and coded for emerging themes, with-quantitativ,e measures of participants' reading performance used as descriptive data. The data suggested that assistive technology can serve as an instructional "hook", motivating students to engage actively in the reading processes, especially when accompanied by explicit strategy instruction. Participants' experiences also reflected development of strategy use and use of text-reader software and the importance of social interactions in developing reading comprehension skills. The findings of this study support the view that the integration of instruction using evidence-based practices are important and vital components in the inclusion oftext-reader software as part of students' educational programming. Also, the findings from this study can be extended to develop in-class programming for students using text-reader software.

The Effects of Drama on Oral Fluency and Foreign Language Anxiety: An exploratory study

Previous research has suggested that drama has positive effects on learners' oral communication and anxiety; however, it is unclear which dimensions, or to what extent, they are affected by drama. This research narrows the investigation by examining how a drama-based EFL program impacts three dimensions of oral communication: fluency, comprehensibility, and accentedness, and one anxiety factor - foreign language speaking anxiety (FLSA) -, over time. Speech samples were collected from EFL learners in a treatment and a control group, and subsequently assessed by untrained Canadian-born raters. FLSA levels were measured through questionnaires and interviews. Pre- and post-test analysis indicate that learners in the treatment group made significant gains in oral fluency while oral fluency among learners in the control group remained unchanged. There was a significant reduction in FLSA levels among learners in both groups. Finally, qualitative analyses suggest that drama activities, among others, enhance learners' comfort levels in speaking English.

Closing the Summer Learning Gap for Vulnerable Children: An Examination of a Summer Family Literacy Program for Junior Kindergarten Children At-Risk for Reading Difficulties

The learning gap created by summer vacation creates a significant breach in the learning cycle, where student achievement levels decrease over the course ofthe summer (Cooper et aI., 2000). In a review of 39 studies, Cooper and colleagues (1996) specified that the summer learning shortfall equals at least one month loss of instruction as measured by grade level equivalents on standardized test scores. Specifically, the achievement gap has a more profound effect on children as they grow older, where there is a steady deterioration in knowledge and skills sustained during the summer months (Cooper et aI., 1996; Kerry & Davies, 1998). While some stakeholders believe that the benefits of a summer vacation overshadow the reversing effect on achievement, it is the impact of the summer learning gap on vulnerable children, including children who are disadvantaged as a result of requiring special educational needs, children from low socioeconomic backgrounds, and children learning English as a second language, that is most problematic. More specifically, research has demonstrated that it is children's literacy-based skills that are most affected during the summer months. Children from high socioeconomic backgrounds recurrently showed gains in reading achievement over the summer whereas disadvantaged children repeatedly illustrate having significant losses. Consequently, the summer learning gap was deemed to exaggerate the inequality experienced by children from low socioeconomic backgrounds. Ultimately, the summer learning gap was found to have the most profound on vulnerable children, placing these children at an increased chance for academic failure. A primary feature of this research project was to include primary caregivers as authentic partners in a summer family literacy program fabricated to scaffold their children's literacy-based needs. This feature led to the research team adapting and implementing a published study entitled, Learning Begins at Home (LBH): A Research-Based Family Literacy Program Curriculum. Researchers at the Ontario Institute designed this program for the Study of Education, University of Toronto. The LBH program capitalized on incorporating the flexibility required to make the program adaptable to meet the needs of each participating child and his or her primary caregiver. As it has been well documented in research, the role primary caregivers have in an intervention program are the most influential on a child's future literacy success or failure (Timmons, 2008). Subsequently, a requirement for participating in the summer family literacy program required the commitment of one child and one of his or her primary caregivers. The primary caregiver played a fundamental role in the intervention program through their participation in workshop activities prior to and following hands on work with their child. The purpose of including the primary caregiver as an authentic partner in the program was to encourage a definitive shift in the family, whereby caregivers would begin to implement literacy activities in their home on a daily basis. The intervention program was socially constructed through the collaboration of knowledge. The role ofthe author in the study was as the researcher, in charge of analyzing and interpreting the results of the study. There were a total of thirty-six (36) participants in the study; there were nineteen (19) participants in the intervention group and seventeen (17) participants in the control group. All of the children who participated in the study were enrolled in junior kindergarten classrooms within the Niagara Catholic District School Board. Once children were referred to the program, a Speech and Language Pathologist assessed each individual child to identify if they met the eligibility requirements for participation in the summer family literacy intervention program. To be eligible to participate, children were required to demonstrate having significant literacy needs (i.e., below 25%ile on the Test of Preschool Early Literacy described below). Children with low incident disabilities (such as Autism or Intellectual Disabilities) and children with significant English as a Second Language difficulties were excluded from the study. The research team utilized a standard pre-test-post-test comparison group design whereby all participating children were assessed with the Test of Preschool Early Literacy (Lonigan et aI., 2007), and a standard measure of letter identification and letter sound understanding. Pre-intervention assessments were conducted two weeks prior to the intervention program commencing, and the first set of the post-intervention assessments were administered immediately following the completion of the intervention program. The follow-up post-intervention assessments took place in December 2010 to measure the sustainability of the gains obtained from the intervention program. As a result of the program, all of the children in the intervention program scored statistically significantly higher on their literacy scores for Print Knowledge, Letter Identification, and Letter Sound Understanding scores than the control group at the postintervention assessment point (immediately following the completion of the program) and at the December post-intervention assessment point. For Phonological Awareness, there was no statistically significant difference between the intervention group and the control at the postintervention assessment point, however, there was a statistically significant difference found between the intervention group and the control group at the December post-intervention assessment point. In general, these results indicate that the summer family literacy intervention program made an immediate impact on the emergent literacy skills of the participating children. Moreover, these results indicate that the summer family literacy intervention program has the ability to foster the emergent literacy skills of vulnerable children, potentially reversing the negative effect the summer learning gap has on these children.

A Needs Assessment: Language Instruction Stakeholders Engaging in Project Based Learning Outside the Classroom for Effective Strategic Problem Solving

Abstract A noted benefit of Project Based Learning (PBL) as a teaching strategy is how it engages the student and enhances learning outcomes as a result of working through challenges intended to depict dilemmas outside the classroom. PBL has seldom been applied outside the parameters of the classroom curriculum. The current needs assessment carried out in this research project examined current practices of language instruction and International Administrative Professionals of both the private and public Language Industry. Participants responded to survey questions on their current administrative practices, strategies, and program characteristics. The study investigated the usefulness of a handbook on the procedure of assisting administrative service teams in language instruction settings to an engaged approach to PBL for student service issues. The diverse opinions, beliefs, and ideas, along with institutional policy, can provide beneficial framework ideas for future tools.