Login / Signup
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques.
Maha Boussabbeh
Mohamed Tounsi
Ahmed Hadj Kacem
Mohamed Mosbah
Published in:
SCSS (2017)
Keyphrases
</>
computational cost
recently developed
learning algorithm
data structure
step wise
theoretical analysis
graph theory
computational complexity
optimization problems
distributed systems
computationally efficient
information processing
computational efficiency
development process
distributed computation