285 search results - page 41 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
104
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
HPCN
2000
Springer
15 years 3 months ago
2000
Springer
Data futures in a metacomputing system refer to data products that have not yet been created but which can be uniquely named and manipulated. We employ data flow mechanisms expres...
116
click to vote
IWMM
2007
Springer
15 years 5 months ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
104
click to vote
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
108
click to vote
CPHYSICS
2006
14 years 11 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...