4385 search results - page 410 / 877 » Abstraction for Concurrent Objects |
177
click to vote
OPODIS
2004
15 years 8 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
221
click to vote
NDDL
2003
15 years 8 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
188
click to vote
PDPTA
2000
15 years 8 months ago
2000
Abstract In this paper, we propose a microprocessor architecture which eciently utilizes nextgeneration semiconductor technology. While the technology makes it possible to integrat...
172
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
This paper presents lottery scheduling, a novel randomized resource allocation mechanism. Lottery scheduling provides efficient, responsive control over the relative execution rat...
231
click to vote
EPEW
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...