10870 search results - page 1989 / 2174 » Model Checking Programs |
120
Voted
GRAPHITE
2006
ACM
15 years 7 months 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...
111
click to vote
ISLPED
2006
ACM
15 years 7 months 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...
127
click to vote
ISLPED
2006
ACM
15 years 7 months 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 ...
109
click to vote
SAC
2006
ACM
15 years 7 months 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...
108
click to vote
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...