7262 search results - page 265 / 1453 » Reversible Computer Hardware |
112
click to vote
EICS
2010
ACM
15 years 7 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
136
click to vote
VVS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we describe a technique to animate volumes using a volumetric skeleton. The skeleton is computed from the actual volume, based on a reversible thinning procedure us...
128
click to vote
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
We present a general method for automatic reconstruction of accurate, concise, piecewise smooth surface models from scattered range data. The method can be used in a variety of ap...
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
132
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...