3056 search results - page 486 / 612 » Compiling Embedded Languages |
155
Voted
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
165
click to vote
RTAS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present Chocolate, a reservation-based Real-Time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging RealTime Ja...
166
click to vote
ESTIMEDIA
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
129
Voted
RTAS
1997
IEEE
15 years 8 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
173
click to vote
ENTCS
2006
15 years 5 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...