Automatic Optimizations for Stream-Based Monitoring Languages
Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian
Published in Runtime Verification (2020)
Published in Runtime Verification (2020)
Get full text
Book Chapter
Automatic Optimizations for Stream-based Monitoring Languages
Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian
Published in arXiv.org (26.11.2020)
Published in arXiv.org (26.11.2020)
Get full text
Paper
Journal Article
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation
Müller, André, Schmidt, Bertil, Hildebrandt, Andreas, Membarth, Richard, Leißa, Roland, Kruse, Matthis, Hack, Sebastian
Published in arXiv.org (11.02.2020)
Published in arXiv.org (11.02.2020)
Get full text
Paper
Journal Article
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation
Muller, Andre, Schmidt, Bertil, Hildebrandt, Andreas, Membarth, Richard, Leisa, Roland, Kruse, Matthis, Hack, Sebastian
Published in 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (01.05.2020)
Published in 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (01.05.2020)
Get full text
Conference Proceeding