6111 search results - page 925 / 1223 » Time, Hardware, and Uniformity |
169
click to vote
ISLPED
2005
ACM
16 years 8 days ago
2005
ACM
The instruction scheduling logic used in modern superscalar microprocessors often relies on associative searching of the issue queue entries to dynamically wakeup instructions for...
133
click to vote
SIGMETRICS
2005
ACM
16 years 8 days ago
2005
ACM
In this paper, we present a simulation-based study of BitTorrent. Our results confirm that BitTorrent performs nearoptimally in terms of uplink bandwidth utilization and download...
160
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
164
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
146
click to vote
FPL
2005
Springer
16 years 7 days ago
2005
Springer
This work explores the effect of adding a timing driven functional decomposition step to the traditional field programmable gate array (FPGA) CAD flow. Once placement has comple...