Sciweavers

5239 search results - page 842 / 1048
» Model-Integrated Embedded Systems
Sort
View
HASE
2007
IEEE
16 years 27 days ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
ICIP
2007
IEEE
16 years 26 days ago
Propagating Image-Level Part Statistics to Enhance Object Detection
The bag-of-words approach has become increasingly attractive in the fields of object category recognition and scene classification, witnessed by some successful applications [5, 7...
Sheng Gao, Joo-Hwee Lim, Qibin Sun
IROS
2007
IEEE
144views Robotics» more  IROS 2007»
16 years 26 days ago
Bipedal walking on rough terrain using manifold control
— This paper presents an algorithm for adapting periodic behavior to gradual shifts in task parameters. Since learning optimal control in high dimensional domains is subject to t...
Tom Erez, William D. Smart
SBACPAD
2007
IEEE
143views Hardware» more  SBACPAD 2007»
16 years 25 days ago
A Code Compression Method to Cope with Security Hardware Overheads
Code Compression has been used to alleviate the memory requirements as well as to improve performance and/or minimize energy consumption. On the other hand, implementing security ...
Eduardo Wanderley Netto, Romain Vaslin, Guy Gognia...
EMSOFT
2007
Springer
16 years 22 days ago
Slice-balancing H.264 video encoding for improved scalability of multicore decoding
With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
Michael Roitzsch