4047 search results - page 667 / 810 » Algebraic Model Checking |
184
click to vote
CCECE
2006
IEEE
15 years 11 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...
119
click to vote
DATE
2006
IEEE
15 years 11 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ļ¬...
132
click to vote
ACSC
2005
IEEE
15 years 10 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 ...
132
click to vote
ICRA
2005
IEEE
15 years 10 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...
146
click to vote
APN
2005
Springer
15 years 10 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...