2468 search results - page 395 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
138
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
171
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
85
Voted
ISCA
1997
IEEE
15 years 7 months ago
1997
IEEE
DataScalar architectures improve memory system performance by running computation redundantly across multiple processors, which are each tightly coupled with an associated memory....
136
click to vote
CONEXT
2010
ACM
15 years 1 months ago
2010
ACM
Peer-to-peer has emerged in recent years as a promising approach to providing Video-on-Demand streaming. The design space, however, is vast and still not well understood--yet choo...
126
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...