26 search results - page 1 / 6 » Synchronous Modeling and Validation of Priority Inheritance ... |
FASE
2009
Springer
14 years 2 months ago
2009
Springer
ISORC
2002
IEEE
14 years 10 days ago
2002
IEEE
Preemption threshold scheduling (PTS) provides prominent benefits for fixed priority scheduling such as increased schedulability, reduced context switches, and decreased memory re...
RTS
2006
13 years 7 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
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...