516 search results - page 68 / 104 » Execution replay and debugging |
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
ISCA
2007
IEEE
14 years 3 months ago
2007
IEEE
Conventional load/store queues (LSQs) are an impediment to both power-efficient execution in superscalar processors and scaling to large-window designs. In this paper, we propose...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
ICS
2009
Tsinghua U.
14 years 1 months ago
2009
Tsinghua U.
New static source routing algorithms for High Performance Computing (HPC) are presented in this work. The target parallel architectures are based on the commonly used fattree netw...
SIGMETRICS
1997
ACM
14 years 1 months ago
1997
ACM
Benchmarks are important because they provide a means for users and researchers to characterize how their workloads will perform on different systems and different system architec...