Habib Saissi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Neeraj Suri
9 publications
Marco Serafini
7 publications
Péter Bokor
2 publications
Patrick Metzler
1 publication

research

∙ 09/06/2018

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints

Automated software verification of concurrent programs is challenging be...

0 Patrick Metzler, et al. ∙

research

∙ 04/05/2018

Scaling Out Acid Applications with Operation Partitioning

OLTP applications with high workloads that cannot be served by a single ...

0 Habib Saissi, et al. ∙