Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
1-Dec-2011	High performance iris recognition system on GPU	Zaky Sakr, Fatma; Taher, Mohammed; Wahba, Ayman
1-Feb-2016	Automatic test pattern generation for virtual hardware model using constrained symbolic execution	Mohamed, Nahla; Safari, Mona; Wahba, Ayman ; Salem, Ashraf
1-Dec-2010	Accelerated access to visual data in multimedia applications	Afifi, Shereen M.; Wahba, Ayman ; Wahdan, Abd Elmoneim
1-Dec-2012	Accelerating Iris Recognition algorithms on GPUs	Sakr, Fatma Zaky; Taher, Mohamed; Ei-Bialy, Ahmed M.; Wahba, Ayman
1-Dec-2007	Verification of the properties of asynchronous real-time distributed systems using the B-Formalism	Wahba, Ayman ; El-Maddah, Islam A.
1-Dec-2008	Value estimation for software product management	Mohamed, S. I.; Wahba, Ayman
1-Dec-2006	Dynamic reconfiguration for increased functional density	El-Araby, Nahla A.; Wahba, Ayman ; Bedor, Hassan S.
1-Jan-2002	Accelerated cosimulation using reconfigurable computing	Nabeel, Mohamed; Wahba, Ayman ; Salem, A. M.; Sheirah, M. A.
1-Jan-1995	Design error diagnosis in sequential circuits	Wahba, Ayman ; Borrione, Dominique
1-Jan-1998	A parallel technique for ATPG using genetic algorithms	Sabry, Mohamed-Nabil ; Wahba, Ayman ; Mahdi, Hani
13-Sep-2016	Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform	Said, Mai; Safar, Mona; Taher, Mohamed; Wahba, Ayman
1-Dec-2009	An approach to model real-time systems in B	Ayoub, Anaheed; Wahba, Ayman ; Salem, Ashraf ; Taher, Mohamed; Sheirah, Mohamed
1-Jan-2001	On the use of don't cares during symbolic reachability analysis	Reda, S.; Wahba, Ayman ; Salem, A.; Borrione, D.; Ghonaimy, M.
1-Jan-1996	Automatic diagnosis may replace simulation for correcting simple design errors	Wahba, Ayman ; Borrione, Dominique
1-Jan-1996	HDL-based integration of formal methods and CAD tools in the PREVAIL environment	Borrione, D.; Bouamama, H.; Deharbe, D.; Le Faou, C.; Wahba, Ayman
1-Dec-2011	Path generation and tracking for car automatic parking employing swarm algorithm	Hanafy, Mohamed; Gomaa, Mostafa M.; Taher, Mohamed; Wahba, Ayman
1-Dec-2004	HDL filter for optimized area-delay minimization in FPGA synthesis	Wahba, Ayman
6-Sep-2004	FPGA based accelerator for functional simulation	Wageeh, Mohamed N.; Wahba, Ayman ; Salem, Ashraf M.; Sheirah, Mohamed A.
17-Mar-1997	Connection error location and correction in combinational circuits	Wahba, Ayman ; Borrione, Dominique
1-Jan-2015	Pin-count and wire length optimization for electrowetting-on-dielectric chips: A metaheuristics-based routing algorithm	Ibrahim, Mohamed; Salama, Cherif ; El-Kharashi, M. Watheq; Wahba, Ayman