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

UptoLike

ВУЗ: 

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

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

Рубрика: 

вычислительные и управляющие системы. СПб. СПбГИТМО(ТУ). № 6.
2002. С.83–88.
29. Постников Н.П. Обновление программного обеспечения распределенных
микропроцессорных систем. // Компоненты и технологии. №3. СПб. 2004,
С.142–144.
30. Райли Д. Абстракция и структуры данных. Вводный курс. Пер. С англ. М.
Мир. 1993. 752 с.
31. Топорков В.В. Функциональность недетерминированной модели
распределенных вычислений. // Информационные технологии. №12. 2001.
С. 2–5.
32. Топорков В.В. Реализуемость потоковых моделей распределенных
программ. // Программирование. №5. 2001. С.18–25.
33. Шалыто А.А. SWITCH – технология. Алгоритмизация и программирование
задач логического управления. СПб. Наука. 1998. 628с.
34. Шеннон К. Работы по теории информации и кибернетике. М. Изд-во
иностр. литер. 1963.
35. Agha G.A. Actors: A Model of Concurrent Computation in Distributed Systems
// The MIT Press Series in Artificial Intelligence. MIT Press. 1986. 204 p.
36. Application Note 155. 1-Wire Software Resource Guide Device Description //
Maxim Integrated Products. 2008. URL: http://www.maxim-ic.com/app-
notes/index.mvp/id/155.
37. Berry G., Gonthier G. The Esterel synchronous programming language: Design,
semantics, implementation // Science of Programming. 1992. Vol. 19. № 2.
P. 87–152.
38. Boulytchev D., Lomov D. An Empirical Study of Retargetable Compilers. In
Perspectives of System Informatics, Springer Berlin. Heidelberg. 2001.
39. Brooks C., Lee E.A., Liu X., Neuendorffer S., Zhao Y., Zheng H. Heterogeneous
Concurrent Modeling and Design in Java. // Technical Memorandum UCB/ERL
M04/27 - University of California. Berkeley. July 29, 2004. Vol. 1, 2, 3.
40. Buck J.T., Ha S., Lee E.A., Messerschmitt D.G. Ptolemy: A mixed-paradigm
simulation/prototyping platform in C++. // In Proceedings of the C++ At Work
Conference, Santa Clara, CA. November 1991.
41. Clarke E.M., Emerson E.A., Sistla A.P. Automatic Verification of Finite-State
Concurrent Systems Using Temporal Logic Specifications. // ACM Trans. on
Programming Languages and Systems. Vol. 8. April 1986. P. 244–263.
42. Clifford E. Cummings. Correct Methods For Adding Delays To Verilog
Behavioral Models. HDLCON. 1999.
43. Clifford E. Cummings. Verilog Coding Styles for Improved Simulation
Efficiency. International Cadence User Group Conference. October 5-9, 1997.
44. Densmore D., Passerone R., Sangiovanni-Vincentelli A. A Platform-Based
Taxonomy for ESL Design. IEEE Design and Test of Computers, September
2006.
45. Edwards S. A. The Specification and Execution of Heterogeneous Synchronous
Reactive Systems. // PhD thesis. University of California. Berkeley. 1997.
169

Страницы