4047 search results - page 667 / 810 » Algebraic Model Checking |
235
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
161
click to vote
DATE
2006
IEEE
16 years 1 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ļ¬...
174
click to vote
ACSC
2005
IEEE
16 years 17 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 ...
162
Voted
ICRA
2005
IEEE
16 years 16 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...
182
click to vote
APN
2005
Springer
16 years 14 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...