3387 search results - page 211 / 678 » Model-Checking for Real-Time Systems |
223
Voted
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
221
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Multicore architectures, which have multiple processing units on a single chip, have been adopted by most chip manufacturers. Most such chips contain on-chip caches that are share...
161
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Sight-reading is the ability to read and perform music from a written score with little or no preparation. Though an integral part of musicianship, it is rarely or minimally addre...
192
Voted
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
187
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a robotic system capable of using three-dimensional ultrasound to guide a surgical instrument to a tracked target location. Tracking of both the surgical in...