1972 search results - page 312 / 395 » The Timed Asynchronous Distributed System Model |
117
Voted
STOC
1997
ACM
15 years 6 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
106
click to vote
MOVEP
2000
15 years 6 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
116
click to vote
HPDC
2002
IEEE
15 years 7 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
127
click to vote
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
In a desktop grid model, the job (computational task) is submitted for execution in the resource only when the resource is idle. There is no guarantee that the job which has starte...
120
click to vote
MA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...