( en | de | ru )

 

Disambiguierung von "Quer, Stefano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An innovative Strategy to Quickly Grade Functional Test Programs.

, , , , , , , , , und . ITC, Seite 355-364. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manfred Quer

Stefano Meini

Stefano Cracolici

Giovanni Stefano

Stefano Carignano

 

Weitere Publikationen von Autoren mit dem selben Namen

An Experimental Evaluation of Graph Coloring Heuristics on Multi- and Many-Core Architectures., , , und . IEEE Access, (2023)Auxiliary variables for BDD-based representation and manipulation of Boolean functions., , und . ACM Trans. Design Autom. Electr. Syst., 3 (3): 309-340 (1998)System-level power optimization of special purpose applications: the beach solution., , , , und . ISLPED, Seite 24-29. ACM, (1997)A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph., , , , und . ICSOFT, Seite 197-206. SCITEPRESS, (2023)Incremental re-encoding for symbolic traversal of product machines., , , , , und . EURO-DAC, Seite 158-163. IEEE Computer Society Press, (1996)Computing subsets of equivalence classes for large FSMs., , und . EURO-DAC, Seite 288-293. IEEE Computer Society, (1995)Full-Symbolic ATPG for Large Circuits., , und . ITC, Seite 980-988. IEEE Computer Society, (1994)Optimizing sequential verification by retiming transformations., , und . DAC, Seite 601-606. ACM, (2000)Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths., , und . DAC, Seite 289-293. ACM Press, (1994)Symbolic traversals of data paths with auxiliary variables., , und . Great Lakes Symposium on VLSI, Seite 93-96. IEEE, (1994)