C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bi-abductive Resource Invariant Synthesis.
Cristiano Calcagno
Dino Distefano
Viktor Vafeiadis
Published in:
APLAS (2009)
Keyphrases
</>
business intelligence
affine transformation
affine invariant
logic programming
abductive reasoning
program synthesis
resource allocation
resource management
database
resource constraints
probabilistic model
information resources
allocation scheme