Tod Amon

According to our database, Tod Amon authored at least 11 papers between 1991 and 2004.

Collaborative distances:

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

2004

Emulators, ethics, and PDA programming.

Tod Amon, Dann Ormond

J. Comput. Sci. Coll., 2004

2003

Bicycle club mileage log: a servlet application for teaching Web programming.

Tod Amon

J. Comput. Sci. Coll., 2003

2000

Symbolic timing analysis of asynchronous systems.

Henrik Hulgaard, Tod Amon

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1999

Symbolic Time Separation of Events.

Tod Amon, Henrik Hulgaard

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.

Tod Amon, Gaetano Borriello, Jiwen Liu

Proceedings of the 35th Conference on Design Automation, 1998

1997

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.

Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu

Proceedings of the 34st Conference on Design Automation, 1997

1993

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.

Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Practical applications of an efficient time separation of events algorithm.

Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

An Approach to Symbolic Timing Verification.

Tod Amon, Gaetano Borriello

Proceedings of the 29th Design Automation Conference, 1992

1991

Sizing Synchronization Queues: A Case Study in Higher Level Synthesis.

Tod Amon, Gaetano Borriello

Proceedings of the 28th Design Automation Conference, 1991

OEsim: A Simulator for Timing Behavior.

Tod Amon, Gaetano Borriello

Proceedings of the 28th Design Automation Conference, 1991