1992
6 references published this year.
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Thomas E. Anderson and others (1992) · ACM Transactions on Computer Systems
Combining angels, demons and miracles in program specifications
R.J.R. Back and others (1992) · Theoretical Computer Science · Elsevier
Program verification
Nissim Francez (1992) · Addison-Wesley
Applying 'design by contract'
Bertrand Meyer (1992) · Computer · IEEE Computer Society
The Design and Implementation of a Log-Structured File System
Mendel Rosenblum and others (1992) · ACM Transactions on Computer Systems · Association for Computing Machinery
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1992) · Lawrence Livermore National Laboratory