7167 search results - page 1136 / 1434 » A Technique for Invariant Generation |
192
click to vote
JMLC
2000
Springer
15 years 11 months ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
256
click to vote
LCPC
2000
Springer
15 years 11 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
178
click to vote
MICCAI
2000
Springer
15 years 11 months ago
2000
Springer
Many problems in laparoscopic surgery are due to the poor degrees of freedom of movement (DOF) in controlling forceps and laparoscopes. The Multi-DOF forceps manipulator we have ne...
202
Voted
PODC
2000
ACM
15 years 11 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
177
click to vote
VVS
2000
IEEE
15 years 11 months ago
2000
IEEE
Multi-resolution data-structures and algorithms are key in Visualization to achieve real-time interaction with large data-sets. Research has been primarily focused on the off-line...