3387 search results - page 526 / 678 » Model-Checking for Real-Time Systems |
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Most prior theoretical research on partitioning algorithms for real-time multiprocessor platforms has focused on ensuring that the cumulative computing requirements of the tasks a...
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent years, many efficient data dissemination protocols for mobile sinks in large scale sensor networks are currently under developed by researchers. In this paper we propose CO...
RTSS
2005
IEEE
14 years 3 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
FSKD
2005
Springer
14 years 3 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...