A Co-Processor Approach for Efficient Java Execution in Embedded Systems

This thesis deals with a hardware accelerated Java virtual machine, named REALJava. The REALJava virtual machine is targeted for resource constrained embedded systems. The goal is to attain increased computational performance with reduced power consumption. While these objectives are often seen as trade-offs, in this context both of them can be attained simultaneously by using dedicated hardware. The target level of the computational performance of the REALJava virtual machine is initially set to be as fast as the currently available full custom ASIC Java processors. As a secondary goal all of the components of the virtual machine are designed so that the resulting system can be scaled to support multiple co-processor cores. The virtual machine is designed using the hardware/software co-design paradigm. The partitioning between the two domains is flexible, allowing customizations to the resulting system, for instance the floating point support can be omitted from the hardware in order to decrease the size of the co-processor core. The communication between the hardware and the software domains is encapsulated into modules. This allows the REALJava virtual machine to be easily integrated into any system, simply by redesigning the communication modules. Besides the virtual machine and the related co-processor architecture, several performance enhancing techniques are presented. These include techniques related to instruction folding, stack handling, method invocation, constant loading and control in time domain. The REALJava virtual machine is prototyped using three different FPGA platforms. The original pipeline structure is modified to suit the FPGA environment. The performance of the resulting Java virtual machine is evaluated against existing Java solutions in the embedded systems field. The results show that the goals are attained, both in terms of computational performance and power consumption. Especially the computational performance is evaluated thoroughly, and the results show that the REALJava is more than twice as fast as the fastest full custom ASIC Java processor. In addition to standard Java virtual machine benchmarks, several new Java applications are designed to both verify the results and broaden the spectrum of the tests.

A concurrent region growing algorithm guided by circumscribed contours

Image segmentation of natural scenes constitutes a major problem in machine vision. This paper presents a new proposal for the image segmentation problem which has been based on the integration of edge and region information. This approach begins by detecting the main contours of the scene which are later used to guide a concurrent set of growing processes. A previous analysis of the seed pixels permits adjustment of the homogeneity criterion to the region's characteristics during the growing process. Since the high variability of regions representing outdoor scenes makes the classical homogeneity criteria useless, a new homogeneity criterion based on clustering analysis and convex hull construction is proposed. Experimental results have proven the reliability of the proposed approach

Scheduling of guarded command based models

Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.

Influence of cueing on the preparation and execution of untrained and trained complex motor responses

This study investigated the influence of cueing on the performance of untrained and trained complex motor responses. Healthy adults responded to a visual target by performing four sequential movements (complex response) or a single movement (simple response) of their middle finger. A visual cue preceded the target by an interval of 300, 1000, or 2000 ms. In Experiment 1, the complex and simple responses were not previously trained. During the testing session, the complex response pattern varied on a trial-by-trial basis following the indication provided by the visual cue. In Experiment 2, the complex response and the simple response were extensively trained beforehand. During the testing session, the trained complex response pattern was performed in all trials. The latency of the untrained and trained complex responses decreased from the short to the medium and long cue-target intervals. The latency of the complex response was longer than that of the simple response, except in the case of the trained responses and the long cue-target interval. These results suggest that the preparation of untrained complex responses cannot be completed in advance, this being possible, however, for trained complex responses when enough time is available. The duration of the 1st submovement, 1st pause and 2nd submovement of the untrained and the trained complex responses increased from the short to the long cue-target interval, suggesting that there is an increase of online programming of the response possibly related to the degree of certainty about the moment of target appearance.

The acute effects of strength, endurance and concurrent exercises on the Akt/mTOR/p70S6K1 and AMPK signaling pathway responses in rat skeletal muscle

The activation of competing intracellular pathways has been proposed to explain the reduced training adaptations after concurrent strength and endurance exercises (CE). The present study investigated the acute effects of CE, strength exercises (SE), and endurance exercises (EE) on phosphorylated/total ratios of selected AMPK and Akt/mTOR/p70S6K1 pathway proteins in rats. Six animals per exercise group were killed immediately (0 h) and 2 h after each exercise mode. In addition, 6 animals in a non-exercised condition (NE) were killed on the same day and under the same conditions. The levels of AMPK, phospho-Thr172AMPK (p-AMPK), Akt, phospho-Ser473Akt (p-Akt), p70S6K1, phospho-Thr389-p70S6K1(p-p70S6K1), mTOR, phospho-Ser2448mTOR (p-mTOR), and phospho-Thr1462-TSC2 (p-TSC2) expression were evaluated by immunoblotting in total plantaris muscle extracts. The only significant difference detected was an increase (i.e., 87%) in Akt phosphorylated/total ratio in the CE group 2 h after exercise compared to the NE group (P = 0.002). There were no changes in AMPK, TSC2, mTOR, or p70S6K1 ratios when the exercise modes were compared to the NE condition (P ≥ 0.05). In conclusion, our data suggest that low-intensity and low-volume CE might not blunt the training-induced adaptations, since it did not activate competing intracellular pathways in an acute bout of strength and endurance exercises in rat skeletal muscle.

