Sciweavers

5186 search results - page 278 / 1038
» Embedded Systems
Sort
View
CASES
2004
ACM
16 years 1 days ago
A low power architecture for embedded perception
Recognizing speech, gestures, and visual features are important interface capabilities for future embedded mobile systems. Unfortunately, the real-time performance requirements of...
Binu K. Mathew, Al Davis, Michael Parker
EMSOFT
2007
Springer
16 years 24 days ago
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
Haifeng He, Saumya K. Debray, Gregory R. Andrews
CACM
2000
143views more  CACM 2000»
15 years 6 months ago
Embedding Robots into the Internet
With the explosive growth of embedded computing hardware, it is possible to conceive many new networked robotic applications for diverse domains ranging from urban search and resc...
Gaurav S. Sukhatme, Maja J. Mataric
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
16 years 3 days ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
SAMOS
2010
Springer
15 years 5 months ago
A trace-based scenario database for high-level simulation of multimedia MP-SoCs
—High-level simulation and design space exploration nowadays are key ingredients for system-level design of modern multimedia embedded systems. The majority of the work in this a...
Peter van Stralen, Andy D. Pimentel