1195 search results - page 213 / 239 » Modeling an Algebraic Stepper |
94
Voted
DATE
2006
IEEE
15 years 8 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ļ¬...
105
click to vote
ACSC
2005
IEEE
15 years 7 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 ...
102
Voted
ICRA
2005
IEEE
15 years 7 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...
118
click to vote
APN
2005
Springer
15 years 7 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...
155
Voted
DALT
2005
Springer
15 years 7 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...