3335 search results - page 612 / 667 » A Unified Approach to Modeling and Programming |
177
click to vote
CLUSTER
2006
IEEE
16 years 1 months ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
195
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
180
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...
206
click to vote
GRAPHITE
2006
ACM
16 years 1 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...
163
click to vote
ISSTA
2006
ACM
16 years 1 months 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...