2850 search results - page 89 / 570 » On Timed Models and Full Abstraction |
153
click to vote
IWANN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a comparison between direct and recursive prediction strategies. In order to perform the input selection, an approach based on mutual information is u...
172
click to vote
ICESS
2004
Springer
15 years 11 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
162
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
179
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
178
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
Large-scale distributed computing systems such as grids are serving a growing number of scientists. These environments bring about not only the advantages of an economy of scale, ...