Digital Library
Close
Browse articles from a journal
Search for
Magazine
Article
ISSN
NBN article
NBN magazine
DARE/NARCIS document
with title:
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
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