Sciweavers

1219 search results - page 9 / 244
» Verification of Equivalent-Results Methods
Sort
View
CAISE
2006
Springer
13 years 11 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
FMCAD
2009
Springer
14 years 2 months ago
Verification of recursive methods on tree-like data structures
Jyotirmoy V. Deshmukh, E. Allen Emerson
MCS
2007
Springer
14 years 1 months ago
Fusion of Support Vector Classifiers for Parallel Gabor Methods Applied to Face Verification
In this paper we present a fusion technique for Support Vector Machine (SVM) scores, obtained after a dimension reduction with Bilateralprojection-based Two-Dimensional Principal C...
Ángel Serrano, Isaac Martín de Diego...
FMCAD
2007
Springer
14 years 1 months ago
Formal Verification of Partial Good Self-Test Fencing Structures
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
DSD
2008
IEEE
147views Hardware» more  DSD 2008»
13 years 9 months ago
A Low-Cost Cache Coherence Verification Method for Snooping Systems
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...
Demid Borodin, Ben H. H. Juurlink