8294 search results - page 1029 / 1659 » Presenting Data from Experiments in Algorithmics |
189
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...
169
click to vote
AIPS
2010
15 years 9 months ago
2010
Anytime search algorithms solve optimisation problems by quickly finding a usually suboptimal solution and then finding improved solutions when given additional time. To deliver a...
193
click to vote
ACL
1997
15 years 8 months ago
1997
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
182
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
174
click to vote
JSC
2010
15 years 5 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...