Search Sciweavers | Sciweavers

854 search results - page 38 / 171

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

140

click to vote

EMSOFT
2001
Springer

139views Software Engineering» more EMSOFT 2001»

Embedded Systems and Real-Time Programming

15 years 10 months ago

Download rtsys.informatik.uni-kiel.de

Niklaus Wirth

claim paper

Read More »

140

click to vote

GLVLSI
1997
IEEE

115views VLSI» more GLVLSI 1997»

Hardware interface design for real time embedded systems

15 years 10 months ago

Download www.cecs.uci.edu

Adel Baganne, Jean Luc Philippe, Eric Martin

claim paper

Read More »

122

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 9 months ago

Download www.griffith.edu.au

Nathan Lovell

claim paper

Read More »

146

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

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

15 years 9 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

143

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers