Sciweavers

27119 search results - page 263 / 5424
» Languages
Sort
View
133
Voted
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...
122
Voted
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
ECOOP
1989
Springer
15 years 10 months ago
A Design Method for Object-Oriented Programming
Winnie W. Y. Pun, Russel L. Winder