TAILIEUCHUNG - Model-Based Design for Embedded Systems- P58

Model-Based Design for Embedded Systems- P58: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 556 Model-Based Design for Embedded Systems 18. A. Jantsch Modeling Embedded Systems and SoCs Concurrency and Time in Models of Computation. Systems on Silicon. Morgan Kaufmann Publishers San Francisco CA June 2003. 19. T. G. Kim DEVSim User s Manual SMSLab Dept. of EECS KAIST Taejon Korea 1994 http 20. Y. J. Kim J. H. Kim and T. G. Kim Heterogeneous simulation framework using DEVS-BUS in Simulation the Society for Modeling and Simulation International 79 2003 3-18. 21. E. A. Lee and H. Zheng Operational semantics of hybrid systems in Hybrid Systems Computation and Control 8th International Workshop HSCC Zurich Switzerland 2005 pp. 25-53. 22. E. A. Lee and A. L. Sangiovanni-Vincentelli Comparing models of computation in IEEE Proceedings of the International Conference on Computer-Aided Design ICCAD San Jose CA 1996 pp. 234-241. 23. S. Levitan J. Martinez T. Kurzveg P. Marchand and D. Chiarulli Multi technology system-level simulation Analog Integrated Circuits and Signal Processing 29 2001 127-149. 24. MATLAB-Simulink Online . Available at 25. . Monin Understanding Formal Methods Springer Berlin 2003. 26. G. Nicolescu et al. Validation in a component-based design flow for multicore SoCs in Proceedings ofISSS Kyoto Japan 2002 pp. 162-167. 27. D. H. Patel and S. K. Shukla SystemC Kernel Extensions for Heterogeneous System Modeling Kluwer Academic Publishers Dordrecht the Netherlands 2004. 28. Ptolemy project Online . Available at http . edu 29. S. Romitti C. Santoni and P. François A design methodology and a prototyping tool dedicated to adaptive interface generation in Proceedings of the 3rd ERCIM Workshop on User Interfaces for All Obernai France 1997. 30. SystemC LRM Online . Available at 31. SystemVerilog Online . Available at 32. A. Vachoux C. Grimm and K. Einwich Analog and mixed signal modeling with SystemC-AMS in Proceedings International on Symposium Circuits

• Phần cứng
• sửa chữa máy tính
• sổ tay phần cứng
• MainBoard
• thiết bị máy tính
• thiết bị mạng
• lắp ráp máy tính
• Phần cứng máy tính
• lỗi máy tính
• hệ thống mạch máy tính
• điện máy tính
• Tài liệu máy tính