Recovery management in QuickSilver
- Roger Haskin
- Yoni Malachi
- et al.
- 1987
- SOSP 1987
Conference paper
Publications
Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Conference paperA new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Conference paperPerformance of a collision-free local bus network having asynchronous distributed control
- Carl V. Kanadier
- Gerald S. Shedler
- 1980
- ISCA 1980
Conference paperSharing data and services in a virtual machine system
- J.D. Bagley
- E.R. Floto
- et al.
- 1975
- SOSP 1975
Conference paperA page allocation strategy for multiprogramming systems
- Donald D. Chamberlin
- Samuel H. Fuller
- et al.
- 1973
- SOSP 1973
Conference paperMinimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- Manuel Correia
- Donald Cossman
- et al.
- 1970
- DAC 1970
Conference paperQuality of designs from an automatic logic generator (ALERT)
- Theodore D. Friedman
- Sih-Chin Yang
- 1970
- DAC 1970
Conference paperTailored Primitive Initialization is the Secret Key to Reinforcement Learning
- Yihang Yao
- Guangtao Zeng
- et al.
- 2026
- ACL 2026
Conference paperStop Guessing When to Stop Testing: Efficient Model Evaluation with Just Enough Data
- Ofir Arviv
- Kristjan Greenewald
- et al.
- 2026
- ACL 2026
Conference paper