367 search results - page 33 / 74 » Adapting functional programs to higher order logic |
BCS
2008
13 years 10 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. ...
CAV
2004
Springer
14 years 14 days 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...
POPL
2010
ACM
14 years 6 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...
AIPS
2008
13 years 11 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
GLOBECOM
2006
IEEE
14 years 2 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...