475 search results - page 44 / 95 » Formal Analysis of Processor Timing Models |
144
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
161
click to vote
RTAS
1997
IEEE
15 years 7 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
134
click to vote
RTSS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
155
click to vote
ADAEUROPE
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
112
click to vote
SIGMETRICS
2000
ACM
15 years 3 months ago
2000
ACM
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...