9284 search results - page 1468 / 1857 » Knowledge State Algorithms |
302
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
188
Voted
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
161
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We investigate a complete pipeline for measuring, modeling, and fabricating objects with specified subsurface scattering behaviors. The process starts with measuring the scatterin...
195
click to vote
CSCW
1994
ACM
15 years 10 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
193
click to vote
ICSE
1993
IEEE-ACM
15 years 10 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...