14403 search results - page 306 / 2881 » Dynamical Systems Trees |
167
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
176
click to vote
CLUSTER
2007
IEEE
16 years 28 days ago
2007
IEEE
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...
148
click to vote
IEEESCC
2006
IEEE
16 years 18 days ago
2006
IEEE
SOA provides a flexible framework for betterintegrated systems that meet business needs. However, the existing methods are not successful in helping business analysts to devise ap...
171
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
170
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We are trying to induce a quadruped robot to walk dynamically on irregular terrain by using a neural system model. In this paper, we integrate several reflexes such as stretch ref...