1392 search results - page 37 / 279 » A Calculus for Dynamic Linking |
NIPS
2001
13 years 10 months ago
2001
Reaching movements require the brain to generate motor commands that rely on an internal model of the task's dynamics. Here we consider the errors that subjects make early in...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents three feedback controllers that achieve an asymptotically stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a torso, revolute knees, ...
HPCA
2005
IEEE
14 years 2 months ago
2005
IEEE
As microprocessors become increasingly interconnected, the power consumed by the interconnection network can no longer be ignored. Moreover, with demand for link bandwidth increas...
ENTCS
2008
13 years 9 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
On-demand routing protocols use route caches to make routing decisions. Due to frequent topology changes, cached routes easily become stale. To address the cache staleness issue i...