510 search results - page 10 / 102 » Runtime Prediction of Real Programs on Real Machines |
124
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
140
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
140
click to vote
ICCL
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
129
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...
155
click to vote
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...