Search Sciweavers | Sciweavers

7429 search results - page 268 / 1486

» Embedded System Update

140

click to vote

FPGA
2006
ACM

116views FPGA» more FPGA 2006»

GSFAP adaptive filtering using log arithmetic for resource-constrained embedded systems

15 years 10 months ago

Download library.utia.cas.cz

Milan Tichý, Andy Nisbet, David Gregg

claim paper

Read More »

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 »

130

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers