Sciweavers

20126 search results - page 256 / 4026
» Timed Transition Systems
Sort
View
ECRTS
2003
IEEE
15 years 9 months ago
Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms
1 : The ongoing revision of the POSIX.13 standard —real-time profiles for portable operating system interfaces— proposes adding new services to the Minimum RealTime System Prof...
Mario Aldea Rivas, Michael González Harbour
COMCOM
2002
112views more  COMCOM 2002»
15 years 4 months ago
Decoupling different time scales of network QoS systems
Providing quality of service (QoS) in large-scale networks like the Internet inherently needs to deal with heterogeneous network QoS systems. Therefore, the interworking between d...
Jens Schmitt, Oliver Heckmann, Martin Karsten, Ral...
111
Voted
CDC
2010
IEEE
152views Control Systems» more  CDC 2010»
14 years 11 months ago
Asymptotic achievability for linear time invariant state space systems
Abstract-- We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired syste...
Harsh Vinjamoor, Arjan van der Schaft
RTCSA
2005
IEEE
15 years 10 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
145
Voted
EMSOFT
2006
Springer
15 years 8 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing