Period of time： 2011年2-3期
Publisher： Springer Publishing Company
Founded in： 2000
Total resources： 13
ISSN： 0929-5585
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Design Automation for Embedded Systems,volume 8,issue 2-3
Menu
Access to resources
Recommend
An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design
By Ahn Yongjin,Kim Deahong,Lee Sunghyun,Park Sanggyu,Yoo Sungjoo,Choi Kiyoung,Chae Soo-Ik in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.Formal Verification for Embedded System Designs
By Chen Xi,Hsieh Harry,Balarin Felice,Watanabe Yosinori in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform
By Sasongko Arif,Baghdadi Amer,Rousseau Frederic,Jerraya Ahmed Amine in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems
By Wang Li-C,Feng Tao,Cheng Kwang-Ting (Tim),Abadir Magdy S.,Pandey Manish in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.Performance Analysis of Arbitration Policies for SoC Communication Architectures
By Poletti Francesco,Bertozzi Davide,Benini Luca,Bogliolo Alessandro in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.Fast and Time-Accurate Cosimulation with OS Scheduler Modeling
By Yi Youngmin,Kim Dohyung,Ha Soonhoi in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.A Remote Methodology for Embedded Systems Design and Validation
By Fin Alessandro,Fummi Franco in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
By Mishra Prabhat,Dutt Nikil,Tomiyama Hiroyuki in (2003)
Design Automation for Embedded Systems,volume 8,issue 2-3 , Vol. 8, Iss. 2-3, 2003-06 , pp.