243 search results - page 42 / 49 » The Owner Share Scheduler for a Distributed System |
CL
2007
Springer
13 years 8 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
CLUSTER
2006
IEEE
14 years 2 months ago
2006
IEEE
Simulations, experiments and observatories are generating a deluge of scientific data. Even more staggering is the ever growing application demand to process and assimilate these...
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
WEBNET
2001
13 years 10 months ago
2001
: Teleworking enables a more flexible scheduling of working time and places of work on the way to the modern information society. The rapid development of cooperative application s...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...