112 search results - page 15 / 23 » Efficient execution in an automated reasoning environment |
98
Voted
UAI
2008
14 years 11 months ago
2008
An efficient policy search algorithm should estimate the local gradient of the objective function, with respect to the policy parameters, from as few trials as possible. Whereas m...
88
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
JNW
2008
14 years 9 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
102
Voted
CODES
1998
IEEE
15 years 1 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
PROMISE
2010
14 years 4 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...