1711 search results - page 258 / 343 » Completing pseudojump operators |
PODC
1997
ACM
14 years 5 days ago
1997
ACM
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
ISCA
1996
IEEE
14 years 4 days ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
ISSTA
1996
ACM
14 years 3 days ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
SIGGRAPH
1996
ACM
14 years 3 days ago
1996
ACM
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
TABLEAUX
1997
Springer
14 years 3 days ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...