M. Ammar Ben Khadra

According to our database1, M. Ammar Ben Khadra authored at least 6 papers between 2014 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
An introduction to approximate computing.
CoRR, 2017

E3Solver: decision tree unification by enumeration.
CoRR, 2017

Speculative disassembly of binary code.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

goSAT: Floating-point satisfiability as global optimization.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2014
High level modeling of elastic circuits in SystemC.
Proceedings of the 2014 Spring Simulation Multiconference, 2014

Synthesis of Distributed Synchronous Specifications to SysteMoC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014


  Loading...