12774 search results - page 2247 / 2555 » A Framework for Proof Systems |
163
click to vote
AOSD
2005
ACM
16 years 10 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
158
click to vote
PADS
2005
ACM
16 years 10 days ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
217
click to vote
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
169
click to vote
SC
2005
ACM
16 years 10 days ago
2005
ACM
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. H...
215
click to vote
SI3D
2005
ACM
16 years 10 days ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...