Natalia Kalinnik

According to our database, Natalia Kalinnik authored at least 14 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A performance- and energy-oriented extended tuning process for time-step-based scientific applications.

Natalia Kalinnik, Robert Kiesel, Thomas Rauber, Marcel Richter, Gudula Rünger

J. Supercomput., 2021

2018

Exploring Self-Adaptivity Towards Performance and Energy for Time-Stepping Methods.

Natalia Kalinnik, Robert Kiesel, Thomas Rauber, Marcel Richter, Gudula Rünger

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

Execution Behavior Analysis of Parallel Schemes for Implicit Solution Methods for ODEs.

Natalia Kalinnik, Thomas Rauber

Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

On the Autotuning Potential of Time-stepping methods from Scientific Computing.

Natalia Kalinnik, Robert Kiesel, Thomas Rauber, Marcel Richter, Gudula Rünger

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

2015

Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken.

Natalia Kalinnik

PhD thesis, 2015

2014

Online auto-tuning for the time-step-based parallel solution of ODEs on shared-memory systems.

Natalia Kalinnik, Matthias Korch, Thomas Rauber

J. Parallel Distributed Comput., 2014

2013

MAP: Mobile Assistance Platform with a VM Type Selection Ability.

Marvin Ferber, Natalia Kalinnik, Matthias Korch, Andreas Prell, Thomas Rauber, Matthias Witzgall

Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013

2011

Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling (abstracts only).

Natalia Kalinnik, Matthias Korch, Thomas Rauber

SIGMETRICS Perform. Evaluation Rev., 2011

An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type.

Natalia Kalinnik, Matthias Korch, Thomas Rauber

J. Comput. Appl. Math., 2011

Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling.

Natalia Kalinnik, Matthias Korch, Thomas Rauber

Proceedings of the ICPE'11, 2011

2010

Exploiting Different Strategies for the Parallelization of an SMT Solver.

Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

Picoso - A Parallel Interval Constraint Solver.

Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

2008

Propositional approximations for bounded model checking of partial circuit designs.

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer

Proceedings of the 26th International Conference on Computer Design, 2008

Challenges in Constraint-Based Analysis of Hybrid Systems.

Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige

Proceedings of the Recent Advances in Constraints, 2008