9626 search results - page 1630 / 1926 » Invariant Based Programming |
188
click to vote
ASPDAC
2006
ACM
16 years 19 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
149
click to vote
ASPDAC
2006
ACM
16 years 19 days ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
166
click to vote
ECLIPSE
2006
ACM
16 years 19 days ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
165
click to vote
GRAPHITE
2006
ACM
16 years 19 days ago
2006
ACM
Implicit surface is a well-known surface representation. Geometric details of an object can be represented using less surface primitives than other representations such as polygon...
183
click to vote
GRAPHITE
2006
ACM
16 years 19 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...