9110 search results - page 428 / 1822 » Formally-Based Design Evaluation |
158
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Modern microprocessors employ increasingly complicated branch predictors to achieve instruction fetch bandwidth that is sufficient for wide out-of-order execution cores. While ex...
163
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...
183
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two models, namely...
200
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
218
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...