Volume 2008; Issue 1

1

A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

Year:
2007
Language:
english
File:
PDF, 679 KB
english, 2007
13

Accuracy Constraint Determination in Fixed-Point System Design

Year:
2007
Language:
english
File:
PDF, 518 KB
english, 2007
19

Design and Architectures for Signal and Image Processing

Year:
2007
Language:
english
File:
PDF, 130 KB
english, 2007
21

SoC Design Approach Using Convertibility Verification

Year:
2007
Language:
english
File:
PDF, 585 KB
english, 2007
22

Formal Analysis Tools for the Synchronous Aspect Language Larissa

Year:
2007
Language:
english
File:
PDF, 907 KB
english, 2007
29

On Definition of a Formal Model for IEC 61499 Function Blocks

Year:
2007
Language:
english
File:
PDF, 417 KB
english, 2007
32

Stream Execution on Embedded Wide-Issue Clustered VLIW Architectures

Year:
2007
Language:
english
File:
PDF, 335 KB
english, 2007
33

Model-Driven Validation of SystemC Designs

Year:
2007
Language:
english
File:
PDF, 2.85 MB
english, 2007
43

Embedded Systems Programming: Accessing Databases from Esterel

Year:
2007
Language:
english
File:
PDF, 946 KB
english, 2007
48

Multiple Word-Length High-Level Synthesis

Year:
2007
Language:
english
File:
PDF, 603 KB
english, 2007
54

Lutin: A Language for Specifying and Executing Reactive Scenarios

Year:
2007
Language:
english
File:
PDF, 388 KB
english, 2007