13591 search results - page 81 / 2719 » On the Implementation of Dynamic Evaluation |
146
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
120
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— As we progress towards a world where robots play an integral role in society, a critical problem that remains to be solved is the Pickup Team Challenge; that is, dynamically fo...
141
click to vote
GRID
2004
Springer
15 years 10 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
141
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
166
click to vote
HOTSWUP
2009
ACM
15 years 8 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...