241 search results - page 3 / 49 » Initializing On-line Simulations from the State of a Distrib... |
EMSOFT
2008
Springer
13 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
COMPSAC
1998
IEEE
13 years 10 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
COOPIS
2002
IEEE
13 years 10 months ago
2002
IEEE
Abstract. Peer-to-peer (P2P) applications are composed of a distributed collection of peers that cooperate in order to perform some common task. Though P2P applications have attrac...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...