3387 search results - page 589 / 678 » Model-Checking for Real-Time Systems |
RTAS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper investigates how dynamic branch prediction in a microprocessor affects the predictability of execution time for software running on that processor. By means of experim...
RTAS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
ISBI
2002
IEEE
14 years 1 months ago
2002
IEEE
We have previously shown a new method of merging a direct view of the patient with an ultrasound image displayed in situ within the patient, using a half-silvered mirror. We call ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— We study a clock calibration problem for an ultra-low power timer on a sensor node platform. When the sensor is put into sleep mode, this timer is the only thing left running, ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— The heat exchange efficiency of electrically conducting fluids can drop dramatically when they interact with externally imposed magnetic fields. The movement of such...