Variable frequency crosstalk noise analysis: A methodology to guarantee functionality from dc to f_maxKRAUTER, Byron; WIDIGER, David.Design automation conference. 2002, pp 659-664, isbn 1-58113-461-4, 6 p.Conference Paper

Automated timing model generationDAGA, Ajay J; MIZE, Loa; SRIPADA, Subramanyam et al.Design automation conference. 2002, pp 146-151, isbn 1-58113-461-4, 6 p.Conference Paper

Timed compiled-code simulation of embedded software for performance analysis of SOC designLEE, Jong-Yeol; PARK, In-Cheol.Design automation conference. 2002, pp 293-298, isbn 1-58113-461-4, 6 p.Conference Paper

Timing model extraction of hierarchical blocks by graph reductionMOON, Cho W; KRIPLANI, Harish; BELKHALE, Krishna P et al.Design automation conference. 2002, pp 152-157, isbn 1-58113-461-4, 6 p.Conference Paper

Formal modeling and analysis of timed systems (4th International conference, FORMATS 2006, Paris, France, September 25-27, 2006)Asarin, Eugène; Bouyer, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45026-2, 1Vol, XI-367 p, isbn 3-540-45026-2Conference Proceedings

A solenoidal basis method for efficient inductance extractionMAHAWAR, Hemant; SARIN, Vivek; WEIPING SHI et al.Design automation conference. 2002, pp 751-756, isbn 1-58113-461-4, 6 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Implementing asynchronous circuits using a conventional EDA tool-flowSOTIRIOU, Christos P.Design automation conference. 2002, pp 415-418, isbn 1-58113-461-4, 4 p.Conference Paper

False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validationLIOU, Jing-Jia; KRSTIC, Angela; WANG, Li-C et al.Design automation conference. 2002, pp 562-565, isbn 1-58113-461-4, 4 p.Conference Paper

On the composition of timed systemsSIFAKIS, J.Lecture notes in computer science. 1997, pp 21-22, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Enhancing test efficiency for delay fault testing using multiple-clocked schemesLIOU, Jing-Jia; WANG, Li-C; CHENG, Kwang-Ting et al.Design automation conference. 2002, pp 371-374, isbn 1-58113-461-4, 4 p.Conference Paper

Osculating thevenin model for predicting delay and slew of capacitively characterized cellsSHEEHAN, Bernard N.Design automation conference. 2002, pp 866-869, isbn 1-58113-461-4, 4 p.Conference Paper

Principles of Robust Timing over the InternetRIDOUX, Julien; VEITCH, Darryl.Communications of the ACM. 2010, Vol 53, Num 5, pp 54-61, issn 0001-0782, 8 p.Article

Capacitated disassembly scheduling : Minimizing the number of products disassembledKIM, Jun-Gyu; JEON, Hyong-Bae; KIM, Hwa-Joong et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25860-4, 4Vol, part IV, 538-547Conference Paper

Verification of parameterized timed systemsAZIZ ABDULLA, Parosh.Lecture notes in computer science. 2005, pp 95-97, issn 0302-9743, isbn 3-540-30946-2, 1Vol, 3 p.Conference Paper

False timing path identification using ATPG techniques and delay-based informationJING ZENG; ABADIR, Magdy; ABRAHAM, Jacob et al.Design automation conference. 2002, pp 556-561, isbn 1-58113-461-4, 6 p.Conference Paper

Formal modeling and analysis of timed systems (third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30946-2, 1Vol, IX-303 p, isbn 3-540-30946-2Conference Proceedings

Accurate widenings and boundedness properties of timed systemsMUKHOPADHYAY, Supratik; PODELSKI, Andreas.Lecture notes in computer science. 2001, pp 79-94, issn 0302-9743, isbn 3-540-43075-XConference Paper

Associative caches in formal software timing analysisWOLF, Fabian; STASCHULAT, Jan; ERNST, Rolf et al.Design automation conference. 2002, pp 616-621, isbn 1-58113-461-4, 6 p.Conference Paper

Synthesis of reactive(1) designsPITERMAN, Nir; PNUELI, Amir; SA'AR, Yaniv et al.Lecture notes in computer science. 2006, pp 364-380, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 17 p.Conference Paper

Feedback, queueing, and the reliability of the ideal poisson channel above capacityWAGNER, Aaron B; ANANTHARAM, Venkat.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 447Conference Paper

Adaptive synchronisation for a RoboCup agentMONTGOMERY, Jefferson D; MACKWORTH, Alan K.Lecture notes in computer science. 2003, pp 135-149, issn 0302-9743, isbn 3-540-40666-2, 15 p.Conference Paper

Robust undecidability of timed and hybrid systemsHENZINGER, T. A; RASKIN, J.-F.Lecture notes in computer science. 2000, pp 145-159, issn 0302-9743, isbn 3-540-67259-1Conference Paper

Untiming timed languagesBERARD, B.Information processing letters. 1995, Vol 55, Num 3, pp 129-135, issn 0020-0190Article

Outils de modélisation des automatismes séquentiels : Les réseaux de Petri = Modelling tools of sequential automatisms: the Petri networksLADET, Pierre.Techniques de l'ingénieur. Informatique industrielle. 1989, Vol S1, Num R7252, pp R7252.1-R7252.16, issn 1632-3831Article