Sciweavers

528 search results - page 68 / 106
» Thermal Management in Embedded Systems Using MEMS
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 1 months ago
Compact Binaries with Code Compression in a Software Dynamic Translator
Embedded software is becoming more flexible and adaptable, which presents new challenges for management of highly constrained system resources. Software dynamic translation is a t...
Stacey Shogan, Bruce R. Childers
102
Voted
ICIP
2002
IEEE
15 years 11 months ago
Echocardiogram videos: summarization, temporal segmentation and browsing
In this paper, we present a system for the temporal segmentation, summarization, and browsing of the Echocardiogram videos. Echocardiogram videos are video sequences produced by t...
Shahram Ebadollahi, Shih-Fu Chang, Henry Wu
75
Voted
GI
2009
Springer
14 years 7 months ago
Combined Optimization of Aircraft Maneuvers and RF Measurements for Passive Air-Air Ranging
: When a tactical aircraft sets out on a mission in dense airborne and surface RF (radio frequency) emitter environment, the pilot desires to minimize the use of the onboard fire c...
Ronald Matthew Yannone, Melvin Carroll
RTCSA
2008
IEEE
15 years 4 months ago
Providing Memory QoS Guarantees for Real-Time Applications
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
Audrey Marchand, Patricia Balbastre, Ismael Ripoll...
DSN
2000
IEEE
15 years 2 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...