3387 search results - page 246 / 678 » Model-Checking for Real-Time Systems |
186
click to vote
ICRA
2002
IEEE
16 years 1 days ago
2002
IEEE
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
210
click to vote
RTSS
2002
IEEE
16 years 9 hour ago
2002
IEEE
Simultaneous multithreading (SMT) improves processor throughput by processing instructions from multiple threads each cycle. This is the first work to explore soft real-time sche...
232
click to vote
KIVS
2001
Springer
15 years 11 months ago
2001
Springer
Ethernet is a widely used low-cost networking technology. It however lacks the determinism and resource management features needed to meet realtime requirements of multimedia appli...
185
Voted
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose an approach to flow-unaware admission control, which is combination with an aggregate packet forwarding scheme, improves scalability of networks while g...
191
Voted
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes how Dynamic WindowConstrained Scheduling (DWCS) can guarantee real-time service to packets from multiple streams with different performance objectives. We sho...