Microsoft Word впвс book 2011 sev pa doc
Download 2.21 Mb. Pdf ko'rish
|
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. Download 2.21 Mb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling