Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
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
Yongjin Ahn
2003
8
2
p. 119-138
20 p.
artikel
2
A Remote Methodology for Embedded Systems Design and Validation
Alessandro Fin
2003
8
2
p. 229-247
19 p.
artikel
3
Editorial
2003
8
2
p. 115-117
3 p.
artikel
4
Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems
Li-C Wang
2003
8
2
p. 173-188
16 p.
artikel
5
Fast and Time-Accurate Cosimulation with OS Scheduler Modeling
Youngmin Yi
2003
8
2
p. 211-228
18 p.
artikel
6
Formal Verification for Embedded System Designs
Xi Chen
2003
8
2
p. 139-153
15 p.
artikel
7
Performance Analysis of Arbitration Policies for SoC Communication Architectures
Francesco Poletti
2003
8
2
p. 189-210
22 p.
artikel
8
Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
Prabhat Mishra
2003
8
2
p. 249-265
17 p.
artikel
9
Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform
Arif Sasongko
2003
8
2
p. 155-171
17 p.
artikel
9 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland