Follow
Rawan Abdel-Khalek
Rawan Abdel-Khalek
University of Michigan
Verified email at intel.com - Homepage
Title
Cited by
Cited by
Year
Formally enhanced runtime verification to ensure noc functional correctness
R Parikh, V Bertacco
Proceedings of the 44th Annual IEEE/ACM International Symposium on …, 2011
482011
Post-silicon platform for the functional diagnosis and debug of networks-on-chip
R Abdel-Khalek, V Bertacco
ACM Transactions on Embedded Computing Systems (TECS) 13 (3s), 1-25, 2014
232014
Functional post-silicon diagnosis and debug for networks-on-chip
R Abdel-Khalek, V Bertacco
Proceedings of the International Conference on Computer-Aided Design, 557-563, 2012
182012
Functional correctness for CMP interconnects
R Abdel-Khalek, R Parikh, A DeOrio, V Bertacco
2011 IEEE 29th International Conference on Computer Design (ICCD), 352-359, 2011
152011
DiAMOND: Distributed alteration of messages for on-chip network debug
R Abdel-Khalek, V Bertacco
2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 127-134, 2014
62014
Correct runtime operation for NoCs through adaptive-region protection
R Abdel-Khalek, V Bertacco
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
32016
SoCGuard: a runtime verification solution for the functional correctness of SoCs
R Abdel-Khalek, V Bertacco
2010 18th IEEE/IFIP International Conference on VLSI and System-on-Chip, 49-54, 2010
32010
Achieving Functional Correctness in Large Interconnect Systems.
R Abdel Khalek
2015
NoCDebug: Functional Post-Silicon Diagnosis and Debug for Networks-on-Chip
R Abdel-Khalek, V Bertacco
Boosting the Performance of MapReduce Applications via Distributed Accelerators on a Chip-Multiprocessor
A Addisie, R Abdel-Khalek, R Parikh, V Bertacco
MR. NITRO: Distributed Accelerators for MapReduce on CMPs
A Addisie, R Abdel-Khalek, R Parikh, V Bertacco
Distributed Alteration of Messages for On-Chip Network Debug
R Abdel-Khalek, V Bertacco
Debug Data Collection for Functional Validation of Control-Flow in NoCs
R Abdel-Khalek, V Bertacco
The system can't perform the operation now. Try again later.
Articles 1–13