We introduce computational systems to formalise the notion of rewriting directed by user defined strategies. This provides a semantics for ELAN, an environment dedicated to prototype, experiment and study the combination of different deduction systems for constraint solving, theorem proving and logic programming paradigms. Formally, a computational system can be represented as a rewrite theory ...

LA-MPI is a high-performance, network-fault-tolerant implementation of MPI designed for terascale clusters that are inherently unreliable due to their very large number of system components and to trade-offs between cost and performance. This paper reviews the architectural design of LA-MPI, focusing on our approach to guaranteeing data integrity. We discuss our network data path abstraction th...

Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given programming language, but consists generally of several heterogeneous tools. The idea behind a data exchange format is to provide a common representation for the interconnection of these different tools. Moreover, an exchang...

American Sign Language, the preferred language of the Deaf community in the USA is its own language; complete with a rich collection of grammatical features. The DePaul University team has been working on an automatic English/ASL translator implemented as a 3D avatar in order to facilitate better communication between hearing and deaf people. Animations suffered from various timing inconsistenc...

Introduction Inductively Coupled Plasma Mass Spectrometry (ICP-MS) typically provides detection limits in the low-ppt to sub-ppt range for all but a few of over 70 elements. Unfortunately, for a handful of elements, conventional ICP-MS cannot provide the best possible detection limits. The detection limits for these elements are limited by plasma or sample matrix-based polyatomic interferences....

The simulation of processors over simple architectures is important for enabling test and veri cation prior to the expensive implementation involved in the development of new hardware technologies. Arvind's group has illustrated how to describe processors by term rewriting systems and has introduced a technique for proving the correctness of speci cations for elaborated processors with respect ...

the purpose of this study was to determine the seasonal changes of vital signs (body temperature, pulse rate and blood pressure) in relation to the working thermal conditions. in this study a total number of 202 permanent workers of bakeries were studied during summer and winter. the results showed the body temperature and pulse rate raised more in summer than in winter in all workers except wh...