355 search results - page 29 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
133
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
176
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
148
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
151
Voted
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...
168
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...