Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design Yongjin Ahn
2003
8 2 p. 119-138
20 p.
article
2 A Remote Methodology for Embedded Systems Design and Validation Alessandro Fin
2003
8 2 p. 229-247
19 p.
article
3 Editorial 2003
8 2 p. 115-117
3 p.
article
4 Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems Li-C Wang
2003
8 2 p. 173-188
16 p.
article
5 Fast and Time-Accurate Cosimulation with OS Scheduler Modeling Youngmin Yi
2003
8 2 p. 211-228
18 p.
article
6 Formal Verification for Embedded System Designs Xi Chen
2003
8 2 p. 139-153
15 p.
article
7 Performance Analysis of Arbitration Policies for SoC Communication Architectures Francesco Poletti
2003
8 2 p. 189-210
22 p.
article
8 Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications Prabhat Mishra
2003
8 2 p. 249-265
17 p.
article
9 Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform Arif Sasongko
2003
8 2 p. 155-171
17 p.
article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands