Amon, Tod
6  Ergebnisse:
Personensuche X
?
1

Making complex timing relationships readable : Presburge..:

, In: Proceedings of the 35th annual Design Automation Conference,
Amon, Tod ; Borriello, Gaetano ; Liu, Jiwen - p. 586-590 , 1998
 
?
2

Symbolic timing verification of timing diagrams using Presb..:

, In: Proceedings of the 34th annual Design Automation Conference,
Amon, Tod ; Borriello, Gaetano ; Hu, Taokuan. - p. 226-231 , 1997
 
?
3

Nonstochastic analysis of manufacturing system using timed-..:

Amon, Tod ; Hulgaard, Henrik
Journal of Manufacturing Systems.  15 (1996)  3 - p. 200-207 , 1996
 
?
4

Practical applications of an efficient time separation of e..:

, In: Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design,
Hulgaard, Henrik ; Burns, Steven M. ; Amon, Tod. - p. 146-151 , 1993
 
?
5

Sizing synchronization queues : a case study in higher l..:

, In: Proceedings of the 28th ACM/IEEE Design Automation Conference,
Amon, Tod ; Borriello, Gaetano - p. 690-693 , 1991
 
?
6

OEsim : a simulator for timing behavior:

, In: Proceedings of the 28th ACM/IEEE Design Automation Conference,
Amon, Tod ; Borriello, Gaetano - p. 656-661 , 1991
 
1-6