Proceedings |
|
NCS Calculation Method for Streaming Applications (PDF: 217.9 KB)
Albu,Alina, Peter van der Stok, Johan Lukkien |
|
A combined analogue+ digital software defined radio receiver front-end for Bluetooth and Hiperlan/2 (PDF: 1.5 MB)
Arkesteijn, Vincent, Roel Schiphorst, Fokke Hoeksema, Eric Klumperink, Bram Nauta and Kees Slump |
|
Action Refinement in Testing with uioco (PDF: 0.9 MB)
Bijl, Machiel van der, Arend Rensink, Jan Tretmans |
|
Data- and Task Parallel Image Processing on a Mixed SIMD-ILP Platform using Skeletons and Asynchronous RPC (PDF: 447.3 KB)
Caarls, W, P.P. Jonker, and H. Corporaal |
|
Plug-ins for ISpec (PDF: 230.1 KB)
Gool, Louis van, Hans Jonkers, Erik Luit, Ruurd Kuiper, Seguei Roubtsov |
|
Information Sharing Systems At Airports (PDF: 0.9 MB)
Grosmann, Ronald J.F, Ernst Kesseler |
|
Resource Allocation, Exploiting Locality of Reference of a Reconfigurable Architecture (PDF: 579.5 KB)
Guo, Yuanqing, Gerard J.M. Smit |
|
Experimental implementation of a real-time token-based network protocol on a microcontroller (PDF: 638.5 KB)
Hanssen, Ferdy, Robert Krikke, Bert Baron, Pierre G. Jansen, Hans Scholten |
|
Smart Surroundings (PDF: 134.4 KB)
Havinga, Paul, Pierre Jansen, Maria Lijding, Hans Scholten |
|
Deadlock Detection Based on Automatic Code Generation from Graphical CSP Models (PDF: 0.8 MB)
Jovanovic, Dusko S., Geert K. Liet, Jan F. Broenink |
|
Identification of an Industrial Hybrid System (PDF: 417.8 KB)
Juloski A.J. and P.J.L. Cuijpers |
|
Two architectures for on-chip virtual channel router (PDF: 222.3 KB)
Kavaldjiev, Nikolay, Gerard J. M. Smit, Pierre G. Jansen |
|
Extensions of SystemCFL for Mixed-Signal System and Formal Verification (PDF: 414.5 KB)
Man, K.L. |
|
Design criteria for applications with non-manifest loops (PDF: 312 KB)
Mansour, Omar, Egbert Molenkamp, Thijs Krol |
|
Improved Eventing Protocol for Universal Plug and Play (PDF: 374.4 KB)
Mazuryk, Y, J.J. Lukkien |
|
Timing analysis model for network based multiprocessor systems (PDF: 289.9 KB)
Moonen, Arno, Marco Bekooij, Jef van Meerbergen |
|
Supporting model-based simulation of embedded systems by coupling tools (PDF: 206.4 KB)
Mulyar, Nataliya, Ladislau Posta, Jozef Hooman |
|
Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration (PDF: 326.8 KB)
Nicolae, Laurentiu, Ed Deprettere |
|
Redesign of the C++ Communicating Threads Library for Embedded Control Systems (PDF: 325.7 KB)
Orlic, Bojan, Jan F. Broenink |
|
Verification of a Sliding Window Protocol in µCRL (PDF: 526.5 KB)
Pang, Jun, Bahareh Badban, Wan Fokkink, Jan Friso Groote and Jaco van de Pol |
|
Mapping a mathematical expression onto a Montium ALU using GNU Bison (PDF: 236.8 KB)
Rosien, Michel A.J. |
|
The Chameleon project in retrospective (PDF: 507.7 KB)
Smit, Gerard J.M., Paul M. Heysters, Bert Molenkamp |
|
Run-time assignment of tasks to multiple heterogeneous processors (PDF: 288.1 KB)
Smit, Lodewijk T., Gerard J.M. Smit, Johann L. Hurink, Hajo Broersma, Daniel Paulusma and Pascal Wolkotte |
|
A bridge from user requirements to forecasted embedded systems technology (PDF: 355.9 KB)
Veelen, Martijn van & Sylvain Alliot |
|
Multi-Disciplinary Design Support using Hardware-in-the-Loop Simulation (PDF: 1.2 MB)
Visser, P.M., J.F. Broenink |
|
Interactive visualization, information sharing, planning and learning for a team of robots (PDF: 0.9 MB)
Vlassis, N., M. Spaan, F.C.A. Groen, M. Boasson, M. Koutek, H.E. Bal, B. van Veelen |