2173 search results - page 224 / 435 » On the Values of Reducibility Candidates |
206
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
200
click to vote
SI3D
1997
ACM
15 years 10 months ago
1997
ACM
Registration (or alignment) of the synthetic imagery with the real world is crucial in augmented reality (AR) systems. The data from user-input devices, tracking devices, and imag...
163
click to vote
PODC
1990
ACM
15 years 10 months ago
1990
ACM
We introduce a shared data object, called a composite register, that generalizes the notion of an atomic register. A composite register is an array-like shared data object that is...
173
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...
164
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...