Sciweavers

1884 search results - page 93 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
118
Voted
TACAS
2004
Springer
107views Algorithms» more  TACAS 2004»
15 years 6 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
119
Voted
COMPUTER
2000
128views more  COMPUTER 2000»
15 years 20 days 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
118
Voted
RTCSA
2007
IEEE
15 years 7 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 4 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 7 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