Analysis and guidelines for implementation of EN 1090-2 Standard to assist execution class assignment of steel structures

Finnish design and consulting companies are delivering robust and cost-efficient steel structures solutions to a large number of manufacturing companies worldwide. Recently introduced EN 1090-2 standard obliges these companies to specify the execution class of steel structures for their customers. This however, requires clarifying, understanding and interpreting the sophisticated procedure of execution class assignment. The objective of this research is to provide a clear explanation and guidance through the process of execution class assignment for a given steel structure and to support the implementation of EN 1090-2 standard in Rejlers Oy, one of Finnish design and consulting companies. This objective is accomplished by creating a guideline for designers that elaborates on the four-step process of the execution class assignment for a steel structure or its part. Steps one to three define the consequence class (projected consequences of structure failure), the service category (hazards associated with the service use exploitation of steel structure) and the production category (manufacturing process peculiarities), based on the ductility class (capacity of structure to withstand deformations) and the behaviour factor (corresponds to structure seismic behaviour). The final step is the execution class assignment taking into account results of previous steps. Main research method is indepth literature review of European standards family for steel structures. Other research approach is a series of interviews of Rejlers Oy representatives and its clients, results of which have been used to evaluate the level of EN 1090-2 awareness. Rejlers Oy will use the developed novel coherent standard implementation guideline to improve its services and to obtain greater customer satisfaction.

Til eder, ährade och älskelige bröder i Christo, warder i thesse dagar ... kungiordt, then tillförende ohörlige execution, som i går här skedde på fyra personer, ..

Nimeke tekstin alusta.

Divers traitez de paix conclus et signez a Munster et a Osnabrug en Westphalie le 24. octobre 1648. Comme aussi ceux qui furent faits a Nuremberg en execution des premiers, touchant la staisfaction des milices, l'evacuation des places, et le licenciement des troupes en l'année 1650. Avec le bref de nôtre St. Pere le Pape... et les prerogatives d'Aix la Chapelle... . Avec le bref de nôtre St. Pere le Pape, contenant sa protestation contre ces traitez, et les prerogatives d'Aix la Chapelle. Le tout servant de preuves à l'histoire de l'Empire.

[Traité. 1648-10-24. Munster. Autriche-Empire-Francefrançais)]

Letter from the Secretary of War, transmitting documents containing the information required by the resolution of Mr. Wright, on the 22d inst. relative to the execution of the act fixing the military peace establishment. --

14th Congress, 1st session, 1815-1816. House. Document no. 33.

Letter from the Secretary of War, transmitting documents containing the information required by the resolution of Mr. Wright, on the 22d inst. relative to the execution of the act fixing the military peace establishment

14th Congress, 1st session, 1815-1816. House. Document no. 33. January 27, 1816. Read and referred to the Committee on Military Affairs.

Message from the President of the United States transmitting documents relative to the execution of the first article of the late treaty between the United States and Great Britain.

"February 7, 1817, ordered to be printed for the use of the Senate." Message addressed to the Senate and dated February 7th, 1817. Consists of the covering letter from the President and a report from the Secretary of State, dated Department of State, February 5th, 1817; which itself consists largely of diplomatic correspondence between the United States and Great Britain Relates to the restitution of captured slaves by the British during the War of 1812-1814.

Exploring Teacher Candidates’ Perception of Practicum Placement Within Concurrent Teacher Education in Two Ontario Universities

In this study, teacher candidates’ perception of their concurrent education program at two Ontario universities were examined, with specific emphasis on how the programs utilized practicum placements, to determine the effectiveness in preparing teacher candidates to teach. This research also strived to uncover the best ways to optimize concurrent teacher education through practicum placements. A questionnaire and interviews were used to uncover teacher candidates’ perceptions at one teacher education program that used full integration of practicum and one that used minimal integration of practicum. The findings revealed that teacher candidates were generally more satisfied with the overall program when there was full integration of practicum. There were statistically significant differences found between the two concurrent programs with regard to practicum time and preparedness and context of the practicum and a highly significant difference found for theory-practice divide. There was also a statistically significant difference (p < .05) observed between the teacher candidates at each university in terms of their beliefs about the need for improvement of their program. Some of the improvements that participants believed could be made to their respective programs included having (a) exceptional mentor teachers and teacher educators, (b) longer placements with a balance of observation and practicum teaching, (c) clear expectations and evaluations of practicum placement, and (d) more distinct connections between theory and practice made within the programs.

Statement from the Sheriff’s Office, Lincoln that there are no writs of execution or extent against Owen Clifford

Statement from the Sheriff’s Office, Lincoln that there are no writs of execution or extent against Owen Clifford. This is signed by Joseph A. Woodruff, March 5, 1869.