3146 search results - page 442 / 630 » The use of compiler optimizations for embedded systems softw... |
175
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
159
click to vote
MTA
2006
15 years 6 months ago
2006
Abstract There are increasing demands on portable communication devices to run multimedia applications. ISO (an International Organization for Standardization) standard MPEG-4 is a...
211
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Tracking 3D people from monocular video is often poorly constrained. To mitigate this problem, prior knowledge should be exploited. In this paper, the Gaussian process spatio-temp...
205
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
184
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
In the context of battery-powered real-time systems three constraints need to be addressed: energy, deadlines and task rewards. Many future real-time systems will count on differe...