Sciweavers

1884 search results - page 93 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
TACAS
2004
Springer
107views Algorithms» more  TACAS 2004»
15 years 3 months ago
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
Pavel Krcál, Wang Yi
COMPUTER
2000
128views more  COMPUTER 2000»
14 years 9 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
RTCSA
2007
IEEE
15 years 4 months ago
Modeling Real-time Garbage Collection Cost
Given the major advantages of productivity and safety, the use of garbage collection (GC) in real-time systems has gained increasing attention. Guaranteeing garbage collection act...
Wei Fu, Carl Hauser
CIVR
2006
Springer
117views Image Analysis» more  CIVR 2006»
15 years 1 months ago
Video Clip Matching Using MPEG-7 Descriptors and Edit Distance
Abstract. Video databases require that clips are represented in a compact and discriminative way, in order to perform efficient matching and retrieval of documents of interest. We ...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
RTCSA
2009
IEEE
15 years 4 months ago
Managing Imprecise Worst Case Execution Times on DVFS Platforms
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...
Vandy Berten, Chi-Ju Chang, Tei-Wei Kuo