Marc Dahlem

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 6

Top Topics

Answer Set Programming

Existentially Quantified

Optimal Scheduling

Semantics For Logic Programs

Top Venues

Publications

Marc Dahlem, Klaus Schneider
Compiling synchronous languages to optimal move code for exposed datapath architectures. SCOPES (2020)
Marc Dahlem, Ricarda Rahm, Martin Becker
App variants and their impact on mobile architecture: an experience report. SPLC (A) (2019)
Klaus Schneider, Marc Dahlem
Are Synchronous Programs Logic Programs? Principled Software Development (2018)
Marc Dahlem, Anoop Bhagyanath, Klaus Schneider
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. CoRR (2018)
Marc Dahlem, Anoop Bhagyanath, Klaus Schneider
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Theory Pract. Log. Program. 18 (3-4) (2018)
Marc Dahlem, Tripti Jain, Klaus Schneider, Michael Gillmann
Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. LPNMR (2017)
Philipp Diebold, Marc Dahlem
Agile practices in practice: a mapping study. EASE (2014)