6941 search results - page 767 / 1389 » Testing as a Certification Approach |
171
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
A fast algorithm for mesh-based motion estimation employing uniform triangular patches is proposed. The technique utilises an embedded block model to estimate the motion of the me...
154
click to vote
LCN
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents the concept of change detection for filter-based network-state estimation. This could be useful in various contexts; two examples are network management and ad...
201
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a real-time, Linux-based testbed called LITMUSRT , which we have developed for empirically evaluating multiprocessor real-time scheduling algorithms. We also present th...
169
click to vote
TRIDENTCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes the motivation, methodology and implementation approach of the testbed that has been developed in the framework of the EVEREST project. Such testbed is used f...
169
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...