632 search results - page 79 / 127 » The Basics of Performance-Monitoring Hardware |
ICCAD
1993
IEEE
15 years 4 months ago
1993
IEEE
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
105
click to vote
ISCAS
1994
IEEE
15 years 4 months ago
1994
IEEE
Stochastic computation uses pulse streams to represent numbers. In this paper, we have studied the novel method to implement the number system which uses the ratio of the number o...
108
click to vote
MICRO
1994
IEEE
15 years 4 months ago
1994
IEEE
High performance architectures have always had to deal with the performance-limiting impact of branch operations. Microprocessor designs are going to have to deal with this proble...
100
click to vote
SIGMOD
1994
ACM
15 years 3 months ago
1994
ACM
This paper presents, QuickStore, a memory-mapped storage system for persistent C++ built on top of the EXODUS Storage Manager. QuickStore provides fast access to in-memory objects...
128
click to vote
CAV
2009
Springer
15 years 3 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...