1195 search results - page 213 / 239 » Modeling an Algebraic Stepper |
135
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
143
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a simple approach for implementing flexible locking strategies in a system of components, which may themselves be composite objects. The approach is flexible in that a ...
139
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
ā The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a speciļ¬ed s...
157
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. High-Level net models following the paradigm ānets as tokensā have been studied already in the literature with several interesting applications. In this paper we prop...
202
click to vote
DALT
2005
Springer
15 years 11 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a ļ¬nite set of formulae he has computed. Closure or consistency conditions on this se...