Searching for authors named "Yuan Yu" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
An SMS history
- …114 Automated Proofs of Object Code For a Widely Used Microprocessor Yuan Yu October 5, 1993 d i g…
- Cited by 1 (0 self) – Add To MetaCart
-
RaceTrack: Efficient detection of data race conditions via adaptive tracking
- …RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking ABSTRACT Yuan Yu…
- Cited by 40 (0 self) – Add To MetaCart
-
Specifying and Verifying Systems with TLA+
- … Cambridge, MA Yuan Yu Microsoft Research includes modules and ways of combining them to form larger…
- Cited by 4 (1 self) – Add To MetaCart
-
A formal specification of some user mode instructions for the motorola 68020
- … #-- Copyright (C) 1994 by Yuan Yu. All Rights Reserved. This script is hereby placed…
- Cited by 4 (3 self) – Add To MetaCart
-
The Vesta Approach to Software Configuration Management
- … Management Allan Heydon, Roy Levin, Timothy Mann, and Yuan Yu Systems Research Center 130 Lytton Avenue Palo…
- Cited by 20 (1 self) – Add To MetaCart
-
DryadInc: Reusing work in large-scale computations
- …DryadInc: Reusing work in large-scale computations Lucian Popa UC Berkeley Mihai Budiu, Yuan Yu…
- Add To MetaCart
-
Caching Function Calls Using Precise Dependencies
- …Caching Function Calls Using Precise Dependencies Allan Heydon Roy Levin Yuan Yu Compaq Computer…
- Cited by 24 (2 self) – Add To MetaCart
-
Model checking TLA+ specifications
- … Model Checking TLA+ Specifications Yuan Yu1, Panagiotis Manolios2, and Leslie Lamport1 1 Compaq…
- Cited by 29 (6 self) – Add To MetaCart
-
Appeared in Correct Hardware Design and Verification
- …Model Checking TLA + Specifications Yuan Yu, Panagiotis Manolios, and Leslie Lamport 25 June 1999…
- Add To MetaCart
-
Model Checking TLA
- …Model Checking TLA + Specifications Yuan Yu, Panagiotis Manolios, and Leslie Lamport 25 June…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
