Software scheduling in the co-synthesis of reactive real-time systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Software scheduling in the co-synthesis of reactive real-time systems

Full text

Pdf (182 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 31st annual Design Automation Conference table of contents

San Diego, California, United States

Pages: 1 - 4

Year of Publication: 1994

ISBN:0-89791-653-0

Authors

Pai Chou	Department of Computer Science and Engineering, University of Washington, Seattle, WA
Gaetano Borriello	Department of Computer Science and Engineering, University of Washington, Seattle, WA

Sponsors

IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation
EDAC : Electronic Design Automation Consortium

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 5, Citation Count: 29

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions 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/196244.196247 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	F. Boussinot and R. De Simone. The Esterel language. Proceedings of the IEEE, 79(9), Sept. 1991.
	2	P. Chou, E. Walkup, and G. Borriello. Scheduling issues in the co-synthesis of reactive real-time systems. Technical report, Univ. of Washington, Dept. of Computer Science, Mar. 1994.
	3	Michael R. Garey , David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, NY, 1979
	4	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	5	David C. Ku , Giovanni De Mecheli, Constrained resource sharing and conflict resolution in Hebe, Integration, the VLSI Journal, v.12 n.2, p.131-165, Dec. 1991 [doi>10.1016/0167-9260(91)90033-H]
	6	D. C. Ku and G. De Micheli. Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits. IEEE Transactions on Computer-Aided Design, 11(6), June 1992.
	7	J. Xu , D. L. Parnas, On Satisfying Timing Constraints in Hard-Real-Time Systems, IEEE Transactions on Software Engineering, v.19 n.1, p.70-84, January 1993 [doi>10.1109/32.210308]

CITED BY 29

	Jinfeng Liu , Pai H. Chou, Idle energy minimization by mode sequence optimization, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.4, p.38-es, September 2007
	Th. Benner , R. Ernst , A. Österling, Scalable performance scheduling for hardware-software cosynthesis, Proceedings of the conference on European design automation, p.164-169, September 18-22, 1995, Brighton, England
	Filip Thoen , Marco Cornero , Gert Goossens , Hugo De Man, Software synthesis for real-time information processing systems, ACM SIGPLAN Notices, v.30 n.11, p.60-69, Nov. 1995
	Jinfeng Liu , Pai H. Chou , Nader Bagherzadeh , Fadi Kurdahi, Power-aware scheduling under timing constraints for mission-critical embedded systems, Proceedings of the 38th conference on Design automation, p.840-845, June 2001, Las Vegas, Nevada, United States
	Adwin H. Timmer , Marino T.J. Strik , Jef L. van Meerbergen , Jochen A.G. Jess, Conflict modelling and instruction scheduling in code generation for in-house DSP cores, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.593-598, June 12-16, 1995, San Francisco, California, United States
	Filip Thoen , Gert Goossens , Marco Cornero , Hugo De Man, Real-time multi-tasking in software synthesis for information processing systems, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Jinfeng Liu , Pai H. Chou , Nader Bagherzadeh , Fadi Kurdahi, A constraint-based application model and scheduling techniques for power-aware systems, Proceedings of the ninth international symposium on Hardware/software codesign, p.153-158, April 2001, Copenhagen, Denmark
	Filip Thoen , Marco Cornero , Gert Goossens , Hugo De Man, Real-time multi-tasking in software synthesis for information processing systems, Proceedings of the 8th international symposium on System synthesis, p.48-53, September 13-15, 1995, Cannes, France
	Rajesh K. Gupta, Operation Serializability for Embedded Systems, Proceedings of the 1996 European conference on Design and Test, p.108, March 11-14, 1996
	Pai Chou , Gaetano Borriello, Software Architecture Synthesis for Retargetable Real-time Embedded Systems, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.101, March 24-26, 1997
	Pai H. Chou , Ross B. Ortega , Gaetano Borriello, The Chinook hardware/software co-synthesis system, Proceedings of the 8th international symposium on System synthesis, p.22-27, September 13-15, 1995, Cannes, France
	Claudionor Nunes Coelho , Chih-Yuan Jerry Yang , Vincent Mooney , Giovanni De Micheli, Redesigning hardware-software systems, Proceedings of the 3rd international workshop on Hardware/software co-design, September 22-24, 1994, Grenoble, France
	F. Thoen , J. Van Der Steen , G. de Jong , G. Goossens , H De Man, Multi-thread graph: a system model for real-time embedded software synthesis, Proceedings of the 1997 European conference on Design and Test, p.476, March 17-20, 1997
	Pai Chou , Gaetano Borriello, Interval scheduling: fine-grained code scheduling for embedded systems, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.462-467, June 12-16, 1995, San Francisco, California, United States
	P. Altenbernd, Deadline-monotonic software scheduling for the co-synthesis of parallel hard real-time systems, Proceedings of the 1995 European conference on Design and Test, p.190, March 06-09, 1995
	Pai Chou , Elizabeth A. Walkup , Gaetano Borriello, Scheduling for Reactive Real-Time Systems, IEEE Micro, v.14 n.4, p.37-47, August 1994
	Ali Dasdan, A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado
	Ali Dasdan, Provably efficient algorithms for resolving temporal and spatial difference constraint violations, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.14 n.1, p.1-24, January 2009
	Peter Marwedel, Code generation for core processors, Proceedings of the 34th annual conference on Design automation, p.232-237, June 09-13, 1997, Anaheim, California, United States
	Youpyo Hong , Peter A. Beerel , Luciano Lavagno , Ellen M. Sentovich, Don't care-based BDD minimization for embedded software, Proceedings of the 35th annual conference on Design automation, p.506-509, June 15-19, 1998, San Francisco, California, United States
	Ali Dasdan, Efficient algorithms for debugging timing constraint violations, Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems, December 02-03, 2002, Monterey, California, USA
	Philippe Coussy , Emmanuel Casseau , Pierre Bomel , Adel Baganne , Eric Martin, A formal method for hardware IP design and integration under I/O and timing constraints, ACM Transactions on Embedded Computing Systems (TECS), v.5 n.1, p.29-53, February 2006
	Rainer Leupers , Peter Marwedel, Time-constrained code compaction for DSPs, Proceedings of the 8th international symposium on System synthesis, p.54-59, September 13-15, 1995, Cannes, France
	Vincent J. Mooney Iii, Path-Based Edge Activation for Dynamic Run-Time Scheduling, Proceedings of the 12th international symposium on System synthesis, p.30, November 01-04, 1999
	Vincent J. Mooney, III , Giovanni De Micheli, Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.605-612, November 09-13, 1997, San Jose, California, United States
	Asawaree Kalavade , Pratyush Moghé, A tool for performance estimation of networked embedded end-systems, Proceedings of the 35th annual conference on Design automation, p.257-262, June 15-19, 1998, San Francisco, California, United States
	Thomas Benner , Rolf Ernst, An Approach to Mixed Systems Co-Synthesis, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.9, March 24-26, 1997
	Giovanni De Micheli , Rajesh K. Gupta, Hardware/software co-design, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Stephen Edwards , Luciano Lavagno , Edward A. Lee , Alberto Sangiovanni-Vincentelli, Design of embedded systems: formal models, validation, and synthesis, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001