1195 search results - page 213 / 239 » Modeling an Algebraic Stepper |
149
click to vote
DATE
2006
IEEE
16 years 18 days 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ļ¬...
154
Voted
ACSC
2005
IEEE
16 years 5 days 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 ...
154
click to vote
ICRA
2005
IEEE
16 years 4 days 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...
171
click to vote
APN
2005
Springer
16 years 3 days 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...
213
Voted
DALT
2005
Springer
16 years 2 days 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...