11436 search results - page 148 / 2288 » Modeling Real Reasoning |
134
click to vote
ARTS
1999
Springer
15 years 7 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...
221
click to vote
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
100
click to vote
NETWORKING
2004
15 years 4 months ago
2004
Having in mind that real-time streams tolerate some deadline misses according to (m,k)-firm constraints [1], this paper presents a solution that consists in integrating (m,k)-firm ...
132
click to vote
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
131
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...