Husam Abu-Haimed

According to our database, Husam Abu-Haimed authored at least 9 papers between 1996 and 2019.

Collaborative distances:

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

2019

Learning Object-specific Distance from a Monocular Image.

Jing Zhu, Yi Fang, Husam Abu-Haimed, Kuo-Chin Lien, Dongdong Fu, Junli Gu

CoRR, 2019

A Hybrid GPU + FPGA System Design for Autonomous Driving Cars.

Cong Hao, Junli Gu, Deming Chen, Atif Sarwari, Zhijie Jin, Husam Abu-Haimed, Daryl Sew, Yuhong Li, Xinheng Liu, Bryan Wu, Dongdong Fu

Proceedings of the 2019 IEEE International Workshop on Signal Processing Systems, 2019

2014

Dominant Controllability Check Using QBF-Solver and Netlist Optimizer.

Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2006

A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.

Husam Abu-Haimed, David L. Dill, Sergey Berezin

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2003

Semi-formal Verification of Memory Systems by Symbolic Simulation.

Husam Abu-Haimed, Sergey Berezin, David L. Dill

Proceedings of the Correct Hardware Design and Verification Methods, 2003

Strengthening Invariants by Symbolic Consistency Testing.

Husam Abu-Haimed, Sergey Berezin, David L. Dill

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2001

Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes.

Mayez A. Al-Mouhamed, Husam Abu-Haimed

Int. J. Parallel Program., 2001

1996

A compiler address transformation for conflict-free access of memories and networks.

Mayez Al-Mouhamed, Lubomir Bic, Husam Abu-Haimed

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

A compiler transformation to improve memory access time in SIMD systems.

Mayez A. Al-Mouhamed, Lubomir F. Bic, Husam Abu-Haimed

Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, 1996