3218 search results - page 146 / 644 » Timed Extensions for SDL |
106
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
105
click to vote
CONCUR
1990
Springer
15 years 8 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
144
click to vote
IANDC
2007
15 years 4 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
144
click to vote
MAM
2008
15 years 4 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
155
Voted
TIM
2010
14 years 11 months ago
2010
A distributed telerobotic system is proposed based on a master-arm station that is interconnected by a computer network to a slave-arm station. The distributed telerobotic system i...