60 search results - page 8 / 12 » Formal Sequentialization of Distributed Systems via Program ... |
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
DNA
2009
Springer
15 years 4 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
ECOOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
HPCC
2007
Springer
15 years 3 months ago
2007
Springer
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
PDP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...