2468 search results - page 486 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
108
click to vote
CLOUDCOM
2009
Springer
15 years 4 months ago
2009
Springer
This keynote paper: (1) presents the 21st century vision of computing and identifies various IT paradigms promising to deliver computing as a utility; (2) defines the architecture ...
167
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
MOBISYS
2009
ACM
15 years 10 months ago
2009
ACM
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
102
Voted
HPCA
2006
IEEE
15 years 10 months ago
2006
IEEE
As silicon technologies move into the nanometer regime, transistor reliability is expected to wane as devices become subject to extreme process variation, particle-induced transie...
110
click to vote
ICS
2004
Tsinghua U.
15 years 2 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...