Search Sciweavers | Sciweavers

877 search results - page 35 / 176

» Middleware for real-time and embedded systems

click to vote

GLVLSI
1997
IEEE

115views VLSI» more GLVLSI 1997»

Hardware interface design for real time embedded systems

14 years 27 days ago

Download www.cecs.uci.edu

Adel Baganne, Jean Luc Philippe, Eric Martin

claim paper

Read More »

click to vote

DATE
2004
IEEE

133views Hardware» more DATE 2004»

Model-Based Specification and Execution of Embedded Real-Time Systems

14 years 12 days ago

Download jerry.c-lab.de

Tim Schattkowsky, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ENC
2004
IEEE

108views Theoretical Computer Science» more ENC 2004»

Real-Time Embedded Vision System Development Using AIBO Vision Workshop 2

14 years 12 days ago

Download www.griffith.edu.au

Nathan Lovell

claim paper

Read More »

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

14 years 10 days ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

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

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers