Sciweavers

5186 search results - page 640 / 1038
» Embedded Systems
Sort
View
CODES
2010
IEEE
15 years 4 months ago
A greedy buffer allocation algorithm for power-aware communication in body sensor networks
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
Hassan Ghasemzadeh, Roozbeh Jafari
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 7 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
CASES
2009
ACM
16 years 1 months ago
CheckerCore: enhancing an FPGA soft core to capture worst-case execution times
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing specifications e...
Jin Ouyang, Raghuveer Raghavendra, Sibin Mohan, Ta...
LCTRTS
2005
Springer
16 years 7 days ago
Cache aware optimization of stream programs
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
Janis Sermulins, William Thies, Rodric M. Rabbah, ...
AMR
2003
Springer
130views Multimedia» more  AMR 2003»
15 years 12 months ago
NewsFlash: Adaptive TV News Delivery on the Web
In this paper we present NewsFlash, an adaptive search system that assists a searcher to efficiently search a library of stored TV news reports. The system automatically summarises...
Alan Haggerty, Ryen W. White, Joemon M. Jose