Sciweavers

10575 search results - page 167 / 2115
» Programming Languages
Sort
View
IFIP
1992
Springer
15 years 10 months ago
A Framework for Production Control and Materials Management
J. Will M. Bertrand, John C. Wortman, Jacob Wijnga...
POPL
1992
ACM
15 years 10 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
ASPLOS
1989
ACM
15 years 10 months ago
Architectural Support for Synchronous Task Communication
Forbes J. Burkowski, Gordon V. Cormack, G. D. P. D...
ASPLOS
1989
ACM
15 years 10 months ago
A Unified Vector/Scalar Floating-Point Architecture
Norman P. Jouppi, Jonathan Bertoni, David W. Wall
ASPLOS
1989
ACM
15 years 10 months ago
Limits on Multiple Instruction Issue
Michael D. Smith, Mike Johnson, Mark Horowitz