Tod Amon

12 papers A* 5A 1C 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2004 J jnl
Emulators, ethics, and PDA programming.
J. Comput. Sci. Coll.
Tod Amon, Dann Ormond
2003 J jnl
Bicycle club mileage log: a servlet application for teaching Web programming.
J. Comput. Sci. Coll.
Tod Amon
2000 J jnl
Symbolic timing analysis of asynchronous systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Henrik Hulgaard, Tod Amon
1999 — conf
Symbolic Time Separation of Events.
ASYNC
Tod Amon, Henrik Hulgaard
1998 A* conf
Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.
DAC
Tod Amon, Gaetano Borriello, Jiwen Liu
1997 A* conf
Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.
DAC
Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu
1995 J jnl
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.
IEEE Trans. Computers
Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
1993 C conf
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.
ICCD
Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello
1993 A conf
Practical applications of an efficient time separation of events algorithm.
ICCAD
Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
1992 A* conf
An Approach to Symbolic Timing Verification.
DAC
Tod Amon, Gaetano Borriello
1991 A* conf
OEsim: A Simulator for Timing Behavior.
DAC
Tod Amon, Gaetano Borriello
1991 A* conf
Sizing Synchronization Queues: A Case Study in Higher Level Synthesis.
DAC
Tod Amon, Gaetano Borriello