11436 search results - page 148 / 2288 » Modeling Real Reasoning |
186
click to vote
ARTS
1999
Springer
15 years 10 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...
309
click to vote
FDL
2004
IEEE
15 years 10 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...
148
click to vote
NETWORKING
2004
15 years 7 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 ...
177
click to vote
ECRTS
2008
IEEE
16 years 28 days 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...
164
click to vote
FMCAD
2007
Springer
16 years 19 days 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...