Microsoft Word впвс book 2011 sev pa doc

http://www.acm.org/education/curric_vols/cc2001.pdf/view. 
40. Davare A., Densmore D., Meyerowitz T., Pinto A., Sangiovanni-Vincentelli 
A., Yang G., Zeng H., Zhu Q. A Next-Generation Design Framework for 
Platform-Based Design // Conference on Using Hardware Design and 
Verification Languages (DVCon) 2007, San Jose California, February 
2007. 8 p. 
41. Densmore D., Passerone R., Sangiovanni-Vincentelli A. A Platform-Based 
Taxonomy for ESL Design. IEEE Design and Test of Computers, 
September 2006. 
42. Dictionary of Computing. New York. Oxford University Press. 1983. 393 
p. 
43. 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. 
44. Ellervee P., Kumar1 S., Jantsch A., Svantesson B., Meincke T., Hemani A. 
IRSYD: An Internal Representation for Heterogeneous Embedded Systems 
// NORCHIP’98 – The 16th NORCHIP Conference. Lund, Sweden. 
November 9-10, 1998. P. 214-221. 
45. Ferrari A., Sangiovanni-Vincentelli A. System Design: Traditional 
Concepts and New Paradigms. // Proceedings of the 1999 Int. Conf. On 
Comp. Des. Austin. October 1999. 
46. Gajski D. Silicon Compilers. Addison-Vesley. 1987. 
47. Hardware-Software Codesign. // IEEE Design & Test of Computers, 
January-March 2000. P. 92–99. 

---

118 
48. Hatley D.J., Pirbhai I.A. Strategies for Real-Time System Specification. 
Dorset House. 1988. 
49. Information Technology. Portable Operating System Interface (POSIX). 
2003. 
50. ITEA Technology Roadmap for Software-Intensive Systems. 2 edition. 
May 2004. 
51. J. E. Smith, R. Nair. Virtual Machines — Versatile Platforms for Systems 
and Processes. // Elsevier Inc. 2005. 649 p. 
52. Jerraya A.A., Romdhani M., Marrec PH.LE, Hessel F., Coste P., 
Valderrama C., Marchioro G.F., Daveau J.M., Zergainoh N.-E. 
Multilanguage specification for system design and codesign. URL: 
http://tima-cmp.imag.fr/Homepages/cosmos/documents/asi.ps. 
53. Jozwiak L., Nejah N., Figueroa M. Modern development methods and tools 
for embedded reconfigurable systems: A survey. // INTEGRATION, the 
VLSI journal, 07.2009, P. 1–33. 
54. Keutzer K., Malik S., Newton R., Rabaey J., Sangiovanni-Vincentelli A. 
System Level Design: Orthogonalization of Concerns and Platform-Based 
Design. // IEEE Transactions on Computer-Aided Design of Circuits and 
Systems. Vol. 19, No. 12. December 2000. 
55. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., 
Loingtier, J.-M., and Irwin, J. Aspect-oriented programming. // Proceedings 
of the European Conference on Object-Oriented Programming (ECOOP), 
vol.1241, 1997, p.220–242.
56. Knudsen P.V. PACE: A Dynamic Programming Algoritm for 
Hardware/Software Partitionning. // Department of Computer science 
Technical University of Denmark. 1996. 
57. Knudsen P.V., Madsen J. Integrating communication protocol selection 
with hardware/software codesign. // IEEE Transactions on Computer-Aided 
Design of Integrated Circuits. August 1999. 
58. Kopetz H. REAL-TIME SYSTEMS. Design Principles for Distributed 
Embedded Applications. Kluwer Academic Publishers. 1997. 
59. Kruchten P. Architectural Blueprints – The “4+1” View Model of Software 
Architecture. 1995 
60. Lee E. A. What’s ahead for embedded software? // IEEE Computer. 
September 2000. 
61. Lee E. Cyber Physical Systems: Design Challenges. // University of 
California, Berkeley Technical Report No. UCB/EECS-2008-8. 2008. 
62. 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. 
63. Lee E.A. Embedded Software – An Agenda for Research. // Technical 
Memorandum UCB/ERL M99/63, University of California. Berkeley. 
December 15, 1999. 

