3394 search results - page 302 / 679 » Design patterns for semaphores |
136
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
146
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...
166
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
164
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
The paper proposes a novel approach in an attempt to solve the test problem for sequential circuits. Up until now, most of the classical test pattern techniques use a number of al...
185
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...