Mona Safar

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c9		Karim Yehia, Mona Safar, Hassan A. Youness, Mohamed AbdElSalam, Ashraf Salem: A novel approach for system level synthesis of multi-core system architectures from TPG models. AICCSA 2011: 268-275
c8		Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem: A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE 2011: 1243-1248
c7		Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed AbdElSalam: TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. MTV 2011: 1-4
	2009
c6		Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem: A Reconfigurable Five-Stage Pipelined SAT Solver. MTV 2009: 95-100
	2008
c5		Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem: Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA 2008: 89-93
	2007
c4		Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem: Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. DATE 2007: 153-158
	2006
c3		Mona Safar, M. Watheq El-Kharashi, Ashraf Salem: FPGA-Based SAT Solver. CCECE 2006: 1901-1904
	2005
c2		Mona Safar, M. Watheq El-Kharashi, Ashraf Salem: FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME 2005: 384-387
c1		Mona Safar, M. Watheq El-Kharashi, Ashraf Salem: An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC 2005: 419-424

Coauthor Index

Last update Sun May 19 13:09:20 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page