Sciweavers

1782 search results - page 170 / 357
» Dynamics based control with PSRs
Sort
View
103
Voted
ICRA
2010
IEEE
92views Robotics» more  ICRA 2010»
15 years 2 months ago
Spatiotemporal path planning in strong, dynamic, uncertain currents
Abstract— This work addresses mission planning for autonomous underwater gliders based on predictions of an uncertain, time-varying current eld. Glider submersibles are highly se...
David R. Thompson, Steve Chien, Yi Chao, Peggy Li,...
121
Voted
IEEEHPCS
2010
15 years 2 months ago
No more crash or crunch: Sustainable credit dynamics in a P2P community
Abstract—Many peer-to-peer file sharing communities implement credit policies to incentivise users to contribute upload resources. Such policies implicitly assume a user model -...
Rameez Rahman, David Hales, Tamas Vinko, Johan A. ...
135
Voted
TAICPART
2010
IEEE
133views Education» more  TAICPART 2010»
15 years 1 months ago
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
Frank Eichinger, Victor Pankratius, Philipp W. L. ...
DLS
2005
176views Languages» more  DLS 2005»
15 years 5 months ago
Dynamic data polyvariance using source-tagged classes
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
S. Alexander Spoon, Olin Shivers
121
Voted
FOSSACS
2004
Springer
15 years 9 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida