Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Matthis Kruse"'
Autor:
Roland Leißa, Bertil Schmidt, Richard Membarth, André Müller, Matthis Kruse, Sebastian Hack, Andreas Hildebrandt
Publikováno v:
IPDPS
Sequence alignments are fundamental to bioinformatics which has resulted in a variety of optimized implementations. Unfortunately, the vast majority of them are hand-tuned and specific to certain architectures and execution models. This not only make
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a831caf352cd9887ad0ca5bc902a310f
http://arxiv.org/abs/2002.04561
http://arxiv.org/abs/2002.04561
Publikováno v:
Runtime Verification-20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Runtime Verification ISBN: 9783030605070
RV
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Runtime Verification
Runtime Verification ISBN: 9783030605070
RV
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Runtime Verification
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::897de805e761cf4c3f36cb831f8a9cc1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030605070
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a39c83858ac0c08c26d0cfafbc778fca
https://doi.org/10.1007/978-3-030-60508-7
https://doi.org/10.1007/978-3-030-60508-7