Sciweavers

5171 search results - page 794 / 1035
» Deterministic Parallel Processing
Sort
View
CONCUR
2003
Springer
15 years 9 months ago
Syntactic Formats for Free
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
Bartek Klin, Pawel Sobocinski
CP
2003
Springer
15 years 9 months ago
Propagating N-Ary Rigid-Body Constraints
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
Ludwig Krippahl, Pedro Barahona
FIDJI
2003
Springer
15 years 9 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
GCC
2003
Springer
15 years 9 months ago
Preserving Data Consistency in Grid Databases with Multiple Transactions
High performance Grid computing provides an infrastructure for access and processing of large volume, terabyte or even petabytes, of distributed data. Research in data grid has foc...
Sushant Goel, Hema Sharda, David Taniar
GCC
2003
Springer
15 years 9 months ago
An Engineering Computation Oriented Visual Grid Framework
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...
Guiyi Wei, Yao Zheng, Jifa Zhang, Guanghua Song