1205 search results - page 83 / 241 » Program Extraction from Large Proof Developments |
134
click to vote
ICPP
1996
IEEE
15 years 8 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
144
click to vote
PPOPP
2012
ACM
14 years 7 days ago
2012
ACM
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...
144
click to vote
CADE
2007
Springer
15 years 11 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
151
click to vote
PADL
2000
Springer
15 years 8 months ago
2000
Springer
The general goal of data mining is to extract interesting correlated information from large collection of data. A key computationally-intensive subproblem of data mining involves ...
165
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper presents a vision based method for grasp classification. It is developed as part of a Programming by Demonstration (PbD) system for which recognition of objects and...