Sciweavers

34 search results - page 5 / 7
» snpd 2007
Sort
View
SNPD
2003
14 years 6 days ago
Semantics of Minimally Synchronous Parallel ML
This paper presents a new functional parallel language: Minimally Synchronous Parallel ML. The execution time can then be estimated and dead-locks and indeterminism are avoided. I...
Myrto Arapinis, Frédéric Loulergue, ...
SNPD
2003
14 years 6 days ago
Incomplete Information Processing for Optimization of Distributed Applications
This paper focuses on non-strict processing, optimization, and partial evaluation of MPI programs which use incremental data structures (ISs). We describe the design and implement...
Alfredo Cristóbal-Salas, Andrei Tchernykh, ...
SNPD
2003
14 years 6 days ago
Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
Lars Grunske
SNPD
2003
14 years 6 days ago
Categorization of Transparent-Motion Patterns Using the Projective Plane
Based on a new framework for the description of N transparent motions we categorize different types of transparent-motion patterns. Confidence measures for the presence of all th...
Cicero Mota, Michael Dorr, Ingo Stuke, Erhardt Bar...
SNPD
2003
14 years 6 days ago
Stream Processing on the Grid: an Array Stream Transforming Language
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
Alexander V. Shafarenko