Ahmad Tarraf

According to our database, Ahmad Tarraf authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Malleability in Modern HPC Systems: Current Experiences, Challenges, and Future Opportunities.

Ahmad Tarraf, Martin Schreiber, Alberto Cascajo, Jean-Baptiste Besnard, Marc-André Vef, Dominik Huber, Sonja Happ, André Brinkmann, David E. Singh, Hans-Christian Hoppe, Alberto Miranda, Antonio J. Peña, Rui Machado, Marta Garcia-Gasulla, Martin Schulz, Paul M. Carpenter, Simon Pickartz, Tiberiu Rotaru, Sergio Iserte, Víctor López, Jorge Ejarque, Heena Sirwani, Jesús Carretero, Felix Wolf

IEEE Trans. Parallel Distributed Syst., September, 2024

Capturing Periodic I/O Using Frequency Techniques.

Ahmad Tarraf, Alexis Bandet, Francieli Boito, Guillaume Pallez, Felix Wolf

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

2023

FTIO: Detecting I/O Periodicity Using Frequency Techniques.

Ahmad Tarraf, Alexis Bandet, Francieli Boito, Guillaume Pallez, Felix Wolf

CoRR, 2023

Towards Smarter Schedulers: Molding Jobs into the Right Shape via Monitoring and Modeling.

Jean-Baptiste Besnard, Ahmad Tarraf, Clément Barthélemy, Alberto Cascajo, Emmanuel Jeannot, Sameer Shende, Felix Wolf

Proceedings of the High Performance Computing, 2023

2022

Conquering Noise With Hardware Counters on HPC Systems.

Marcus Ritter, Ahmad Tarraf, Alexander Geiß, Nour Daoud, Bernd Mohr, Felix Wolf

Proceedings of the IEEE/ACM Workshop on Programming and Performance Visualization Tools, 2022

2021

Formal abstraction and verification of analog circuits

Ahmad Tarraf

PhD thesis, 2021

Towards Compositional Abstraction of Analog Neuronal Networks.

Ahmad Tarraf, Lars Hedrich

Proceedings of the 11th IEEE Annual Computing and Communication Workshop and Conference, 2021

2020

From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction.

Ahmad Tarraf, Lars Hedrich

it Inf. Technol., 2020

Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.

Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices.

Ahmad Tarraf, Lars Hedrich

Proceedings of the 16th International Conference on Synthesis, 2019

Multi-agent Learning for Energy-Aware Placement of Autonomous Vehicles.

Ömer Ibrahim Erduran, Mirjam Minor, Lars Hedrich, Ahmad Tarraf, Frederik Ruehl, Hans Schroth

Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata.

Ahmad Tarraf, Lars Hedrich

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019