722 search results - page 27 / 145 » The State Operator in Real Time Process Algebra |
JLP
2006
14 years 11 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
130
click to vote
RTAS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
101
click to vote
PADS
2009
ACM
15 years 6 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...
100
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
111
click to vote
ICGA
2007
14 years 11 months ago
2007
This article presents a new real-time heuristic search method for planning problems with distinct stages. Our multistage nested rollout algorithm allows the user to apply separate...