4312 search results - page 122 / 863 » Semi-User-Level Communication Architecture |
173
click to vote
JILP
2000
15 years 6 months ago
2000
Load latency remains a signi cant bottleneck in dynamically scheduled pipelined processors. Load speculation techniques have been proposed to reduce this latency. Dependence Predi...
138
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Conventional e-mail systems are prone to problems that impact their scalability and dependability. E-mail systems operate following a "push-based" approach: the sender s...
153
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Reduction is a common component of many applications, but can often be the limiting factor for parallelization. Previous reduction work has focused on detecting reduction idioms a...
162
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
194
click to vote
AIMSA
1998
Springer
15 years 10 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...