Login / Signup
Resources Description, Selection, Reservation and Verification on a Large-Scale Testbed.
David Margery
Emile Morel
Lucas Nussbaum
Olivier Richard
Cyril Rohr
Published in:
TRIDENTCOM (2014)
Keyphrases
</>
small scale
information resources
model checking
limited resources
high level
resource allocation
data sets
resource management
real time
formal verification
real world
web resources
asynchronous circuits
resource consumption
formal analysis
face verification
selection algorithm
multi agent
neural network
databases