Automatic abstraciton for worst-case analysis of discrete systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic abstraciton for worst-case analysis of discrete systems

Full text

Publisher Site , Pdf

Pdf (116 KB)

Source

Design, Automation, and Test in Europe archive
Proceedings of the conference on Design, automation and test in Europe table of contents

Paris, France

Pages: 494 - 501

Year of Publication: 2000

ISBN:1-58113-244-1

Author

Felice Balarin

Cadence Berkeley Laboratories

Sponsors

EDAA : European Design Automation Association
SIGDA: ACM Special Interest Group on Design Automation
ECSI :
RAS : RAS
EDAC : Electronic Design Automation Consortium
IEEE-CS : Computer Society
IFIP : International Federation for Information Processing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 2, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/343647.343830 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Felice Balarin, Worst-case analysis of discrete systems, Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, p.347-353, November 07-11, 1999, San Jose, California, United States
	2	Felice Balarin, Worst-case analysis of discrete systems based on conditional abstractions, Proceedings of the seventh international workshop on Hardware/software codesign, p.115-119, March 1999, Rome, Italy [doi>10.1145/301177.301502]
	3	Felice Balarin, Automatic abstraciton for worst-case analysis of discrete systems, Proceedings of the conference on Design, automation and test in Europe, p.494-501, March 27-30, 2000, Paris, France [doi>10.1145/343647.343830]
	4	Felice Balarin , Massimiliano Chiodo , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli , Ellen Sentovich , Kei Suzuki , Bassam Tabbara, Hardware-software co-design of embedded systems: the POLIS approach, Kluwer Academic Publishers, Norwell, MA, 1997
	5	Gérard Berry , Laurent Cosserat, The ESTEREL Synchronous Programming Language and its Mathematical Semantics, Seminar on Concurrency, Carnegie-Mellon University, p.389-448, July 09-11, 1984
	6	Karl S. Brace , Richard L. Rudell , Randal E. Bryant, Efficient implementation of a BDD package, Proceedings of the 27th ACM/IEEE conference on Design automation, p.40-45, June 24-27, 1990, Orlando, Florida, United States [doi>10.1145/123186.123222]
	7	Patrick Cousot , Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.238-252, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512973]
	8	H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, Inc., 1972.
	9	W. Kelly, V. Maslov, W. Pugh, E. Roser, T. Shpeisman, and D. Wonnacott. The Omega calculator and library. In http://www.cs.umd.edu/projects/omega, Nov. 1996.
	10	Kei Suzuki , Alberto Sangiovanni-Vincentelli, Efficient software performance estimation methods for hardware/software codesign, Proceedings of the 33rd annual conference on Design automation, p.605-610, June 03-07, 1996, Las Vegas, Nevada, United States [doi>10.1145/240518.240633]

CITED BY 3

	Felice Balarin, Automatic abstraciton for worst-case analysis of discrete systems, Proceedings of the conference on Design, automation and test in Europe, p.494-501, March 27-30, 2000, Paris, France
	Felice Balarin, STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems, Proceedings of the ninth international symposium on Hardware/software codesign, p.104-108, April 2001, Copenhagen, Denmark
	Felice Balarin, STARS in VCC: complementing simulation with worst-case analysis, Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, November 04-08, 2001, San Jose, California