Published in: OASIcs, Volume 107, 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023)
Marcel Mettler, Martin Rapp, Heba Khdr, Daniel Mueller-Gritschneder, Jörg Henkel, and Ulf Schlichtmann. MonTM: Monitoring-Based Thermal Management for Mixed-Criticality Systems. In 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023). Open Access Series in Informatics (OASIcs), Volume 107, pp. 5:1-5:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{mettler_et_al:OASIcs.PARMA-DITAM.2023.5, author = {Mettler, Marcel and Rapp, Martin and Khdr, Heba and Mueller-Gritschneder, Daniel and Henkel, J\"{o}rg and Schlichtmann, Ulf}, title = {{MonTM: Monitoring-Based Thermal Management for Mixed-Criticality Systems}}, booktitle = {14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023)}, pages = {5:1--5:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-269-3}, ISSN = {2190-6807}, year = {2023}, volume = {107}, editor = {Bispo, Jo\~{a}o and Charles, Henri-Pierre and Cherubin, Stefano and Massari, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2023.5}, URN = {urn:nbn:de:0030-drops-177250}, doi = {10.4230/OASIcs.PARMA-DITAM.2023.5}, annote = {Keywords: Dynamic thermal management, mixed-criticality, monitoring} }
Published in: LIPIcs, Volume 180, 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)
Max Bannach, Sebastian Berndt, Martin Schuster, and Marcel Wienöbst. PACE Solver Description: Fluid. In 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 180, pp. 27:1-27:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{bannach_et_al:LIPIcs.IPEC.2020.27, author = {Bannach, Max and Berndt, Sebastian and Schuster, Martin and Wien\"{o}bst, Marcel}, title = {{PACE Solver Description: Fluid}}, booktitle = {15th International Symposium on Parameterized and Exact Computation (IPEC 2020)}, pages = {27:1--27:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-172-6}, ISSN = {1868-8969}, year = {2020}, volume = {180}, editor = {Cao, Yixin and Pilipczuk, Marcin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2020.27}, URN = {urn:nbn:de:0030-drops-133300}, doi = {10.4230/LIPIcs.IPEC.2020.27}, annote = {Keywords: treedepth, heuristics} }
Published in: LIPIcs, Volume 180, 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)
Max Bannach, Sebastian Berndt, Martin Schuster, and Marcel Wienöbst. PACE Solver Description: PID^⋆. In 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 180, pp. 28:1-28:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{bannach_et_al:LIPIcs.IPEC.2020.28, author = {Bannach, Max and Berndt, Sebastian and Schuster, Martin and Wien\"{o}bst, Marcel}, title = {{PACE Solver Description: PID^⋆}}, booktitle = {15th International Symposium on Parameterized and Exact Computation (IPEC 2020)}, pages = {28:1--28:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-172-6}, ISSN = {1868-8969}, year = {2020}, volume = {180}, editor = {Cao, Yixin and Pilipczuk, Marcin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2020.28}, URN = {urn:nbn:de:0030-drops-133312}, doi = {10.4230/LIPIcs.IPEC.2020.28}, annote = {Keywords: treedepth, positive-instance driven} }
Published in: LIPIcs, Volume 173, 28th Annual European Symposium on Algorithms (ESA 2020)
Man-Kwun Chiu, Matias Korman, Martin Suderland, and Takeshi Tokuyama. Distance Bounds for High Dimensional Consistent Digital Rays and 2-D Partially-Consistent Digital Rays. In 28th Annual European Symposium on Algorithms (ESA 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 173, pp. 34:1-34:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{chiu_et_al:LIPIcs.ESA.2020.34, author = {Chiu, Man-Kwun and Korman, Matias and Suderland, Martin and Tokuyama, Takeshi}, title = {{Distance Bounds for High Dimensional Consistent Digital Rays and 2-D Partially-Consistent Digital Rays}}, booktitle = {28th Annual European Symposium on Algorithms (ESA 2020)}, pages = {34:1--34:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-162-7}, ISSN = {1868-8969}, year = {2020}, volume = {173}, editor = {Grandoni, Fabrizio and Herman, Grzegorz and Sanders, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2020.34}, URN = {urn:nbn:de:0030-drops-129002}, doi = {10.4230/LIPIcs.ESA.2020.34}, annote = {Keywords: Consistent Digital Line Segments, Digital Geometry, Discrepancy} }
Published in: OASIcs, Volume 34, German Conference on Bioinformatics 2013
Marcel Martin and Sven Rahmann. Aligning Flowgrams to DNA Sequences. In German Conference on Bioinformatics 2013. Open Access Series in Informatics (OASIcs), Volume 34, pp. 125-135, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{martin_et_al:OASIcs.GCB.2013.125, author = {Martin, Marcel and Rahmann, Sven}, title = {{Aligning Flowgrams to DNA Sequences}}, booktitle = {German Conference on Bioinformatics 2013}, pages = {125--135}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-59-0}, ISSN = {2190-6807}, year = {2013}, volume = {34}, editor = {Bei{\ss}barth, Tim and Kollmar, Martin and Leha, Andreas and Morgenstern, Burkhard and Schultz, Anne-Kathrin and Waack, Stephan and Wingender, Edgar}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2013.125}, URN = {urn:nbn:de:0030-drops-42379}, doi = {10.4230/OASIcs.GCB.2013.125}, annote = {Keywords: flowgram, sequencing, alignment algorithm, scoring scheme} }
Feedback for Dagstuhl Publishing