Sciweavers

7918 search results - page 960 / 1584
» Model Composition Directives
Sort
View
PG
2000
IEEE
15 years 11 months ago
Rendering Natural Waters
Creating and rendering realistic water is one of the most daunting tasks in computer graphics. Realistic rendering of water requires that the sunlight and skylight illumination ar...
Simon Premoze, Michael Ashikhmin
SIGGRAPH
2000
ACM
15 years 11 months ago
Face fixer: compressing polygon meshes with properties
Most schemes to compress the topology of a surface mesh have been developed for the lowest common denominator: triangulated meshes. We propose a scheme that handlesthe topology of...
Martin Isenburg, Jack Snoeyink
IPPS
1999
IEEE
15 years 11 months ago
Dynamically Scheduling the Trace Produced During Program Execution into VLIW Instructions
VLIW machines possibly provide the most direct way to exploit instruction level parallelism; however, they cannot be used to emulate current general-purpose instruction set archit...
Alberto Ferreira de Souza, Peter Rounce
PACT
1999
Springer
15 years 11 months ago
CDL++ for the Description of Moving Objects in Cellular Automata
We introduce a new model for objects which can move around on a cellular grid. The model consists of two phases, the movement phase and the con ict resolution phase. In the movemen...
Christian Hochberger, Rolf Hoffmann, Stefan Waldsc...
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 11 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu