Sciweavers

954 search results - page 137 / 191
» Collaborative execution environment for heterogeneous parall...
Sort
View
COORDINATION
2009
Springer
14 years 9 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
IPPS
1999
IEEE
14 years 1 months ago
DynBench: A Dynamic Benchmark Suite for Distributed Real-Time Systems
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...
Behrooz Shirazi, Lonnie R. Welch, Binoy Ravindran,...
IPPS
1999
IEEE
14 years 1 months ago
Distributed, Scalable, Dependable Real-Time Systems: Middleware Services and Applications
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
Lonnie R. Welch, Binoy Ravindran, Paul V. Werme, M...
CLUSTER
2005
IEEE
14 years 2 months ago
Minimizing the Network Overhead of Checkpointing in Cycle-harvesting Cluster Environments
Cycle-harvesting systems such as Condor have been developed to make desktop machines in a local area (which are often similar to clusters in hardware configuration) available as ...
Daniel Nurmi, John Brevik, Richard Wolski
COMPSAC
2007
IEEE
14 years 3 months ago
The Four Major Challenges of Engineering Adaptive Software Architectures
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
Jun Han, Alan W. Colman