Results 251 to 260 of about 596,156 (298)

An experience in embedded control software verification

2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009
We report on our experience with the formal verification of CalRoc2003, the software that controls the scientific payload for the SCORE coronographic experiment. Our target was using the state-of-the-art SPIN model checker for spotting concurrency problems that could have gone undetected in the traditional testing phase. Some challenges had to be faced
ROLANDO, PIERLUIGI, SISTO, Riccardo
openaire   +1 more source

Automatic speaker verification experiments using HMM

2010 8th International Conference on Communications, 2010
This paper addresses the design and implementation of automatic speaker verification (ASV) systems. There is great interest in developing and increasing the performance of ASV applications, taking into account the advantages offered when compared to other biometrical methods.
Doru-Petru Munteanu, Stefan-Adrian Toma
openaire   +1 more source

Image-based face verification and experiments

Neural Computing and Applications, 2012
In this paper, we propose a novel image-based identity verification method. This method first uses the training images of the claimed identity to represent the testing sample and then exploits the representation result to determine the verification result, that is, accept or reject. The proposed method not only has sound theoretical foundation but also
Qi Zhu, Chengli Sun
openaire   +1 more source

PLCA Experiment for 10Base-T1 Performance Verification

2020 IEEE International Conference on Consumer Electronics - Asia (ICCE-Asia), 2020
When CAN was developed, its performance was sufficient for its application in vehicles. However, as the amount of data communicated in vehicles continued to increase, data processing using CAN became increasingly difficult. Therefore, the automotive industry required communication systems with higher-performance.
ChangYoung Jo, JaeWan Park, JaeWook Jeon
openaire   +1 more source

Colour-based palmprint verification - An experiment

MELECON 2008 - The 14th IEEE Mediterranean Electrotechnical Conference, 2008
This paper presents biometric verification experiments based on palm colour information. Feasibility of colour components from several different colour models (RGB, normalized rgb, HSL, YUV, CIE XYZ, CIE LAB and Hunter LAB) for the purpose of biometric recognition was determined.
I. Fratric, S. Ribaric
openaire   +1 more source

Experience of improving the blast static verification tool

Programming and Computer Software, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shved, P. E., Mutilin, V. S., Mandrykin, M. U.   +2 more
openaire   +2 more sources

Verification of Proficiency: A Prerequisite for Clinical Experience

Surgical Clinics of North America, 2010
Several factors, including reduced resident work hours and concerns for patient safety, have led to the introduction of dedicated skills laboratories and a more widespread belief in the value of time spent in skills training. The American College of Surgeons and the Association of Program Directors in Surgery established a three-phase skills curriculum
Hilary, Sanfey, Gary, Dunnington
openaire   +2 more sources

Verification of cryptographic protocols: An experiment

1997
The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Marc Mehdi Ayadi, Dominique Bolignano
openaire   +1 more source

Human Factors Verification and Validation: Tecnatom’s Experience

Volume 1: Plant Operations, Maintenance, Installations and Life Cycle; Component Reliability and Materials Issues; Advanced Applications of Nuclear Technology; Codes, Standards, Licensing and Regulatory Issues, 2008
Tecnatom has been performing Human Factors Engineering Verification and Validation (HFE V&V) from the mid-eighties. This activity started as one of the various activities of the post TMI requirements followed also in Spain: performing detailed Control Room Design Reviews (DCRDRs).
Pedro Trueba Alonso, Lui´s Ferna´ndez Illobre, Alfonso Jime´nez Ferna´ndez-Sesma, Fernando Ortega Pascual   +3 more
openaire   +1 more source

Power management verification experiences in Wireless SoCs

2011 Design, Automation & Test in Europe, 2011
We look into the validation a power managed ARM Cortex A-8 core used in SoCs targeted for mobile segment. Low Power design techniques used on the chip include clock gating, voltage scaling, and power gating. We focus on the verification challenges faced in designing the processor core including RTL modeling of power switches, isolation, and level ...
B Kapoor, A Hunter, P Tiwari
openaire   +1 more source