10707 search results - page 535 / 2142 » Designing executable abstractions |
154
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
179
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
206
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
183
click to vote
FUIN
2007
15 years 7 months ago
2007
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
185
click to vote
JMLR
2010
15 years 5 months ago
2010
A new algorithm for building decision tree classifiers is proposed. The algorithm is executed in a distributed environment and is especially designed for classifying large datase...