Formally enhanced runtime verification to ensure noc functional correctness R Parikh, V Bertacco Proceedings of the 44th Annual IEEE/ACM International Symposium on …, 2011 | 48 | 2011 |
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 | 23 | 2014 |
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 | 18 | 2012 |
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 | 15 | 2011 |
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 | 6 | 2014 |
Correct runtime operation for NoCs through adaptive-region protection R Abdel-Khalek, V Bertacco 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016 | 3 | 2016 |
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 | 3 | 2010 |
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 | | |