S. Sachs

RUNTIME SYSTEMS REPORT 2014 Runtime Systems Summit

Vivek Sarkar, K. Yelick, R. Brightwell, 2016 .

Acknowledgments 7 Final Comments 6 a Visual Query Language for the Electronic Notebook Figure 7. Page Containing a Scan Description. 5 the Electronic Notebook Interface

Dal Sasso Freitas, E. Szeto, V. Markowitz, 1997 .

Design of The DOE 2000 Electronic Notebook 1 : LBNL Components

S. Sachs, Carla Freitas, 1997 .

Design Of Platoon Maneuver Protocols For IVHS

Sonia R. Sachs, Pravin Varaiya, Ann Hsu, 1991 .

A structural linearization principle for processes

Ariel Orda, Robert P. Kurshan, Michael Merritt, 1993, Formal Methods Syst. Des..

Modelling Asynchrony with a Synchronous Model

Ariel Orda, Robert P. Kurshan, Michael Merritt, 1995, Formal Methods Syst. Des..

A New Way to Plan for the Future

Doug McDavid, Sonia R. Sachs, Ray Strong, 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

Protocol design for an automated highway system

Pravin Varaiya, Ann Hsu, Farokh Eskafi, 1993, Discret. Event Dyn. Syst..

Alternative local area network access protocols

S.R. Sachs, S. Sachs, 1988, IEEE Communications Magazine.

Reprogrammable Platforms for High-Speed Data Acquisition

Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, 2002, Conference Record of Thirty-Fifth Asilomar Conference on Signals, Systems and Computers (Cat.No.01CH37256).

The Basis of Dynamically Adaptive Mechanisms for E cientComputations on the Next Generation InternetA white paper

S. Sachs, L. Sta, 2007 .

Formal Verification of a Distributed Computer System

Ariel Orda, Michael Merritt, Sonia R. Sachs, 1997, Formal Methods Syst. Des..