Not finding it? Sign in to also search OpenAlex live.
-
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites - Measurement Data2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access
Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +3 more
1citations -
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites - Measurement Data2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access
Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +3 more
0citations -
A Mott Insulator-Based Oscillator Circuit for Reservoir Computing2020 IEEE International Symposium on Circuits and Systems proceedings conference-paper Computer Science Neural Networks and Reservoir Computing
Wen Ma, Tyler Hennen, Martin Lueker-Boden, Rick Galbraith, Jonas Goode, Won Ho Choi, +5 more
11citations -
MDE for Machine Learning-Enabled Software Systems: A Case Study and Comparison of MontiAnna & ML-Quadrat2022 CentAUR (University of Reading) book-chapter Computer Science Model-Driven Software Engineering Techniques Open access
Jörg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz, Bernhard Rumpe⋆, Armin Moin, Atta Badii, +2 more
3citations -
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
A Constructive Review on Pedestrian Action Detection, Recognition and Prediction2022 International Conference on Computing Advancements (ICCA) conference-paper Computer Science Human Pose and Action Recognition
Md. Akib Shahriar Khan, Md Jannatul Baki Showmik, Tanvir Ahmed, A F M Saifuddin Saif
1citations -
Purification-based quantum error mitigation of pair-correlated electron simulations2023 Nature Physics article Computer Science Quantum Computing Algorithms and Architecture Open access
Thomas E. O’Brien, Gian-Luca Anselmetti, Fotios Gkritsis, Vincent E. Elfving, Stefano Polla, William J. Huggins, +91 more
73citations -
Protecting quantum entanglement from leakage and qubit errors via repetitive parity measurements2020 Science Advances article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 2 patents
Cornelis Christiaan Bultink, Thomas E. O’Brien, René Vollmer, Nandini Muthusubramanian, Marc Beekman, M. A. Rol, +6 more
66citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
A Modular Workflow for Performance Benchmarking of Neuronal Network Simulations2022 Frontiers in Neuroinformatics article Computer Science Parallel Computing and Optimization Techniques Open access
Jasper Albers, Jari Pronold, Anno Christopher Kurth, Stine Brekke Vennemo, Kaveh Haghighi Mood, Alexander Patronis, +6 more
15citations