| 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
|
|
2-3 |
p. 119-138
|
artikel
|
| 2 |
An Integrated Cosimulation Environment for Heterogeneous Systems Prototyping
|
Kim, Yongjoo
|
|
1998
|
|
2-3 |
p. 163-186
|
artikel
|
| 3 |
A Remote Methodology for Embedded Systems Design and Validation
|
Fin, Alessandro
|
|
2003
|
|
2-3 |
p. 229-247
|
artikel
|
| 4 |
A Retargetable Compilation Methodology for Embedded Digital Signal Processors Using a Machine-Dependent Code Optimization Library
|
Sudarsanam, Ashok
|
|
1999
|
|
2-3 |
p. 187-206
|
artikel
|
| 5 |
A rule-based availability-driven cosynthesis scheme
|
Chakraverty, Shampa
|
|
2007
|
|
2-3 |
p. 193-222
|
artikel
|
| 6 |
A SystemC-only design methodology and the CINE-IP multimedia platform
|
Araújo, Guido
|
|
2006
|
|
2-3 |
p. 181-202
|
artikel
|
| 7 |
Automatic VHDL-C Interface Generation for Distributed Cosimulation: Application to Large Design Examples
|
Valderrama, C.
|
|
1998
|
|
2-3 |
p. 199-217
|
artikel
|
| 8 |
Design, synthesis and verification of a smart imaging core using SystemC
|
Kruijtzer, Wido
|
|
2006
|
|
2-3 |
p. 127-155
|
artikel
|
| 9 |
Editorial
|
|
|
2003
|
|
2-3 |
p. 115-117
|
artikel
|
| 10 |
Editorial
|
Agrawal, Vishwani D.
|
|
1998
|
|
2-3 |
p. 115-116
|
artikel
|
| 11 |
Editorial
|
|
|
1999
|
|
2-3 |
p. 67-69
|
artikel
|
| 12 |
Editors’ introduction
|
Bergamaschi, Reinaldo A.
|
|
2006
|
|
2-3 |
p. 71-72
|
artikel
|
| 13 |
Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications
|
Shin, Chulho
|
|
2007
|
|
2-3 |
p. 119-140
|
artikel
|
| 14 |
Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems
|
Wang, Li-C
|
|
2003
|
|
2-3 |
p. 173-188
|
artikel
|
| 15 |
Fast and Time-Accurate Cosimulation with OS Scheduler Modeling
|
Yi, Youngmin
|
|
2003
|
|
2-3 |
p. 211-228
|
artikel
|
| 16 |
Formal Verification for Embedded System Designs
|
Chen, Xi
|
|
2003
|
|
2-3 |
p. 139-153
|
artikel
|
| 17 |
Hardware-Software Prototyping from LOTOS
|
Fernández, Luis Sánchez
|
|
1998
|
|
2-3 |
p. 117-148
|
artikel
|
| 18 |
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level
|
Moy, Matthieu
|
|
2006
|
|
2-3 |
p. 73-104
|
artikel
|
| 19 |
Machine-Description Driven Compilers for EPIC and VLIW Processors
|
Rau, B. Ramakrishna
|
|
1999
|
|
2-3 |
p. 71-118
|
artikel
|
| 20 |
Minimization of Data Address Computation Overhead in DSP Programs
|
Wess, Bernhard
|
|
1999
|
|
2-3 |
p. 167-185
|
artikel
|
| 21 |
Performance Analysis of Arbitration Policies for SoC Communication Architectures
|
Poletti, Francesco
|
|
2003
|
|
2-3 |
p. 189-210
|
artikel
|
| 22 |
Phase-Coupled Mapping of Data Flow Graphs to Irregular Data Paths
|
Bashford, Steven
|
|
1999
|
|
2-3 |
p. 119-165
|
artikel
|
| 23 |
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices
|
Cardelli, Stefano
|
|
1998
|
|
2-3 |
p. 149-161
|
artikel
|
| 24 |
Scheduling with accurate communication delay model and scheduler implementation for multiprocessor system-on-chip
|
Cho, Youngchul
|
|
2007
|
|
2-3 |
p. 167-191
|
artikel
|
| 25 |
Simulating Hardware, Software and Electromechanical Parts Using Communicating Simulators
|
Petrellis, Nikos C.
|
|
1998
|
|
2-3 |
p. 187-198
|
artikel
|
| 26 |
SystemC co-simulation for core-based embedded systems
|
Fummi, Franco
|
|
2007
|
|
2-3 |
p. 141-166
|
artikel
|
| 27 |
SystemQ: Bridging the gap between queuing-based performance evaluation and SystemC
|
Sonntag, Sören
|
|
2006
|
|
2-3 |
p. 91-117
|
artikel
|
| 28 |
TAPES—Trace-based architecture performance evaluation with SystemC
|
Wild, Thomas
|
|
2006
|
|
2-3 |
p. 157-179
|
artikel
|
| 29 |
Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
|
Mishra, Prabhat
|
|
2003
|
|
2-3 |
p. 249-265
|
artikel
|
| 30 |
Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform
|
Sasongko, Arif
|
|
2003
|
|
2-3 |
p. 155-171
|
artikel
|
| 31 |
Transaction-level modeling for architectural and power analysis of PowerPC and CoreConnect-based systems
|
Dhanwada, Nagu
|
|
2006
|
|
2-3 |
p. 105-125
|
artikel
|
| 32 |
Very Rapid Prototyping of Wearable Computers: A Case Study of VuMan 3 Custom versus Off-the-Shelf Design Methodologies
|
Smailagic, Asim
|
|
1998
|
|
2-3 |
p. 219-232
|
artikel
|
Tijdschrift beschrijving