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