3468 search results - page 30 / 694 » An open logical framework |
FIA
2011
14 years 3 months ago
2011
237
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
151
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
123
Voted
CRV
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an original framework for evolving a vision-based mobile robot controller using genetic programming. This framework is built on the Open BEAGLE framework for t...
135
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...