Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design Ahn, Yongjin
 2003
 8 2-3 p. 119-138
 artikel
2 A Remote Methodology for Embedded Systems Design and Validation Fin, Alessandro
 2003
 8 2-3 p. 229-247
 artikel
3 Editorial 2003
 8 2-3 p. 115-117
 artikel
4 Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems Wang, Li-C
 2003
 8 2-3 p. 173-188
 artikel
5 Fast and Time-Accurate Cosimulation with OS Scheduler Modeling Yi, Youngmin
 2003
 8 2-3 p. 211-228
 artikel
6 Formal Verification for Embedded System Designs Chen, Xi
 2003
 8 2-3 p. 139-153
 artikel
7 Performance Analysis of Arbitration Policies for SoC Communication Architectures Poletti, Francesco
 2003
 8 2-3 p. 189-210
 artikel
8 Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications Mishra, Prabhat
 2003
 8 2-3 p. 249-265
 artikel
9 Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform Sasongko, Arif
 2003
 8 2-3 p. 155-171
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland