 | 2009 |
|---|
| 12 |       | Hassan A. Youness,
Keishi Sakanushi,
Yoshinori Takeuchi,
Ashraf Salem,
Abdel-Moneim Wahdan,
Masaharu Imai:
Optimal Scheme for Search State Space and Scheduling on Multiprocessor Systems.
IEICE Transactions 92-A(4): 1088-1095 (2009) |
| 2008 |
|---|
| 11 | | Mona Safar,
Mohamed Shalan,
M. Watheq El-Kharashi,
Ashraf Salem:
Hardware based algorithm for conflict diagnosis in SAT solver.
AICCSA 2008: 89-93 |
| 10 | | Mohamed M. Sabry,
M. Watheq El-Kharashi,
Hassan Shehata Bedor,
Ashraf Salem:
TLM-Based Verification of a Combined Switching Networks-on-Chip Router.
FDL 2008: 255-256 |
| 2007 |
|---|
| 9 | | 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 |
| 8 | | M. H. El-Malaki,
M. Watheq El-Kharashi,
S. Hammad,
Ashraf Salem,
Abdel-Moneim Wahdan:
A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems.
Journal of Circuits, Systems, and Computers 16(6): 961-979 (2007) |
| 2006 |
|---|
| 7 | | Mona Safar,
M. Watheq El-Kharashi,
Ashraf Salem:
FPGA-Based SAT Solver.
CCECE 2006: 1901-1904 |
| 2005 |
|---|
| 6 | | Mona Safar,
M. Watheq El-Kharashi,
Ashraf Salem:
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers.
CHARME 2005: 384-387 |
| 5 | | Mona Safar,
M. Watheq El-Kharashi,
Ashraf Salem:
An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking.
IWSOC 2005: 419-424 |
| 2004 |
|---|
| 4 | | Ashraf Salem:
Formal Verification of Digital Circuits.
IWSOC 2004: 15 |
| 3 | | M. Watheq El-Kharashi,
M. H. El-Malaki,
S. Hammad,
Ashraf Salem,
Abdel-Moneim Wahdan:
Towards Automating Hardware/Software Co-Design.
IWSOC 2004: 189-192 |
| 2003 |
|---|
| 2 | | Ashraf Salem:
Formal Semantics of Synchronous SystemC.
DATE 2003: 10376-10381 |
| 2001 |
|---|
| 1 | | Hazem Hamed,
Ashraf Salem:
UML-L: An UML Based Design Description Language.
AICCSA 2001: 438- |
