Sciweavers

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