3335 search results - page 612 / 667 » A Unified Approach to Modeling and Programming |
126
click to vote
CLUSTER
2006
IEEE
15 years 10 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...
129
click to vote
ICDE
2006
IEEE
15 years 10 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...
129
click to vote
ISCAS
2006
IEEE
15 years 10 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...
138
click to vote
GRAPHITE
2006
ACM
15 years 10 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...
107
click to vote
ISSTA
2006
ACM
15 years 10 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...