Login / Signup
Register Allocation by Proof Transformation.
Atsushi Ohori
Published in:
ESOP (2003)
Keyphrases
</>
resource allocation
mathematical proofs
optimal allocation
resource allocation problems
databases
neural network
similarity measure
theorem prover
allocation scheme
allocation problems
geometry theorem proving
fukunaga koontz