4299 search results - page 135 / 860 » Concurrent Test Generation |
152
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
111
Voted
PACT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
103
click to vote
PODC
1996
ACM
15 years 7 months ago
1996
ACM
Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new twolock queue algorithm in which one enqueue and one dequeue can proceed co...
133
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
132
Voted
DFT
2005
IEEE
15 years 9 months ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...