The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tod Amon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tod Amon, Henrik Hulgaard
    Symbolic Time Separation of Events. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1999, pp:83-93 [Conf]
  2. Tod Amon, Gaetano Borriello
    OEsim: A Simulator for Timing Behavior. [Citation Graph (0, 0)][DBLP]
    DAC, 1991, pp:656-661 [Conf]
  3. Tod Amon, Gaetano Borriello
    Sizing Synchronization Queues: A Case Study in Higher Level Synthesis. [Citation Graph (0, 0)][DBLP]
    DAC, 1991, pp:690-693 [Conf]
  4. Tod Amon, Gaetano Borriello
    An Approach to Symbolic Timing Verification. [Citation Graph (0, 0)][DBLP]
    DAC, 1992, pp:410-413 [Conf]
  5. Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu
    Symbolic Timing Verification of Timing Diagrams using Presburger Formulas. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:226-231 [Conf]
  6. Tod Amon, Gaetano Borriello, Jiwen Liu
    Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:586-590 [Conf]
  7. Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
    Practical applications of an efficient time separation of events algorithm. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:146-151 [Conf]
  8. Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello
    An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:166-173 [Conf]
  9. Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello
    An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1995, v:44, n:11, pp:1306-1317 [Journal]
  10. Henrik Hulgaard, Tod Amon
    Symbolic timing analysis of asynchronous systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:10, pp:1093-1104 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002