537 search results - page 105 / 108 » Digital Evolution of Behavioral Models for Autonomic Systems |
123
click to vote
SIGMETRICS
2009
ACM
15 years 6 months ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
109
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...
SENSYS
2004
ACM
15 years 5 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...
146
click to vote
CAV
1998
Springer
15 years 3 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
116
click to vote
SIGECOM
2008
ACM
14 years 11 months ago
2008
ACM
Computer users express a strong desire to prevent attacks and to reduce the losses from computer and information security breaches. However, security compromises are common and wi...