1099 search results - page 11 / 220 » A Parallel Programming Style and Its Algebra of Programs |
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
APIN
1998
14 years 9 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
UTP
2010
14 years 7 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...