6709 search results - page 103 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
HPCA
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper proposes and evaluates hardware mechanisms for supporting prescient instruction prefetch--an approach to improving single-threaded application performance by using help...
112
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Network virtualization allows many networks to share the same underlying physical topology; this technology has offered promise both for experimentation and for hosting multiple n...
137
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
108
click to vote
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
ATS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...