Concepedia

Tod Tracy Amon

TT

7

Publications

269

Citations

7

H-Index

1991

Active since

Affiliations

University of Washington(Current)

Texas State University

Tod Tracy Amon is an author at University of Washington specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSystems EngineeringComputer EngineeringAsynchronous CircuitsParallel ComputingFormal VerificationParallel Programming

Publications per year

1991–2003

7

Publications

7

An algorithm for exact bounds on the time separation of events in concurrent systems

Henrik Hulgaard, S.M. Burns, Tod Tracy Amon et al. · IEEE Transactions on Computers · 1995 · 116 citations

Mathematical Programming, Engineering, Computational Complexity +26

An algorithm for exact bounds on the time separation of events in concurrent systems

Tod Tracy Amon, Henrik Hulgaard, S.M. Burns et al. · 2002 · 43 citations

Mathematical Programming, Engineering, Computational Complexity +24

Symbolic timing verification of timing diagrams using Presburger formulas

Tod Tracy Amon, Gaetano Borriello, Taokuan Hu et al. · 1997 · 36 citations · Full text

Engineering, Verification, Synthesis Constraints +18

Sizing synchronization queues

Tod Tracy Amon, Gaetano Borriello · 1991 · 27 citations · Full text

Practical applications of an efficient time separation of events algorithm

Henrik Hulgaard, Steven M. Burns, Tod Tracy Amon et al. · International Conference on Computer Aided Design · 1993 · 19 citations

Engineering, Computer Architecture, Event Correlation +23

Rows per page

1–5 of 7