Sciweavers

7262 search results - page 456 / 1453
» Reversible Computer Hardware
Sort
View
ACSD
2009
IEEE
92views Hardware» more  ACSD 2009»
15 years 11 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
Jens Brandt, Mike Gemunde, Klaus Schneider
VALUETOOLS
2006
ACM
236views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
The DISCO network calculator: a toolbox for worst case analysis
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
Jens B. Schmitt, Frank A. Zdarsky
SI3D
2005
ACM
15 years 10 months ago
A lighting model for general participating media
Efficient and visually compelling reproduction of effects due to multiple scattering in participating media remains one of the most difficult tasks in computer graphics. Althoug...
Kyle Hegeman, Michael Ashikhmin, Simon Premoze
139
Voted
CLUSTER
2003
IEEE
15 years 10 months ago
A Performance Comparison of Linux and a Lightweight Kernel
In this paper, we compare running the Linux operating system on the compute nodes of ASCI Red hardware to running a specialized, highly-optimized lightweight kernel (LWK) operatin...
Ron Brightwell, Rolf Riesen, Keith D. Underwood, T...
146
Voted
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
15 years 10 months ago
Parallel Processing Architectures for Reconfigurable Systems
Novel reconfigurable computing architectures exploit the inherent parallelism available in many signalprocessing problems. These architectures often consist of networks of compute...
Kees A. Vissers