Autor der Publikation

Challenges in Constraint-Based Analysis of Hybrid Systems.

, , , und . CSCLP, Volume 5655 von Lecture Notes in Computer Science, Seite 51-65. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Execution Behavior Analysis of Parallel Schemes for Implicit Solution Methods for ODEs., und . ISPDC, Seite 1-8. IEEE, (2018)Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken.. University of Bayreuth, (2015)Exploring Self-Adaptivity Towards Performance and Energy for Time-Stepping Methods., , , , und . SBAC-PAD, Seite 115-123. IEEE, (2018)Online auto-tuning for the time-step-based parallel solution of ODEs on shared-memory systems., , und . J. Parallel Distrib. Comput., 74 (8): 2722-2744 (2014)An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type., , und . J. Computational Applied Mathematics, 236 (3): 394-410 (2011)On the Autotuning Potential of Time-stepping methods from Scientific Computing., , , , und . FedCSIS, Seite 329-338. (2018)Propositional approximations for bounded model checking of partial circuit designs., , , , , , und . ICCD, Seite 52-59. IEEE Computer Society, (2008)Picoso - A Parallel Interval Constraint Solver., , , , und . PDPTA, Seite 473-479. CSREA Press, (2009)Exploiting Different Strategies for the Parallelization of an SMT Solver., , , , und . MBMV, Seite 97-106. Fraunhofer Verlag, (2010)MAP: Mobile Assistance Platform with a VM Type Selection Ability., , , , , und . ICPADS, Seite 448-449. IEEE Computer Society, (2013)