3820 search results - page 409 / 764 » Bounded Model Debugging |
128
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
117
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
For a general class of robots with elastic joints, we introduce an inversion algorithm for the synthesis of a dynamic feedback control law that gives input-output decoupling and f...
136
Voted
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
142
click to vote
ANTS
2006
Springer
15 years 7 months ago
2006
Springer
Despite their popularity, lattice reduction algorithms remain mysterious in many ways. It has been widely reported that they behave much more nicely than what was expected from the...
129
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...