Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 172 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

64. Maciel P., Barros E., Rosenstiel W. A Petri Net Model for Hardware/Software
Codesign. // In Design Automation for Embedded Systems. Vol. 4. October 1999.
P. 243–310.
65. Martin G., Chang H., et al. Surviving the SOC Revolution: A Guide to Platform
Based Design. Kluwer Academic Publishers. September 1999.
66. Peterson J. L. Petri Net Theory and the Modeling of Systems. // Prentice-Hall
Inc., Englewood Cliffs, NJ. 1981.
67. Petru Eles. System Design and Methodology: Modeling and Design of
Embedded Systems. Institutionen för Datavetenskap (IDA). Linköpings
Universitet. 2004.
68. Programmable Controllers – Part 3: Programming Languages. IEC 61131-3, Ed.
2.0. 2003
69. Ptolemy II. URL: http://ptolemy.berkeley.edu/ptolemyII.
70. Sangiovanni-Vincentelli A., Lee E.A. A framework for comparing models of
computation. // IEEE Trans. Computer-Aided Design Integrated Circuits.
December 1998.
71. Semiconductor Reuse Standard V2.0. Motorola Inc. 1999.
72. Sgroi M., Lavagno L., Sangiovanni-Vincentelli A. Formal Models for Embedded
System Design. // IEEE Design & Test of Computers. April-June 2000. P. 2–15.
73. Shaw M. We can teach software better. // Computing Research News 4(4):2-12.
September 1992.
74. Thomas M. Parks. Bounded Scheduling of Kahn Process Networks. // Technical
Report UCB/ERL-95-105. PhD Dissertation. EECS Department, University of
California. Berkeley. December 1995.
75. Wirth N. Hardware Compilation: Translating Programs into Circuits. // IEEE
Computer. No. 31(6). 1998. P. 25–31.
76. Wolf W. Object-oriented cosynthesis of distributed embedded systems. // ACM
Transactions on Design Automation of Electronic Systems. July 1996.
77. Xiaojun Liu, Edward A. Lee. CPO semantics of timed interactive actor networks.
// Technical Report UCB/EECS-2007-131. EECS Department, University of
California. Berkeley. November 2007.
78. Xiaojun Liu. Semantic Foundation of the Tagged Signal Model. // Technical
Report UCB/EECS-2005-31. Electrical Engineering and Computer Sciences.
University of California at Berkeley. 2005.
79. Yang Zhao. A Model of Computation with Push and Pull Processing. // Technical
Memorandum UCB/ERL M03/51. Electronics Research Laboratory. University
of California at Berkeley. December 16, 2003.
171

Страницы