Sciweavers

10585 search results - page 183 / 2117
» The Orc Programming Language
Sort
View
142
Voted
POS
1994
Springer
15 years 11 months ago
Semantic Synchronization in a Persistent Object System Library
Andrea H. Skarra, Naser S. Barghouti, Alexander L....
127
Voted
SIGADA
1994
Springer
15 years 11 months ago
Structural Model: Architecture for Software Designers
Robert G. Crispen, Lynn D. Stuckey Jr.
IFIP
1992
Springer
15 years 11 months ago
A Framework for Production Control and Materials Management
J. Will M. Bertrand, John C. Wortman, Jacob Wijnga...
140
Voted
POPL
1992
ACM
15 years 11 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
ASPLOS
1989
ACM
15 years 11 months ago
Architectural Support for Synchronous Task Communication
Forbes J. Burkowski, Gordon V. Cormack, G. D. P. D...