Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
Simon Thrane HansenCasper ThuleCláudio GomesJaco van de PolMaurizio PalmieriEmin Oguz InciFrederik MadsenJesus AlfonsoJosé Ángel CastellanosJosé Manuel Rodriguez-FortunPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- learning algorithm
- computational cost
- data sets
- simulation model
- classification algorithm
- benchmark datasets
- theoretical analysis
- data structure
- computationally efficient
- data mining techniques
- query processing
- adaptive algorithms
- computational efficiency
- machine learning algorithms
- optimization problems
- database
- multi agent
- face recognition
- image processing
- search engine
- information retrieval
- real world
- real time