4463 search results - page 688 / 893 » computer 2000 |
151
click to vote
ICCD
2000
IEEE
15 years 7 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
139
click to vote
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
139
Voted
SBACPAD
2005
IEEE
15 years 9 months ago
2005
IEEE
The time required to simulate a complete benchmark program using the cycle-accurate model of a microprocessor can be prohibitively high. One of the proposed methodologies, represe...
134
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We present an object-space morphing technique that blends the interiors of given two- or three-dimensional shapes rather than their boundaries. The morph is rigid in the sense tha...
132
Voted
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we introduce techniques for animating explosions and their effects. The primary effect of an explosion is a disturbance that causes a shock wave to propagate thro...