8658 search results - page 1469 / 1732 » Models of Command and Control |
143
Voted
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
133
Voted
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
FPGA logic densities continue to increase at a tremendous rate. This has had the undesired consequence of increased power density, which manifests itself as higher ondie temperatu...
150
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
135
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Stalls, due to mis-matches in communication rates, are a major performance obstacle in pipelined circuits. If the rate of data production is faster than the rate of consumption, t...
114
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
The presence of unknown values in the simulation result is a key barrier to effective output response compaction in practice. This paper proposes a simple circuit module, called a...