Sign in
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.
Simon Thrane Hansen
Cláudio Gomes
Maurizio Palmieri
Casper Thule
Jaco van de Pol
Jim Woodcock
Published in:
FMICS (2021)
Keyphrases
</>
learning algorithm
data structure
computationally efficient
times faster
linear algebra
database
computational cost
model checking
adaptive algorithms
database systems
computational complexity
significant improvement
orders of magnitude
computationally expensive
recently developed