1980 search results - page 94 / 396 » Compositional Model Checking of Real Time Systems |
252
click to vote
RTAS
2011
IEEE
14 years 5 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
147
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
128
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we propose an efficient real-time communication mechanism for distributed vision processing. One of the biggest problems of distributed vision processing, as is the ...
104
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
125
click to vote
PADS
2009
ACM
15 years 8 months ago
2009
ACM
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...