Daniel Schemmel

Floating-point symbolic execution: A case study in N-version programming

Daniel Liew, Daniel Schemmel, Cristian Cadar et al. · 2017 · 39 citations

Program Checking, Engineering, Compiler Technology +18

Multi-level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs

Georg Kunz, Daniel Schemmel, James Gross et al. · 2012 · 23 citations · Full text

Cluster Computing, Engineering, Gpu Benchmarking +19

SymPerf

Felix Rath, Johannes Krude, Jan Rüth et al. · 2017 · 21 citations · Full text

Engineering, Computer Architecture, Network Analysis +16

Automated Memoization for Parameter Studies Implemented in Impure Languages

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann et al. · 2016 · 10 citations · Full text

Engineering, Software Engineering, Simulation +26

On Automated Memoization in the Field of Simulation Parameter Studies

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann et al. · ACM Transactions on Modeling and Computer Simulation · 2018 · 10 citations

Engineering, Direct Numerical Simulation, Monte Carlo Methods +27