7262 search results - page 1308 / 1453 » Reversible Computer Hardware |
182
click to vote
CJ
1999
15 years 6 months ago
1999
The ability to predict the directions of branches, especially conditional branches, is an important problem in modern computer architecture and advanced compilers. Many static and...
166
click to vote
CN
1999
15 years 6 months ago
1999
Powerful servers for computation and storage, high-speed networking resources, and high-performance 3D graphics workstation, which are typically available in scientific research e...
164
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
141
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
184
click to vote
TVCG
1998
15 years 6 months ago
1998
—Volume navigation is the interactive exploration of volume data sets by “flying” the viewpoint through the data, producing a volume rendered view at each frame. We present a...