Searching for authors named "Jeffrey Fischer" – sorted by Relevance.
-
Compositional Verification by Model Checking for Counter-Examples
- of Computer Science University of Maryland College Park, MD 20742 Jeffrey Fischer Rational Software
- Cited by 12 (2 self) – Add To MetaCart
-
Preventing lost messages in event-driven programming
- , 2006, revised July 3, 2006 Jeffrey Fischer Rupak Majumdar Todd Millstein Department of Computer Science
- Cited by 1 (1 self) – Add To MetaCart
-
Tasks: Language Support for Event-driven Programming
- Tasks: Language Support for Event-driven Programming Jeffrey Fischer Rupak Majumdar Todd
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- Lock Allocation * Michael Emmi Jeffrey S. Fischer UC Los Angeles mje,fischer@(email omitted); Ranjit
- Add To MetaCart
-
Lock Allocation
- Michael Emmi Jeffrey S. Fischer Abstract UC Los Angeles mje,fischer@(email omitted); We introduce lock
- Cited by 6 (0 self) – Add To MetaCart
-
IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 36, NO 5, MAY I Wide-Band Packet Radio for Multipath
- Environments JEFFREY H. FISCHER, MEMBER, IEEE, JOHN H. CAFARELLA, MEMBER, IEEE, CHARLES A. BOUMAN, GERARD T
- Add To MetaCart

