762 search results - page 48 / 153 » Conditionally correct superoptimization |
AMAST
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
CISS
2008
IEEE
13 years 12 months ago
2008
IEEE
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Large vocabulary automatic speech recognition (ASR) technologies perform well in known and controlled contexts. In less controlled conditions, however, human review is often neces...
ML
1998
ACM
13 years 9 months ago
1998
ACM
It is well known that prior knowledge or bias can speed up learning, at least in theory. It has proved di cult to make constructive use of prior knowledge, so that approximately c...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Although robot navigation in indoor environments has achieved great success, robots are unable to fully navigate these spaces without the ability to operate elevators, includin...