Login / Signup
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
Frank S. de Boer
Mario Bravetti
Immo Grabe
Matias David Lee
Martin Steffen
Gianluigi Zavattaro
Published in:
FACS (2012)
Keyphrases
</>
static analysis
statistical analysis
artificial intelligence
case study
quantitative analysis
neural network
machine learning
data analysis
image retrieval
d objects
single image
distributed databases
object segmentation