---

119 
64. Lee E.A. Embedded Software. // Technical Memorandum UCB/ERL 
M01/26, University of California. Berkeley. November 1, 2001. 
65. Lee E.A. Modeling Concurrent Real-Time Processes Using Discrete 
Events. // Annals of Software Engineering. Special Volume on Real-Time 
Software Engineering. 1998. 
66. Lee E.A., Neuendorffer S., Wirthlin M.J. Actor-Oriented Design of 
Embedded Hardware and Software Systems // Journal of Circuits, Systems, 
and Computers, Version 2. November 20, 2002. 
67. Lee E.A., Sangiovanni-Vincentelli A. Comparing Models of Computation. 
Proceedings of ICCAD. San Jose, California, USA. November 10-14, 
1996. 
68. 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. 
69. Martin G. Productivity in VC Reuse: Linking SOC platforms to abstract 
systems design methodology. // Forum on Design Languages: Virtual 
Components Design and Reuse. Lyon, France. August-September, 1999. P. 
313–322. 
70. Martin G., Chang H., et al. Surviving the SOC Revolution: A Guide to 
Platform Based Design. Kluwer Academic Publishers. September 1999. 
71. Martin G., Sangiovanni-Vincentelli A. A Vision for Embedded Software // 
Proceedings of the 2001 international conference on Compilers, 
architecture, and synthesis for embedded systems, 2001. P. 1–7. 
72. Mentor Graphics Corporation. URL: http://www.mentor.com. 
73. Object Management Group. OMG Unified Modeling Language 
Specification. June 1999. URL: http://www.omg.org. 
74. Patterson D.A., Hennessy J.L. Computer Organization and Design: The 
Hardware/software Interface. // Morgan Kaufmann. 2005. 
75. Peterson J. L. Petri Net Theory and the Modeling of Systems. // Prentice-
Hall Inc., Englewood Cliffs, NJ. 1981. 
76. SAE AADL: A Society of Automotive Engineers Standard. URL: 
http://www.aadl.info. 
77. Safonov V.O. Aspect.NET: concepts and architecture. // .NET Developers 
Journal. No. 10. 2004. 
78. Sangiovanni-Vincentelli A. Defining platform-based design. // EEDesign. 
February 2002. 
79. Sangiovanni-Vincentelli A. Quo Vadis SLD: Reasoning about Trends and 
Challenges of System-Level Design // Proceedings of the IEEE, March 
2007. 95(3). P. 467–506. 
80. Sangiovanni-Vincentelli A., Lee E.A. A framework for comparing models 
of computation. // IEEE Trans. Computer-Aided Design Integrated Circuits. 
December 1998. 
81. Semiconductor Reuse Standard V2.0. Motorola Inc. 1999. 

---

120 
82. Sgroi M., Lavagno L., Sangiovanni-Vincentelli A. Formal Models for 
Embedded System Design. // IEEE Design & Test of Computers. April-
June 2000. P. 2–15. 
83. Shaw M. We can teach software better. // Computing Research News 
4(4):2-12. September 1992. 
84. Technology Roadmap on Software-Intensive Systems: The Vision of ITEA 
(SOFTEC Project) // ITEA Office, Eindhoven, March 2001. Chapter 7, 
"Engineering". P. 47–56. 
85. Terekhov A.N. The main concepts of a new HLL computer “CAMCOH” // 
Computer Science Journal of Moldova. 1993. Vol.1. № 1(1). P. 22-27. 
86. Tiwari V., Malik S., Wolfe A. Power analysis of embedded software: a first 
step towards software power minimization. // IEEE Transactions on VLSI 
Systems. December 1994. 
87. Wirth N. Hardware Compilation: Translating Programs into Circuits. // 
IEEE Computer. No. 31(6). 1998. P. 25–31.