20197 search results - page 393 / 4040 » Comparing Computational Power |
181
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
164
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...
242
click to vote
PODC
2011
ACM
14 years 9 months ago
2011
ACM
Dynamic memory management is a significant source of complexity in the design and implementation of practical concurrent data structures. We study how hardware transactional memo...
163
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
With shrinking noise margins and increasing numbers of on-chip noise sources, power grid design has become a critical performance determinant. This paper presents an overview of r...
148
click to vote
HIPC
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present a novel technique to reduce dynamic and static power dissipation in the issue queue. The proposed scheme is based on delaying the dispatch of instructions...