634 search results - page 29 / 127 » Modeling Parallel System Workloads with Temporal Locality |
120
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
128
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
125
click to vote
ISPASS
2007
IEEE
15 years 8 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
129
click to vote
RTCSA
2007
IEEE
15 years 8 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...