2468 search results - page 398 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
119
Voted
SC
2003
ACM
15 years 8 months ago
2003
ACM
We report on a model of the distribution of job submission interarrival times in supercomputers. Interarrival times are modeled as a consequence of a complicated set of decisions ...
185
Voted
DEXA
2006
Springer
15 years 5 months ago
2006
Springer
In recent years, many emerging database applications deal with large sets of continuously moving data objects. Since no computer system can commit continuously occurring infinitesi...
158
Voted
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...
144
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
114
Voted
HT
2004
ACM
15 years 9 months ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...