Search Sciweavers | Sciweavers

221 search results - page 11 / 45

» Embedded Fingerprint Verification System

click to vote

FDL
2007
IEEE

104views Natural Language Processing» more FDL 2007»

Transactor-based Formal Verification of Real-time Embedded Systems

14 years 2 months ago

Download www.ida.liu.se

With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...

Daniel Karlsson, Petru Eles, Zebo Peng

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 5 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 5 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 5 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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers