2656 search results - page 101 / 532 » Design and analysis of algorithms reconsidered |
143
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
157
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we propose an adaptive 3D-DCT compression technique, which dynamically determines an optimal size of the video cube based on the motion analysis. The technique cons...
178
click to vote
WCET
2007
15 years 7 months ago
2007
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
161
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
170
click to vote
IJPP
2008
15 years 6 months ago
2008
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...