[{"year":"2023","publisher":"Heinz Nixdorf Institut, Universität Paderborn","date_created":"2023-07-07T08:15:45Z","title":"Compute Centers I: Heterogeneous Execution Environments","publication":"On-The-Fly Computing -- Individualized IT-services in dynamic markets","file":[{"file_size":2288788,"access_level":"open_access","file_name":"C2-Chapter-SFB-Buch-Final.pdf","file_id":"45894","date_updated":"2023-07-07T11:17:33Z","date_created":"2023-07-07T08:15:35Z","creator":"florida","relation":"main_file","content_type":"application/pdf"}],"ddc":["004"],"language":[{"iso":"eng"}],"has_accepted_license":"1","place":"Paderborn","citation":{"ama":"Hansmeier T, Kenter T, Meyer M, Riebler H, Platzner M, Plessl C. Compute Centers I: Heterogeneous Execution Environments. In: Haake C-J, Meyer auf der Heide F, Platzner M, Wachsmuth H, Wehrheim H, eds. <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>. Vol 412. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Heinz Nixdorf Institut, Universität Paderborn; 2023:165-182. doi:<a href=\"https://doi.org/10.5281/zenodo.8068642\">10.5281/zenodo.8068642</a>","chicago":"Hansmeier, Tim, Tobias Kenter, Marius Meyer, Heinrich Riebler, Marco Platzner, and Christian Plessl. “Compute Centers I: Heterogeneous Execution Environments.” In <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:165–82. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. <a href=\"https://doi.org/10.5281/zenodo.8068642\">https://doi.org/10.5281/zenodo.8068642</a>.","ieee":"T. Hansmeier, T. Kenter, M. Meyer, H. Riebler, M. Platzner, and C. Plessl, “Compute Centers I: Heterogeneous Execution Environments,” in <i>On-The-Fly Computing -- Individualized IT-services in dynamic markets</i>, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 165–182.","apa":"Hansmeier, T., Kenter, T., Meyer, M., Riebler, H., Platzner, M., &#38; Plessl, C. (2023). Compute Centers I: Heterogeneous Execution Environments. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &#38; H. Wehrheim (Eds.), <i>On-The-Fly Computing -- Individualized IT-services in dynamic markets</i> (Vol. 412, pp. 165–182). Heinz Nixdorf Institut, Universität Paderborn. <a href=\"https://doi.org/10.5281/zenodo.8068642\">https://doi.org/10.5281/zenodo.8068642</a>","bibtex":"@inbook{Hansmeier_Kenter_Meyer_Riebler_Platzner_Plessl_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Compute Centers I: Heterogeneous Execution Environments}, volume={412}, DOI={<a href=\"https://doi.org/10.5281/zenodo.8068642\">10.5281/zenodo.8068642</a>}, booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hansmeier, Tim and Kenter, Tobias and Meyer, Marius and Riebler, Heinrich and Platzner, Marco and Plessl, Christian}, editor={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, pages={165–182}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }","short":"T. Hansmeier, T. Kenter, M. Meyer, H. Riebler, M. Platzner, C. Plessl, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 165–182.","mla":"Hansmeier, Tim, et al. “Compute Centers I: Heterogeneous Execution Environments.” <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 165–82, doi:<a href=\"https://doi.org/10.5281/zenodo.8068642\">10.5281/zenodo.8068642</a>."},"intvolume":"       412","page":"165-182","date_updated":"2024-05-02T10:33:00Z","oa":"1","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"},{"first_name":"Tobias","id":"3145","full_name":"Kenter, Tobias","last_name":"Kenter"},{"full_name":"Meyer, Marius","id":"40778","last_name":"Meyer","first_name":"Marius"},{"last_name":"Riebler","id":"8961","full_name":"Riebler, Heinrich","first_name":"Heinrich"},{"first_name":"Marco","last_name":"Platzner","id":"398","full_name":"Platzner, Marco"},{"orcid":"0000-0001-5728-9982","last_name":"Plessl","id":"16153","full_name":"Plessl, Christian","first_name":"Christian"}],"volume":412,"doi":"10.5281/zenodo.8068642","type":"book_chapter","editor":[{"full_name":"Haake, Claus-Jochen","last_name":"Haake","first_name":"Claus-Jochen"},{"first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"},{"last_name":"Platzner","full_name":"Platzner, Marco","first_name":"Marco"},{"full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"status":"public","project":[{"name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ","_id":"1","grant_number":"160364472"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"grant_number":"160364472","name":"SFB 901 - C2: SFB 901 - On-The-Fly Compute Centers I: Heterogene Ausführungsumgebungen (Subproject C2)","_id":"14"}],"_id":"45893","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts","user_id":"398","department":[{"_id":"7"},{"_id":"27"},{"_id":"518"},{"_id":"78"}],"file_date_updated":"2023-07-07T11:17:33Z"},{"department":[{"_id":"78"}],"series_title":"Lecture Notes in Computer Science","user_id":"49992","_id":"30971","project":[{"_id":"4","name":"SFB 901 - C: SFB 901 - Project Area C"},{"_id":"14","name":"SFB 901 - C2: SFB 901 - Subproject C2"},{"_id":"1","name":"SFB 901: SFB 901"}],"type":"conference","status":"public","volume":13224,"author":[{"first_name":"Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","full_name":"Hansmeier, Tim","id":"49992"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"date_updated":"2022-04-28T10:24:18Z","conference":{"name":"25th International Conference on Applications of Evolutionary Computation, EvoApplications 2022","start_date":"2022-04-20","end_date":"2022-04-22","location":"Madrid"},"doi":"10.1007/978-3-031-02462-7_25","publication_identifier":{"isbn":["9783031024610","9783031024627"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","page":"386-401","intvolume":"     13224","citation":{"ieee":"T. Hansmeier and M. Platzner, “Integrating Safety Guarantees into the Learning Classifier System XCS,” in <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, Madrid, 2022, vol. 13224, pp. 386–401, doi: <a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>.","chicago":"Hansmeier, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” In <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, 13224:386–401. Lecture Notes in Computer Science. Springer International Publishing, 2022. <a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">https://doi.org/10.1007/978-3-031-02462-7_25</a>.","ama":"Hansmeier T, Platzner M. Integrating Safety Guarantees into the Learning Classifier System XCS. In: <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>. Vol 13224. Lecture Notes in Computer Science. Springer International Publishing; 2022:386-401. doi:<a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>","apa":"Hansmeier, T., &#38; Platzner, M. (2022). Integrating Safety Guarantees into the Learning Classifier System XCS. <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, <i>13224</i>, 386–401. <a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">https://doi.org/10.1007/978-3-031-02462-7_25</a>","mla":"Hansmeier, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, vol. 13224, Springer International Publishing, 2022, pp. 386–401, doi:<a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>.","bibtex":"@inproceedings{Hansmeier_Platzner_2022, series={Lecture Notes in Computer Science}, title={Integrating Safety Guarantees into the Learning Classifier System XCS}, volume={13224}, DOI={<a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>}, booktitle={Applications of Evolutionary Computation, EvoApplications 2022, Proceedings}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco}, year={2022}, pages={386–401}, collection={Lecture Notes in Computer Science} }","short":"T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401."},"language":[{"iso":"eng"}],"publication":"Applications of Evolutionary Computation, EvoApplications 2022, Proceedings","date_created":"2022-04-28T09:42:33Z","publisher":"Springer International Publishing","title":"Integrating Safety Guarantees into the Learning Classifier System XCS","year":"2022"},{"status":"public","publication":"GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference Companion","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"78"}],"user_id":"477","_id":"33253","project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - C2: SFB 901 - Subproject C2","_id":"14"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"}],"page":"2071-2079","citation":{"mla":"Hansmeier, Tim, et al. “XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion.” <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2022, pp. 2071–79, doi:<a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>.","bibtex":"@inproceedings{Hansmeier_Brede_Platzner_2022, place={New York, NY, United States}, title={XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion}, DOI={<a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>}, booktitle={GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Brede, Mathis and Platzner, Marco}, year={2022}, pages={2071–2079} }","short":"T. Hansmeier, M. Brede, M. Platzner, in: GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2022, pp. 2071–2079.","apa":"Hansmeier, T., Brede, M., &#38; Platzner, M. (2022). XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion. <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 2071–2079. <a href=\"https://doi.org/10.1145/3520304.3533977\">https://doi.org/10.1145/3520304.3533977</a>","chicago":"Hansmeier, Tim, Mathis Brede, and Marco Platzner. “XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion.” In <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 2071–79. New York, NY, United States: Association for Computing Machinery (ACM), 2022. <a href=\"https://doi.org/10.1145/3520304.3533977\">https://doi.org/10.1145/3520304.3533977</a>.","ieee":"T. Hansmeier, M. Brede, and M. Platzner, “XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion,” in <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Boston, MA, USA, 2022, pp. 2071–2079, doi: <a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>.","ama":"Hansmeier T, Brede M, Platzner M. XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion. In: <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. Association for Computing Machinery (ACM); 2022:2071-2079. doi:<a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>"},"year":"2022","place":"New York, NY, United States","publication_status":"published","conference":{"start_date":"2022-07-09","name":"International Workshop on Learning Classifier Systems (IWLCS 2022)","location":"Boston, MA, USA","end_date":"2022-07-13"},"doi":"10.1145/3520304.3533977","title":"XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion","date_created":"2022-09-02T11:47:17Z","author":[{"first_name":"Tim","orcid":"0000-0003-1377-3339","last_name":"Hansmeier","full_name":"Hansmeier, Tim","id":"49992"},{"first_name":"Mathis","last_name":"Brede","full_name":"Brede, Mathis"},{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"}],"date_updated":"2022-11-18T10:13:22Z","publisher":"Association for Computing Machinery (ACM)"},{"date_updated":"2022-11-18T10:03:24Z","publisher":"Association for Computing Machinery (ACM)","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"}],"date_created":"2021-12-27T12:01:02Z","title":"Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS","doi":"10.1145/3468044.3468055","conference":{"location":"Online","end_date":"2021-06-23","start_date":"2021-06-21","name":"International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21)"},"publication_status":"published","place":"New York, NY, United States","year":"2021","citation":{"apa":"Hansmeier, T. (2021). Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS. <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>. International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21), Online. <a href=\"https://doi.org/10.1145/3468044.3468055\">https://doi.org/10.1145/3468044.3468055</a>","short":"T. Hansmeier, in: HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, Association for Computing Machinery (ACM), New York, NY, United States, 2021.","bibtex":"@inproceedings{Hansmeier_2021, place={New York, NY, United States}, title={Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS}, DOI={<a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>}, booktitle={HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim}, year={2021} }","mla":"Hansmeier, Tim. “Self-Aware Operation of Heterogeneous Compute Nodes Using the Learning Classifier System XCS.” <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>, Association for Computing Machinery (ACM), 2021, doi:<a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>.","ama":"Hansmeier T. Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS. In: <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>. Association for Computing Machinery (ACM); 2021. doi:<a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>","chicago":"Hansmeier, Tim. “Self-Aware Operation of Heterogeneous Compute Nodes Using the Learning Classifier System XCS.” In <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>. New York, NY, United States: Association for Computing Machinery (ACM), 2021. <a href=\"https://doi.org/10.1145/3468044.3468055\">https://doi.org/10.1145/3468044.3468055</a>.","ieee":"T. Hansmeier, “Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS,” presented at the International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21), Online, 2021, doi: <a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>."},"_id":"29137","project":[{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901: SFB 901","_id":"1"},{"_id":"14","name":"SFB 901 - C2: SFB 901 - Subproject C2"}],"department":[{"_id":"78"}],"user_id":"477","language":[{"iso":"eng"}],"publication":"HEART '21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies","type":"conference","status":"public"},{"publication_status":"published","publication_identifier":{"isbn":["978-1-4503-8351-6"]},"place":"New York, NY, United States","year":"2021","citation":{"mla":"Hansmeier, Tim, and Marco Platzner. “An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS.” <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2021, pp. 1639–1647, doi:<a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>.","short":"T. Hansmeier, M. Platzner, in: GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2021, pp. 1639–1647.","bibtex":"@inproceedings{Hansmeier_Platzner_2021, place={New York, NY, United States}, title={An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS}, DOI={<a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>}, booktitle={GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Platzner, Marco}, year={2021}, pages={1639–1647} }","apa":"Hansmeier, T., &#38; Platzner, M. (2021). An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS. <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1639–1647. <a href=\"https://doi.org/10.1145/3449726.3463159\">https://doi.org/10.1145/3449726.3463159</a>","ieee":"T. Hansmeier and M. Platzner, “An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS,” in <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Lille, France, 2021, pp. 1639–1647, doi: <a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>.","chicago":"Hansmeier, Tim, and Marco Platzner. “An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS.” In <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1639–1647. New York, NY, United States: Association for Computing Machinery (ACM), 2021. <a href=\"https://doi.org/10.1145/3449726.3463159\">https://doi.org/10.1145/3449726.3463159</a>.","ama":"Hansmeier T, Platzner M. An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS. In: <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. Association for Computing Machinery (ACM); 2021:1639–1647. doi:<a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>"},"page":"1639–1647","publisher":"Association for Computing Machinery (ACM)","date_updated":"2022-09-02T09:42:38Z","date_created":"2021-04-28T09:08:17Z","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"title":"An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS","conference":{"start_date":"2021-07-10","name":"International Workshop on Learning Classifier Systems (IWLCS 2021)","location":"Lille, France","end_date":"2021-07-14"},"doi":"10.1145/3449726.3463159","type":"conference","publication":"GECCO '21: Proceedings of the Genetic and Evolutionary Computation Conference Companion","status":"public","project":[{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subproject C2","_id":"14"}],"_id":"21813","user_id":"49992","department":[{"_id":"78"}],"language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"project":[{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subproject C2","_id":"14"}],"_id":"17063","user_id":"477","department":[{"_id":"78"}],"status":"public","type":"conference","publication":"GECCO '20: Proceedings of the Genetic and Evolutionary Computation Conference Companion","title":"An Adaption Mechanism for the Error Threshold of XCSF","conference":{"name":"International Workshop on Learning Classifier Systems (IWLCS 2020)","start_date":"2020-07-08","end_date":"2020-07-12","location":"Cancún, Mexico"},"doi":"10.1145/3377929.3398106","publisher":"Association for Computing Machinery (ACM)","date_updated":"2022-01-06T06:53:03Z","date_created":"2020-05-27T14:14:58Z","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339"},{"first_name":"Paul","last_name":"Kaufmann","full_name":"Kaufmann, Paul"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"}],"place":"New York, NY, United States","year":"2020","citation":{"apa":"Hansmeier, T., Kaufmann, P., &#38; Platzner, M. (2020). An Adaption Mechanism for the Error Threshold of XCSF. <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1756–1764. <a href=\"https://doi.org/10.1145/3377929.3398106\">https://doi.org/10.1145/3377929.3398106</a>","short":"T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 1756–1764.","mla":"Hansmeier, Tim, et al. “An Adaption Mechanism for the Error Threshold of XCSF.” <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2020, pp. 1756–64, doi:<a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>.","bibtex":"@inproceedings{Hansmeier_Kaufmann_Platzner_2020, place={New York, NY, United States}, title={An Adaption Mechanism for the Error Threshold of XCSF}, DOI={<a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>}, booktitle={GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Kaufmann, Paul and Platzner, Marco}, year={2020}, pages={1756–1764} }","ieee":"T. Hansmeier, P. Kaufmann, and M. Platzner, “An Adaption Mechanism for the Error Threshold of XCSF,” in <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Cancún, Mexico, 2020, pp. 1756–1764, doi: <a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>.","chicago":"Hansmeier, Tim, Paul Kaufmann, and Marco Platzner. “An Adaption Mechanism for the Error Threshold of XCSF.” In <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1756–64. New York, NY, United States: Association for Computing Machinery (ACM), 2020. <a href=\"https://doi.org/10.1145/3377929.3398106\">https://doi.org/10.1145/3377929.3398106</a>.","ama":"Hansmeier T, Kaufmann P, Platzner M. An Adaption Mechanism for the Error Threshold of XCSF. In: <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. Association for Computing Machinery (ACM); 2020:1756-1764. doi:<a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>"},"page":"1756-1764","publication_status":"published","publication_identifier":{"isbn":["978-1-4503-7127-8"]}},{"language":[{"iso":"eng"}],"_id":"16363","project":[{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subproject C2","_id":"14"}],"department":[{"_id":"78"}],"user_id":"477","status":"public","publication":"GECCO '20: Proceedings of the Genetic and Evolutionary Computation Conference Companion","type":"conference","title":"Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold","conference":{"end_date":"2020-07-12","location":"Cancún, Mexico","name":"The Genetic and Evolutionary Computation Conference (GECCO 2020)","start_date":"2020-07-08"},"doi":"10.1145/3377929.3389968","date_updated":"2022-01-06T06:52:49Z","publisher":"Association for Computing Machinery (ACM)","date_created":"2020-04-02T10:07:10Z","author":[{"orcid":"0000-0003-1377-3339","last_name":"Hansmeier","full_name":"Hansmeier, Tim","id":"49992","first_name":"Tim"},{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"year":"2020","place":"New York, NY, United States","page":"125-126","citation":{"ieee":"T. Hansmeier, P. Kaufmann, and M. Platzner, “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold,” in <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Cancún, Mexico, 2020, pp. 125–126.","chicago":"Hansmeier, Tim, Paul Kaufmann, and Marco Platzner. “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold.” In <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 125–26. New York, NY, United States: Association for Computing Machinery (ACM), 2020. <a href=\"https://doi.org/10.1145/3377929.3389968\">https://doi.org/10.1145/3377929.3389968</a>.","ama":"Hansmeier T, Kaufmann P, Platzner M. Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold. In: <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. New York, NY, United States: Association for Computing Machinery (ACM); 2020:125-126. doi:<a href=\"https://doi.org/10.1145/3377929.3389968\">10.1145/3377929.3389968</a>","mla":"Hansmeier, Tim, et al. “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold.” <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2020, pp. 125–26, doi:<a href=\"https://doi.org/10.1145/3377929.3389968\">10.1145/3377929.3389968</a>.","short":"T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 125–126.","bibtex":"@inproceedings{Hansmeier_Kaufmann_Platzner_2020, place={New York, NY, United States}, title={Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold}, DOI={<a href=\"https://doi.org/10.1145/3377929.3389968\">10.1145/3377929.3389968</a>}, booktitle={GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Kaufmann, Paul and Platzner, Marco}, year={2020}, pages={125–126} }","apa":"Hansmeier, T., Kaufmann, P., &#38; Platzner, M. (2020). Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold. In <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i> (pp. 125–126). New York, NY, United States: Association for Computing Machinery (ACM). <a href=\"https://doi.org/10.1145/3377929.3389968\">https://doi.org/10.1145/3377929.3389968</a>"},"publication_identifier":{"isbn":["978-1-4503-7127-8"]},"publication_status":"published"},{"department":[{"_id":"78"}],"user_id":"49992","_id":"12967","language":[{"iso":"eng"}],"publication":"Journal of Signal Processing Systems","type":"journal_article","status":"public","abstract":[{"text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory.","lang":"eng"}],"volume":91,"date_created":"2019-08-26T13:41:57Z","author":[{"first_name":"Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","id":"49992","full_name":"Hansmeier, Tim"},{"first_name":"Marco","last_name":"Platzner","id":"398","full_name":"Platzner, Marco"},{"full_name":"Pantho, Md Jubaer Hossain","last_name":"Pantho","first_name":"Md Jubaer Hossain"},{"last_name":"Andrews","full_name":"Andrews, David","first_name":"David"}],"date_updated":"2022-01-06T06:51:27Z","doi":"10.1007/s11265-018-1435-y","title":"An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology","issue":"11","publication_identifier":{"issn":["1939-8018","1939-8115"]},"publication_status":"published","intvolume":"        91","page":"1259 - 1272","citation":{"ama":"Hansmeier T, Platzner M, Pantho MJH, Andrews D. An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>. 2019;91(11):1259-1272. doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>","ieee":"T. Hansmeier, M. Platzner, M. J. H. Pantho, and D. Andrews, “An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology,” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, pp. 1259–1272, 2019.","chicago":"Hansmeier, Tim, Marco Platzner, Md Jubaer Hossain Pantho, and David Andrews. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i> 91, no. 11 (2019): 1259–72. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>.","bibtex":"@article{Hansmeier_Platzner_Pantho_Andrews_2019, title={An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology}, volume={91}, DOI={<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>}, number={11}, journal={Journal of Signal Processing Systems}, author={Hansmeier, Tim and Platzner, Marco and Pantho, Md Jubaer Hossain and Andrews, David}, year={2019}, pages={1259–1272} }","short":"T. Hansmeier, M. Platzner, M.J.H. Pantho, D. Andrews, Journal of Signal Processing Systems 91 (2019) 1259–1272.","mla":"Hansmeier, Tim, et al. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, 2019, pp. 1259–72, doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>.","apa":"Hansmeier, T., Platzner, M., Pantho, M. J. H., &#38; Andrews, D. (2019). An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>, <i>91</i>(11), 1259–1272. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>"},"year":"2019"},{"title":"Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:52:02Z","author":[{"full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"}],"date_created":"2019-11-05T14:32:46Z","supervisor":[{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"}],"year":"2019","citation":{"short":"T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.","bibtex":"@book{Hansmeier_2019, title={Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2019} }","mla":"Hansmeier, Tim. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","apa":"Hansmeier, T. (2019). <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn.","chicago":"Hansmeier, Tim. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","ieee":"T. Hansmeier, <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","ama":"Hansmeier T. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn; 2019."},"language":[{"iso":"eng"}],"_id":"14546","project":[{"name":"SFB 901 - Subproject C2","_id":"14"},{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901","_id":"1"}],"department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"user_id":"477","status":"public","type":"mastersthesis"},{"title":"An FPGA/HMC-Based Accelerator for Resolution Proof Checking","publisher":"Springer International Publishing","date_created":"2018-06-27T09:30:24Z","year":"2018","ddc":["000"],"language":[{"iso":"eng"}],"abstract":[{"text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory.","lang":"eng"}],"file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":612367,"file_id":"5257","file_name":"AnFPGAHMC-BasedAcceleratorForR.pdf","access_level":"closed","date_updated":"2018-11-02T13:55:07Z","creator":"ups","date_created":"2018-11-02T13:55:07Z"}],"publication":"ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications","doi":"10.1007/978-3-319-78890-6_13","conference":{"start_date":"2018-05-02","name":"ARC: International Symposium on Applied Reconfigurable Computing","location":"Santorini, Greece","end_date":"2018-05-04"},"date_updated":"2022-01-06T06:59:13Z","volume":10824,"author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"},{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"},{"first_name":"David","last_name":"Andrews","full_name":"Andrews, David"}],"intvolume":"     10824","page":"153-165","citation":{"ieee":"T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, Santorini, Greece, 2018, vol. 10824, pp. 153–165.","chicago":"Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>.","ama":"Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>","apa":"Hansmeier, T., Platzner, M., &#38; Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i> (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>","mla":"Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>.","bibtex":"@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }","short":"T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165."},"has_accepted_license":"1","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319788890","9783319788906"]},"publication_status":"published","file_date_updated":"2018-11-02T13:55:07Z","_id":"3373","project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"78"}],"user_id":"3118","series_title":"Lecture Notes in Computer Science","status":"public","type":"conference"},{"supervisor":[{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"date_created":"2018-07-20T13:44:34Z","author":[{"full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:25Z","title":"An FPGA Accelerator for Checking Resolution Proofs","citation":{"apa":"Hansmeier, T. (2017). <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn.","mla":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","short":"T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.","bibtex":"@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }","ama":"Hansmeier T. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn; 2017.","ieee":"T. Hansmeier, <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","chicago":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017."},"year":"2017","department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"user_id":"3118","_id":"3580","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"language":[{"iso":"eng"}],"type":"bachelorsthesis","status":"public"}]