Sciweavers

20126 search results - page 340 / 4026
» Timed Transition Systems
Sort
View
DATE
2003
IEEE
189views Hardware» more  DATE 2003»
15 years 10 months ago
Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems
We present an integrated approach that provides fault tolerance and dynamic power management for a real-time task executing in an embedded system. Fault tolerance is achieved thro...
Ying Zhang, Krishnendu Chakrabarty
EMSOFT
2001
Springer
15 years 9 months ago
Storage Allocation for Real-Time, Embedded Systems
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
Steven M. Donahue, Matthew P. Hampton, Morgan Dete...
BMVC
2001
15 years 7 months ago
A SOM Based Approach to Skin Detection with Application in Real Time Systems
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...
David A. Brown, Ian Craw, Julian Lewthwaite
136
Voted
ASMTA
2008
Springer
113views Mathematics» more  ASMTA 2008»
15 years 7 months ago
Exact Sojourn Time Distribution in an Online IPTV Recording System
In this paper we analytically derive the sojourn time of a user accessing an online IPTV recording service. Basically, the system consists of a server (or server farm) and the band...
Tobias Hoßfeld, Kenji Leibnitz, Marie-Ange R...
ATAL
2008
Springer
15 years 7 months ago
Verifying time, memory and communication bounds in systems of reasoning agents
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...