Sciweavers

345 search results - page 32 / 69
» An Interactive Self-Replicator Implemented in Hardware
Sort
View
SI3D
2005
ACM
15 years 3 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
ARCS
2005
Springer
15 years 3 months ago
A File System for System Programming in Ubiquitous Computing
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
Christian Decker, Michael Beigl, Albert Krohn
DATE
2000
IEEE
112views Hardware» more  DATE 2000»
15 years 2 months ago
Quantitative Comparison of Power Management Algorithms
Dynamic power management saves power by shutting down idle devices. Several management algorithms have been proposed and demonstrated effective in certain applications. We quantit...
Yung-Hsiang Lu, Eui-Young Chung, Tajana Simunic, G...
ASPDAC
1998
ACM
97views Hardware» more  ASPDAC 1998»
15 years 1 months ago
A Novel Design Assistant for Analog Circuits
 This paper presents a new design assistant for analog integrated circuits. The interactive tool is implemented in the Design Framework II of Cadence and supports the designer d...
Markus Wolf, Ulrich Kleine, Frédéric...
CAV
2010
Springer
158views Hardware» more  CAV 2010»
15 years 1 months ago
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
Salvatore La Torre, P. Madhusudan, Gennaro Parlato