2468 search results - page 398 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
158
click to vote
SC
2003
ACM
15 years 11 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 ...
220
click to vote
DEXA
2006
Springer
15 years 8 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...
203
click to vote
HPCA
2009
IEEE
16 years 6 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 ...
180
click to vote
EDOC
2006
IEEE
16 years 10 days 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...
139
click to vote
HT
2004
ACM
15 years 11 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...