Tod Amon - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2003

Bicycle club mileage log: a servlet application for teaching Web programmingTod Amon. jcscoll, 19(1):219-226, 2003. [doi]

2000

Symbolic timing analysis of asynchronous systemsHenrik Hulgaard, Tod Amon. tcad, 19(10):1093-1104, 2000. [doi]

1999

Symbolic Time Separation of EventsTod Amon, Henrik Hulgaard. async 1999: 83-93 [doi]

1998

Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don t CaresTod Amon, Gaetano Borriello, Jiwen Liu. dac 1998: 586-590 [doi]

1997

Symbolic Timing Verification of Timing Diagrams using Presburger FormulasTod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu. dac 1997: 226-231 [doi]

1995

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent SystemsHenrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello. TC, 44(11):1306-1317, 1995. [doi]

1993

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent SystemsTod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello. iccd 1993: 166-173

Practical applications of an efficient time separation of events algorithmHenrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello. iccad 1993: 146-151 [doi]

1992

An Approach to Symbolic Timing VerificationTod Amon, Gaetano Borriello. dac 1992: 410-413 [doi]

1991

Sizing Synchronization Queues: A Case Study in Higher Level SynthesisTod Amon, Gaetano Borriello. dac 1991: 690-693 [doi]

OEsim: A Simulator for Timing BehaviorTod Amon, Gaetano Borriello. dac 1991: 656-661 [doi]

Sign in or sign up to see more results.

runs on WebDSL