4520 search results - page 518 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
EUROSYS
2007
ACM
16 years 4 months ago
2007
ACM
We present a memory-aware load balancing (MALB) technique to dispatch transactions to replicas in a replicated database. Our MALB algorithm exploits knowledge of the working sets ...
209
click to vote
SIGSOFT
1998
ACM
15 years 12 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
256
click to vote
SIGMETRICS
1996
ACM
15 years 12 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
274
click to vote
PC
2006
15 years 7 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
230
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...