Rawan Abdel-Khalek
Rawan Abdel-Khalek
University of Michigan
Verifierad e-postadress på intel.com - Startsida
Titel
Citeras av
Citeras av
År
Formally enhanced runtime verification to ensure NoC functional correctness
R Parikh, V Bertacco
2011 44th Annual IEEE/ACM International Symposium on Microarchitecture …, 2011
432011
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
172012
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
142014
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
132011
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
MTraceCheck: Validating non-deterministic behavior of memory consistency models in post-silicon validation
D Lee, V Bertacco
2017 ACM/IEEE 44th Annual International Symposium on Computer Architecture …, 2017
52017
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
22010
Dredge: Dynamic repartitioning during dynamic graph execution
A McCrabb, E Winsor, V Bertacco
2019 56th ACM/IEEE Design Automation Conference (DAC), 1-6, 2019
12019
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–15