Sciweavers

4306 search results - page 262 / 862
» Timed Testing with TorX
Sort
View
131
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 7 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
106
Voted
ECRTS
2006
IEEE
15 years 6 months ago
Real-Time Scheduling with Regenerative Energy
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
Clemens Moser, Lothar Thiele, Luca Benini, Davide ...
106
Voted
DFMA
2005
IEEE
150views Multimedia» more  DFMA 2005»
15 years 6 months ago
Real-Time Treatment Planning Optimisation for Brachytherapy
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
Simon Chatelain, Jean-Philippe Thiran, Valery-Oliv...
ICDCSW
2005
IEEE
15 years 6 months ago
Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget
Anomaly detection in IP networks, detection of deviations from what is considered normal, is an important complement to misuse detection based on known attack descriptions. Perfor...
Kalle Burbeck, Simin Nadjm-Tehrani
109
Voted
ICMCS
2005
IEEE
143views Multimedia» more  ICMCS 2005»
15 years 6 months ago
Dynamic Gop Structure Determination for Real-Time MPEG-4 Advanced Simple Profile Video Encoder
MPEG-4 Advanced Simple Profile video provides I, P, and B –type frames in each GOP (Group Of Pictures). To maximize the coding efficiency, it is important to determine the distr...
Yu-Lin Wang, Jing-Xin Wang, Yen-Wen Lai, Alvin Wen...