Natalia Kalinnik

14 papers B 2C 4Misc 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
A performance- and energy-oriented extended tuning process for time-step-based scientific applications.
J. Supercomput.
Natalia Kalinnik, Robert Kiesel, Thomas Rauber, Marcel Richter, Gudula Rünger
2018 C conf
Execution Behavior Analysis of Parallel Schemes for Implicit Solution Methods for ODEs.
ISPDC
Natalia Kalinnik, Thomas Rauber
2018 C conf
Exploring Self-Adaptivity Towards Performance and Energy for Time-Stepping Methods.
SBAC-PAD
Natalia Kalinnik, Robert Kiesel, Thomas Rauber, Marcel Richter, Gudula Rünger
2018 C conf
On the Autotuning Potential of Time-stepping methods from Scientific Computing.
FedCSIS
Natalia Kalinnik, Robert Kiesel, Thomas Rauber, Marcel Richter, Gudula Rünger
2015 — —
Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken.
Natalia Kalinnik
2014 J jnl
Online auto-tuning for the time-step-based parallel solution of ODEs on shared-memory systems.
J. Parallel Distributed Comput.
Natalia Kalinnik, Matthias Korch, Thomas Rauber
2013 B conf
MAP: Mobile Assistance Platform with a VM Type Selection Ability.
ICPADS
Marvin Ferber, Natalia Kalinnik, Matthias Korch, Andreas Prell, Thomas Rauber, Matthias Witzgall
2011 J jnl
An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type.
J. Comput. Appl. Math.
Natalia Kalinnik, Matthias Korch, Thomas Rauber
2011 J jnl
Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling (abstracts only).
SIGMETRICS Perform. Evaluation Rev.
Natalia Kalinnik, Matthias Korch, Thomas Rauber
2011 B conf
Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling.
ICPE
Natalia Kalinnik, Matthias Korch, Thomas Rauber
2010 — conf
Exploiting Different Strategies for the Parallelization of an SMT Solver.
MBMV
Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
2009 Misc conf
Picoso - A Parallel Interval Constraint Solver.
PDPTA
Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
2008 — conf
Challenges in Constraint-Based Analysis of Hybrid Systems.
CSCLP
Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
2008 C conf
Propositional approximations for bounded model checking of partial circuit designs.
ICCD
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer