Browsing by Author "Michael, Maria K."
Now showing items 1-20 of 84
-
Conference Object
Accelerating diagnosis via dominance relations between sets of faults
Adapa, R.; Tragoudas, S.; Michael, Maria K. (2007)
-
Conference Object
An approach for quantifying path correlation in digital circuits without any path or segment enumeration
Neophytou, S.; Christou, K.; Michael, Maria K. (2011)
-
Article
ATPG for path delay faults without path enumeration
Michael, Maria K.; Tragoudas, S. (2001)
-
Conference Object
ATPG tools for Delay Faults at the Functional Level
Tragoudas, S.; Michael, Maria K. (1999)
-
Article
ATPG tools for delay faults at the functional level
Michael, Maria K.; Tragoudas, S. (2002)
-
Conference Object
AVF-driven parity optimization for MBU protection of in-core memory arrays
Maniatakos, M.; Michael, Maria K.; Makris, Y. (2013)
-
Conference Object
Compact Test Generation for Non-Robustly Testable PDFs
Michael, Maria K.; Tsagouras, S. (2004)
-
Article
DaemonGuard: Enabling O/S-Orchestrated Fine-Grained Software-Based Selective-Testing in Multi-/Many-Core Microprocessors
Skitsas, M. A.; Nicopoulos, Chrysostomos A.; Michael, Maria K. (2016)
-
Conference Object
DaemonGuard: O/S-assisted selective software-based Self-Testing for multi-core systems
Skitsas, M. A.; Nicopoulos, Chrysostomos A.; Michael, Maria K. (2013)
-
Book Chapter
Dependability threats
Bolchini, C.; Michael, Maria K.; Miele, A.; Neophytou, S. (2017)
-
Article
Dependable multicore architectures at nanoscale: The view from Europe
Ottavi, M.; Pontarelli, S.; Gizopoulos, D.; Paschalis, A.; Bolchini, C.; Michael, Maria K.; Anghel, L.; Tahoori, M.; Reviriego, P.; Bringmann, O.; Izosimov, V.; Manhaeve, H.; Strydis, C.; Hamdioui, S. (2015)
-
Conference Object
Dynamic System Level Optimization in MultiCore Architectures: The Example of Hardware Task Allocation
Theocharides, Theocharis; Michael, Maria K.; Polycarpou, Marios M.; Dingankar, A. (2008)
-
Conference Object
Efficient deterministic test generation for BIST schemes with LFSR reseeding
Neophytou, S.; Michael, Maria K.; Tragoudas, S. (2006)
-
Conference Object
Emulation-based hierarchical fault-injection framework for coarse-to-fine vulnerability analysis of hardware-accelerated approximate algorithms
Chadjiminas, I.; Savva, I.; Kyrkou, C.; Michael, Maria K.; Theocharides, Theocharis (2016)
-
Article
Encouraging young women toward engineering and applied sciences: ISIC/MED Special Preconference Workshop
Michael, Maria K. (2006)
-
Article
ETS 2016 foreword
Hamdioui, S.; Di Natale, G.; Kruseman, B.; Michael, Maria K.; Stratigopoulos, H. (2016)
-
Article
ETS 2017 Foreword
Michael, Maria K.; Drechsler, R.; Eggersgluss, S.; Stratigopoulos, H. G.; Hellebrand, S.; Aitken, R. (2017)
-
Conference Object
Evaluation of collapsing methods for fault diagnosis
Adapa, R.; Tragoudas, S.; Michael, Maria K. (2006)
-
Article
Exact path delay fault coverage with fundamental ZBDD operations
Padmanaban, S.; Michael, Maria K.; Tragoudas, S. (2003)
-
Article
Exact path delay grading with fundamental BDD operations
Padmanaban, S.; Michael, Maria K.; Tragoudas, S. (2001)