224 search results - page 35 / 45 » A Process-Oriented Heuristic for Model Selection |
105
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
ATS
2009
IEEE
15 years 7 months ago
2009
IEEE
Diagnostic ATPG has traditionally been used to generate test patterns that distinguish pairs of modeled faults. In this work, we investigate the use of n-distinguishing test sets,...
105
Voted
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
—The Internet has witnessed a rapid growth in deployment of data-driven overlay network (DON) based streaming applications during recent years. In these applications, each nodes ...
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...