Travelled to:2 × France
Collaborated with:M.Shalan M.Safar A.Salem A.Patel M.Daftedar
Talks about:reconfigur (2) solver (2) sat (2) hypervisor (1) interact (1) conflict (1) present (1) pipelin (1) analysi (1) xvisor (1)
Person: M. Watheq El-Kharashi
DBLP: El-Kharashi:M=_Watheq
Contributed to:
2015
20112007Wrote 3 papers:
- PDP-2015-PatelDSE #analysis #comparative #embedded
- Embedded Hypervisor Xvisor: A Comparative Analysis (AP, MD, MS, MWEK), pp. 682–691.
- DATE-2011-SafarESS #configuration management #pipes and filters #satisfiability
- A reconfigurable, pipelined, conflict directed jumping search SAT solver (MS, MWEK, MS, AS), pp. 1243–1248.
- DATE-2007-SafarSES #configuration management #interactive #satisfiability
- Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver (MS, MS, MWEK, AS), pp. 153–158.