Search Sciweavers | Sciweavers

854 search results - page 38 / 171

» Timing coverification of concurrent embedded real-time syste...

click to vote

EMSOFT
2001
Springer

139views Software Engineering» more EMSOFT 2001»

Embedded Systems and Real-Time Programming

15 years 2 months ago

Download rtsys.informatik.uni-kiel.de

Niklaus Wirth

claim paper

Read More »

click to vote

GLVLSI
1997
IEEE

115views VLSI» more GLVLSI 1997»

Hardware interface design for real time embedded systems

15 years 1 months ago

Download www.cecs.uci.edu

Adel Baganne, Jean Luc Philippe, Eric Martin

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

15 years 1 months 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++

15 years 1 months 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers