1539 search results - page 12 / 308 » Is it time for real-time functional programming |
ICPADS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract: The object-oriented (OO) distributed realtime (RT) programming movement started in 1990's and is growing rapidly at this turn of the century. The motivations are rev...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
EUROPAR
1997
Springer
14 years 28 days ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
IPPS
2003
IEEE
14 years 2 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...
ARTS
1999
Springer
14 years 1 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...