Search Sciweavers | Sciweavers

289 search results - page 6 / 58

» Verification Patterns for Rapid Embedded System Verification

click to vote

CCR
2004

151views more CCR 2004»

Practical verification techniques for wide-area routing

13 years 7 months ago

Download nms.lcs.mit.edu

Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...

Nick Feamster

claim paper

Read More »

click to vote

SMC
2007
IEEE

88views Control Systems» more SMC 2007»

An embedded face verification system against image degradation

14 years 1 months ago

Download image.korea.ac.kr

Sang-Woong Lee, Seong-Whan Lee

claim paper

Read More »

click to vote

ICECCS
2009
IEEE

116views Hardware» more ICECCS 2009»

UML Modeling and Formal Verification of Control/Data Driven Embedded Systems

14 years 2 months ago

Download www.artist-embedded.org

Fateh Boutekkouk, Mohamed Benmohammed

claim paper

Read More »

click to vote

FMICS
2007
Springer

125views Formal Methods» more FMICS 2007»

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel

14 years 1 months ago

Download www.cse.iitb.ac.in

Gérard Berry

claim paper

Read More »

click to vote

DATE
2005
IEEE

99views Hardware» more DATE 2005»

Verification of Embedded Memory Systems using Efficient Memory Modeling

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers