805 search results - page 33 / 161 » Modeling and Analyzing Periodic Distributed Computations |
SC
2004
ACM
14 years 2 months ago
2004
ACM
–Application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter- and intra-node communication in a c...
IJHPCA
2010
13 years 7 months ago
2010
Scientific workflows are frequently being used to model complex phenomena, to analyze instrumental data, to tie together information from distributed sources, and to pursue other ...
ICDCS
1998
IEEE
14 years 1 months ago
1998
IEEE
Market mechanisms solve distributed scheduling problems by allocating the scheduled resources according to market prices. We model distributed scheduling as a discrete resource al...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...