Search Sciweavers | Sciweavers

6701 search results - page 290 / 1341

» Medical Embedded Systems

156

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

15 years 10 months ago

Download www-verimag.imag.fr

Etienne Closse, Michel Poize, Jacques Pulou, Josep...

claim paper

Read More »

133

click to vote

CODES
2001
IEEE

81views Software Engineering» more CODES 2001»

Deriving hard real-time embedded systems implementations directly from SDL specifications

15 years 10 months ago

Download www.cs.york.ac.uk

José M. Álvarez, Manuel Díaz,...

claim paper

Read More »

113

click to vote

CODES
2001
IEEE

96views Software Engineering» more CODES 2001»

A systematic approach to software peripherals for embedded systems

15 years 10 months ago

Download aiolos.cti.gr

The continued growth of microprocessors' performance and the

Dimitris Lioupis, Apostolos Papagiannis, Dionysia ...

claim paper

Read More »

159

click to vote

CODES
2001
IEEE

114views Software Engineering» more CODES 2001»

Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems

15 years 10 months ago

Download www.prism.uvsq.fr

Sid Ahmed Ali Touati

claim paper

Read More »

157

click to vote

ECOOPW
2000
Springer

102views Distributed And Parallel Com...» more ECOOPW 2000»

Specification, Implementation, and Validation of Object-Oriented Embedded Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers