3991 search results - page 302 / 799 » Bounding homogeneous models |
166
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
216
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
173
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
169
click to vote
OPODIS
2007
15 years 8 months ago
2007
In Sensor Networks, the lack of topology information and the availability of only one communication channel has led research work to the use of randomization to deal with collisio...
147
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We are exploring the differences between expert and less expert tutors with two goals: cognitive (what does tutoring tell us about learning) and applied (which features of tutorin...