319 search results - page 15 / 64 » Criteria for the verification of feature models |
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
DFG
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
DAC
1999
ACM
15 years 2 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
EURODAC
1994
IEEE
15 years 2 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
CVPR
2006
IEEE
15 years 1 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...