( en | de | ru )

 

Disambiguierung von "Coelho, Claudionor Nunes"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis from mixed specifications.

, , , und . EURO-DAC, Seite 114-119. IEEE Computer Society Press, (1996)

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.

Julio Coelho

Daltro Jose Nunes

Eric Nunes

Vânia Coelho

Miguel Coelho

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis from mixed specifications., , , und . EURO-DAC, Seite 114-119. IEEE Computer Society Press, (1996)On-Chip Property Verification Using Assertion Processors., , , , , , und . VLSI-SoC (Selected Papers), Volume 200 von IFIP, Seite 101-117. Springer, (2003)A cache based algorithm to predict HDL modules faults., , , , , und . LATW, Seite 1-3. IEEE, (2011)Boosted Embeddings for Time-Series Forecasting., , , , , , , , , und 1 andere Autor(en). LOD, Volume 13164 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2021)BugTracer: A system for integrated circuit development tracking and statistics retrieval., , , und . LATW, Seite 1-4. IEEE, (2009)Interface optimization for concurrent systems under timing constraints., , , und . IEEE Trans. Very Large Scale Integr. Syst., 1 (3): 268-281 (1993)A biomedical wearable device for remote monitoring of physiological signals., , , , , und . ETFA (2), Seite 708-713. IEEE, (2003)0-7803-7937-3.Time Series Anomaly Detection with label-free Model Selection., , , , , und . CoRR, (2021)SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse., , , und . DDECS, Seite 397-402. IEEE Computer Society, (2007)Network-Based Distributed Systems Middleware., , , und . Middleware Workshops, Seite 13-20. PUC-Rio, (2003)