Husam Abu-Haimed

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 2

Top Topics

Simple Temporal

Quantified Boolean Formulae

Autonomous Driving

Hough Transform

Top Venues

Publications

Jing Zhu, Yi Fang, Husam Abu-Haimed, Kuo-Chin Lien, Dongdong Fu, Junli Gu
Learning Object-specific Distance from a Monocular Image. CoRR (2019)
Cong Hao, Junli Gu, Deming Chen, Atif Sarwari, Zhijie Jin, Husam Abu-Haimed, Daryl Sew, Yuhong Li, Xinheng Liu, Bryan Wu, Dongdong Fu
A Hybrid GPU + FPGA System Design for Autonomous Driving Cars. SiPS (2019)
Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. SAT (2014)
Husam Abu-Haimed, David L. Dill, Sergey Berezin
A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. FMCAD (2006)
Husam Abu-Haimed, Sergey Berezin, David L. Dill
Semi-formal Verification of Memory Systems by Symbolic Simulation. CHARME (2003)
Husam Abu-Haimed, Sergey Berezin, David L. Dill
Strengthening Invariants by Symbolic Consistency Testing. CAV (2003)
Mayez A. Al-Mouhamed, Husam Abu-Haimed
Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. Int. J. Parallel Program. 29 (4) (2001)
Mayez A. Al-Mouhamed, Husam Abu-Haimed
Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. PDPTA (2000)
Mayez A. Al-Mouhamed, Lubomir F. Bic, Husam Abu-Haimed
A compiler transformation to improve memory access time in SIMD systems. IEEE PACT (1996)
Mayez Al-Mouhamed, Lubomir Bic, Husam Abu-Haimed
A compiler address transformation for conflict-free access of memories and networks. SPDP (1996)