8719 search results - page 1451 / 1744 » A Categorical Approach to Simulations |
195
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
: We present a new, dynamic algorithm for test sequence compaction and test cycle reduction for combinationaland sequential circuits. Several dynamic algorithms for compaction in c...
165
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
: We present an exact and interactive collision detection system, I-COLLIDE, for large-scale environments. Such environments are characterized by the number of objects undergoing r...
207
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Recent advances in computer graphics have produced images approaching the elusive goal of photorealism. Since many natural objects are so complex and detailed, they are often not ...
198
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
188
click to vote
ISCA
1991
IEEE
15 years 10 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...