1392 search results - page 173 / 279 » A Calculus for Dynamic Linking |
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
IPSN
2007
Springer
14 years 4 months ago
2007
Springer
We propose modeling environmental noise in order to efficiently and accurately simulate wireless packet delivery. We measure noise traces in many different environments and propo...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
—This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) for characterization of molecular elastic joints for bio nanorobotic prototyping. Simp...
ICAC
2005
IEEE
14 years 3 months ago
2005
IEEE
NASA increasingly relies on autonomous systems concepts, not only in the mission control centers on the ground, but also on spacecraft, on rovers and other assets on extraterrestr...