3446 search results - page 242 / 690 » A Reasoning Algorithm for pD* |
163
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
260
click to vote
GECCO
2011
Springer
14 years 9 months ago
2011
Springer
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
156
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—We explore distributed mechanisms for maintaining the physical layer connectivity of a mobile wireless network while still permitting significant area coverage. Moreover, we re...
182
click to vote
PLDI
2011
ACM
14 years 8 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
163
click to vote
POPL
2011
ACM
14 years 8 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...