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

UptoLike

ВУЗ: 

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

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

Рубрика: 

46. Edwards S., Lavagno L., Lee E.A., Sangiovanni-Vincentelli A. Design of
embedded systems: Formal models, validation, and synthesis. // Proceedings of
the IEEE. March 1997.
47. Elaine Cheong. Design and Implementation of TinyGALS: A Programming
Model for Event-Driven Embedded Systems. // Memorandum No. UCB/ERL
M03/14 – Electronics Research Laboratory, College of Engineering, University
of California. Berkeley. May 23, 2003.
48. Gerard Berry. The Foundations of Esterel. // Proof, Language, and Interaction:
Essays in Honour of Robin Milner. Editors: Gordon Plotkin, Colin Stirling, Mads
Tofte. MIT Press. 2000.
49. Gérard Berry. The Foundations of Esterel. Ecole des Mines de Paris. INRIA.
1999.
50. Halbwachs N., Caspi P., Raymond P., Pilaud D. The synchronous data flow
programming language Lustre. // Proceedings of the IEEE. September 1991.
51. Hardware-Software Codesign. // IEEE Design & Test of Computers, January-
March 2000. P. 92–99.
52. Hatley D.J., Pirbhai I.A. Strategies for Real-Time System Specification. Dorset
House. 1988.
53. IEEE Standard VHDL Language Reference Manual. Institute of Electrical and
Electronic Engineers, Inc. December 29, 2000.
54. Information Processing Systems. OSI Reference Model. The Basic Model. 1994.
55. Information Technology. Open Systems Interconection. Basic Reference Model:
Naming and Adressing. 1994.
56. Jie Liu. Responsible Frameworks for Heterogeneous Modeling and Design of
Embedded Systems. // PhD thesis – university of California at Berkeley. 2001.
57. Lavagno L., Sangiovanni-Vincentelli A., Sentovich E. Models of Computation
for Embedded System Design. // NATO ASI Proceedings on System Synthesis. Il
Ciocco, Italy. August 1998.
58. Lee E.A. Concurrent Models of Computation for Embedded Software. // UCB
ERL Technical Memorandum M05/2. Department of Electrical Engineering and
Computer Sciences, University of California. Berkeley, January 4, 2005.
59. Lee E.A. Model-Driven Development – From Object-Oriented Design to Actor-
Oriented Design. // Extended abstract of an invited presentation at Workshop on
Software Engineering for Embedded Systems: From Requirements to
Implementation (a.k.a. The Monterey Workshop). Chicago. Sept. 24, 2003.
60. Lee E.A. Modeling Concurrent Real-Time Processes Using Discrete Events. //
Annals of Software Engineering. Special Volume on Real-Time Software
Engineering. 1998.
61. Lee E.A., Parks T.M. Dataflow process networks. // Proceedings of the IEEE,
May 1995. URL: http://ptolemy.eecs.berkeley.edu/papers/processNets.
62. Lee E.A., Sangiovanni-Vincentelli A. A denotational framework for comparing
models of computation. IEEE Transactions on CAD, December 1998.
63. Lee E.A., Sangiovanni-Vincentelli A. Comparing Models of Computation.
Proceedings of ICCAD. San Jose, California, USA. November 10-14, 1996.
170

Страницы