79 search results - page 11 / 16 » Queues, stores, and tableaux |
MICRO
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents CHeckpointed Early Resource RecYcling (Cherry), a hybrid mode of execution based on ROB and checkpointing that decouples resource recycling and instruction ret...
SAS
1999
Springer
14 years 3 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
ANSS
1997
IEEE
14 years 3 months ago
1997
IEEE
In this paper, we present JSIM, a Java-based simulation and animation environment being developed at the University of Georgia. The JSIM library includes many Java classes to make...
FUN
2010
Springer
14 years 2 months ago
2010
Springer
We introduce a new number system that supports increments with a constant number of digit changes. We also give a simple method that extends any number system supporting increments...
SIGMETRICS
2011
ACM
13 years 1 months ago
2011
ACM
The amount of charge stored in an SRAM cell shrinks rapidly with each technology generation thus increasingly exposing caches to soft errors. Benchmarking the FIT rate of caches d...