1617 search results - page 109 / 324 » Parallel Cost Analysis of Distributed Systems |
113
Voted
PDIS
1994
IEEE
15 years 4 months ago
1994
IEEE
To help users cope with information overload, Selective Dissemination of Information SDI will increasingly become an important tool in wide area information systems. In an SDI ser...
129
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
115
Voted
ISPA
2007
Springer
15 years 6 months ago
2007
Springer
Grid and distributed public computing schemes has become an essential tool for many scientific fields including bioinformatics, computational biology and systems biology. The adopt...
102
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
102
click to vote
ICPADS
2002
IEEE
15 years 5 months ago
2002
IEEE
Efficient determination of processing termination at barrier synchronization points can occupy an important role in the overall throughput of parallel and distributed computing sy...