218 search results - page 13 / 44 » Consistency without concurrency control in large, dynamic sy... |
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
103
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
114
click to vote
PC
2007
14 years 10 months ago
2007
We explore runtime mechanisms and policies for scheduling dynamic multi-grain parallelism on heterogeneous multi-core processors. Heterogeneous multi-core processors integrate con...
IPPS
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper presents the design and evaluation of a multithreaded runtime library for parallel I/O. We extend the multi-threading concept to separate the compute and I/O tasks in t...
77
Voted
INFOCOM
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract—In this paper we analyze the M/G/1 processor sharing queue with heavy tailed services and with impatient customers. It is assumed that impatience depends on the value of...