12774 search results - page 2261 / 2555 » A Framework for Proof Systems |
175
click to vote
MMB
2004
Springer
16 years 3 days ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...
156
click to vote
PACS
2004
Springer
16 years 3 days ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...
201
Voted
PVM
2004
Springer
16 years 3 days ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...
176
click to vote
RT
2004
Springer
16 years 3 days ago
2004
Springer
With the advancements in realtime ray tracing and new global illumination algorithms we are now able to render the most important illumination effects at interactive rates. One of...
159
click to vote
SAMOS
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...