11716 search results - page 242 / 2344 » Computable symbolic dynamics |
150
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
The paper presents and evaluates a set of local dynamic load balancing strategies inspired to diffusion and characterised by different scopes of locality. The paper shows that poli...
169
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
165
click to vote
STACS
2000
Springer
15 years 10 months ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
196
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
A dynamic simulation package has been developed which can accurately model the interactions between robots and their environment. It creates a virtual environment in which various...
205
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
At Eurocrypt 2009 Aggarwal and Maurer proved that breaking RSA is equivalent to factoring in the generic ring model. This model captures algorithms that may exploit the full algeb...