Sciweavers

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