Sign in
Verification of clock synchronization algorithms: experiments on a combination of deductive tools.
Damián Barsotti
Leonor Prensa Nieto
Alwen Tiu
Published in:
Formal Aspects Comput. (2007)
Keyphrases
</>
learning algorithm
user friendly
optimization problems
times faster
orders of magnitude
data structure
significant improvement
computational complexity
machine learning algorithms
end users
case study
real time
learning environment
database systems
machine learning
combinatorial optimization
neural network