7452 search results - page 234 / 1491 » A Semantics for Multiprocessor Systems |
118
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
129
Voted
CLUSTER
2002
IEEE
15 years 9 months ago
2002
IEEE
In a Linux cluster, as in any multi-processor system, the inter-processor communication rate is the major limiting factor to its general usefulness. This research is geared toward...
120
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
: Three fast mutual exclusion algorithms using read-modify-write and atomic read/write registers are presented in a sequence, with an improvement from one to the next. The last alg...
138
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...