367 search results - page 33 / 74 » Adapting functional programs to higher order logic |
107
Voted
BCS
2008
15 years 2 months ago
2008
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...
132
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
112
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
103
click to vote
AIPS
2008
15 years 2 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
96
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
: To improve downlink packet throughput, the base schedules a mobile when its signal to interference ratio is higher than on average. The mobiles measure downlink pilots from the s...