Sciweavers

289 search results - page 16 / 58
» Verification Patterns for Rapid Embedded System Verification
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
13 years 11 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
ICB
2009
Springer
181views Biometrics» more  ICB 2009»
13 years 5 months ago
Palm Vein Verification System Based on SIFT Matching
We present in this communication a new biometric system based on the use of hand veins acquired by an infrared imager. After the preprocessing stage and binarization, the vein imag...
Pierre-Olivier Ladoux, Christophe Rosenberger, Ber...
ICDAR
2003
IEEE
14 years 23 days ago
An HMM On-line Signature Verifier Incorporating Signature Trajectories
Authentication of individuals is rapidly becoming an important issue. On-line signature verification is one of the methods that use biometric features. This paper proposes a new H...
Daigo Muramatsu, Takashi Matsumoto
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
14 years 17 days ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
MCS
2008
Springer
13 years 7 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski