Amy E. Zwarico

According to our database, Amy E. Zwarico authored at least 13 papers between 1985 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Compiling object-oriented programs for distributed execution.

Prakash K. Muthukrishnan, Barrett R. Bryant, Amy E. Zwarico

Proceedings of the 3rd International Conference on High Performance Computing, 1996

1995

Automatic Synthesis of Compression Techniques for Heterogeneous

William H. Hsu, Amy E. Zwarico

Softw. Pract. Exp., 1995

An Interpretation of Typed OOP in a Language with State.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

LISP Symb. Comput., 1995

Correct Compilation of Specifications to Deterministic Asynchronous Circuits.

Scott F. Smith, Amy E. Zwarico

Formal Methods Syst. Des., 1995

An Algebraic Framework for Developing and Maintaining Real-Time Systems.

Elizabeth I. Leonard, Amy E. Zwarico

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Application of OOP Type Theory: State, Decidability, Integragtion.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1993

Book Review: Action Refinement in Process Algebras. By Luca Aceto. (Cambridge University Press, 1992. ix+273pp. ISBN 0-521-43111-5. $49.95).

Amy E. Zwarico

SIGACT News, 1993

1992

Provably Correct Synthesis of Asynchronous Circuits.

Scott F. Smith, Amy E. Zwarico

Proceedings of the Designing Correct Circuits, 1992

Testing Preorders for Probabilistic Processes.

Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

A Theory of Testing for Real-Time

Rance Cleaveland, Amy E. Zwarico

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1988

Timed Acceptances: A Model of Time Dependent Processes.

Insup Lee, Amy E. Zwarico

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1985

Proving a Network of Real-Time Processes Correct.

Amy E. Zwarico, Insup Lee

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images.

Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985