Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P. Oikonomakos
Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric
Related publications
On VHDL Synthesis of Self-Checking Two-Level Combinational Circuits
Facta universitatis - series: Electronics and Energetics
Redundancy and Testability in Digital Filter Datapaths
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Cyclic Redundancy Checking (CRC) Accelerator for Embedded Processor Datapaths
International Journal of Advanced Computer Science and Applications
Computer Science
Object Tracking Using On-Line Distance Metric Learning
High-Level Petri Net Model Checking With AlPiNA
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Equivalence Checking for High-Assurance Behavioral Synthesis
Validation of Service Level Agreements Using Probabilistic Model Checking
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Self-Organizing Oligothiophene-Nucleoside Conjugates: Versatile Synthesis via Click-Chemistry
