Sciweavers

714 search results - page 55 / 143
» Verification and Compliance Testing
Sort
View
INFORMATICALT
2008
154views more  INFORMATICALT 2008»
13 years 10 months ago
A Novel Biometric Personal Verification System Based on the Combination of Palmprints and Faces
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
Slobodan Ribaric, Ivan Fratric, Kristina Kis
TCAD
2008
103views more  TCAD 2008»
13 years 10 months ago
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
Xiaoxi Xu, Cheng-Chew Lim
CORR
2011
Springer
216views Education» more  CORR 2011»
13 years 5 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
SIGSOFT
2010
ACM
13 years 7 months ago
Rethinking the economics of software engineering
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
Todd W. Schiller, Michael D. Ernst
VLSID
2006
IEEE
183views VLSI» more  VLSID 2006»
14 years 4 months ago
Design Challenges for High Performance Nano-Technology
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
Goutam Debnath, Paul J. Thadikaran