10051 search results - page 187 / 2011 » A Dynamic Separator Algorithm |
152
click to vote
PERCOM
2006
ACM
15 years 5 months ago
2006
ACM
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
174
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
142
click to vote
INTERNET
2007
15 years 4 months ago
2007
Distributed computing has been slow to benefit from the productivity revolution that has transformed the desktop. We still treat the Web as a separate technology space: programmer...
114
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper proposes a motion duplication control scheme, which not only synchronizes motions between two distributed separate dynamic systems but also perfectly preserves presc...
128
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper a dynamic contact model is presented based on the Johnson-Kendall-Roberts (JKR) theory. The classical JKR model captures the contact properties for the quasi-stat...