452 search results - page 89 / 91 » Symbolic Execution of Behavioral Requirements |
103
click to vote
SIGMETRICS
2003
ACM
15 years 3 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
ICPP
1994
IEEE
15 years 2 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
118
click to vote
CF
2010
ACM
15 years 2 months ago
2010
ACM
Studies have shown much of today’s data centers are over-provisioned and underutilized. Over-provisioning cannot be avoided as these centers must anticipate peak load with burst...
CGO
2006
IEEE
15 years 2 months ago
2006
IEEE
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
110
click to vote
ISCA
1995
IEEE
15 years 2 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...