10072 search results - page 1825 / 2015 » Composition of Model Programs |
172
Voted
GRAPHITE
2006
ACM
16 years 10 days ago
2006
ACM
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...
162
click to vote
ISLPED
2006
ACM
16 years 10 days ago
2006
ACM
In this paper, we propose an effective dynamic thermal management (DTM) scheme for MPEG-2 decoding by allowing some degree of spatiotemporal quality degradation. Given a target MP...
181
Voted
ISLPED
2006
ACM
16 years 10 days ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
136
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
175
Voted
SAC
2006
ACM
16 years 9 days ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...