246 search results - page 33 / 50 » A Process Algebra for Real-Time Programs |
117
click to vote
JIRS
2008
14 years 11 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
104
click to vote
CIDR
2003
15 years 1 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
101
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
108
click to vote
TIP
2008
14 years 11 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
106
click to vote
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...