2935 search results - page 353 / 587 » An Integrated Approach to High Integrity Software Verificati... |
152
click to vote
DIWEB
2004
15 years 7 months ago
2004
Relational database systems are increasingly used to manage XML documents, especially for data-centric XML. In this paper we present a new approach to efficiently manage document-c...
198
click to vote
ESM
2000
15 years 7 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
196
click to vote
ETS
2009
IEEE
2009
IEEE
Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques
15 years 4 months ago
Due to the increased speed in modern designs, testing for delay faults has become an important issue in the postproduction test of manufactured chips. A high fault coverage is nee...
156
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
JVT Scalable Video Coding (SVC) provides high coding efficiency for progressive video sequences with combined scalability. However, interlaced SVC is only the straightforward exte...
198
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...