Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Resistive Analysis of Scattering-Dependent Electrical Transport in Single-Wall Carbon-Nanotube Networks
IEEE transactions on electron devices, 2020-12, Vol.67 (12), p.5676-5684
2020
Open Access
    Datensatz exportieren als...
  • BibTeX
DietCNN: Multiplication-free Inference for Quantized CNNs
2023 International Joint Conference on Neural Networks (IJCNN), 2023, p.1-8
2023
    Datensatz exportieren als...
  • BibTeX
Fault Space Transformation: A Generic Approach to Counter Differential Fault Analysis and Differential Fault Intensity Analysis on AES-Like Block Ciphers
IEEE transactions on information forensics and security, 2017-05, Vol.12 (5), p.1092-1102
2017
    Datensatz exportieren als...
  • BibTeX
Mixing Models as Integer Factorization: A Key to Sample Preparation With Microfluidic Biochips
IEEE transactions on computer-aided design of integrated circuits and systems, 2022-03, Vol.41 (3), p.558-570
2022
    Datensatz exportieren als...
  • BibTeX
GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths
IEEE transactions on very large scale integration (VLSI) systems, 2000-12, Vol.8 (6), p.747-750
2000
Open Access
    Datensatz exportieren als...
  • BibTeX
Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips
Integration (Amsterdam), 2015-09, Vol.51, p.194-207
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 2014, p.1-6
2014
    Datensatz exportieren als...
  • BibTeX
Cohesive Coverage Management: Simulation Meets Formal Methods
Journal of electronic testing, 2012-08, Vol.28 (4), p.449-468
2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks
2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems, 2013, p.19-24
2013
    Datensatz exportieren als...
  • BibTeX
A design space exploration scheme for data-path synthesis
IEEE transactions on very large scale integration (VLSI) systems, 1999-09, Vol.7 (3), p.331-338
1999
    Datensatz exportieren als...
  • BibTeX
An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms
IEEE transactions on computer-aided design of integrated circuits and systems, 2007-11, Vol.26 (11), p.1992-2008
2007
    Datensatz exportieren als...
  • BibTeX
Design-Intent Coverage-A New Paradigm for Formal Property Verification
IEEE transactions on computer-aided design of integrated circuits and systems, 2006-10, Vol.25 (10), p.1922-1934
2006
    Datensatz exportieren als...
  • BibTeX
Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019, p.462-467
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Efficient mixture preparation on digital microfluidic biochips
2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2013, p.205-210
2013
    Datensatz exportieren als...
  • BibTeX
A new approach to timing analysis using event propagation and temporal logic
Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, Vol.2, p.1198-1203 Vol.2
2004
    Datensatz exportieren als...
  • BibTeX
Algorithms for On-Chip Solution Preparation Using Digital Microfluidic Biochips
2012 IEEE Computer Society Annual Symposium on VLSI, 2012, p.7-8
2012
    Datensatz exportieren als...
  • BibTeX
EARTH: combined state assignment of PLA-based FSM's targeting area and testability
IEEE transactions on computer-aided design of integrated circuits and systems, 1996-07, Vol.15 (7), p.727-731
1996
    Datensatz exportieren als...
  • BibTeX
H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions
2005 Annual IEEE India Conference - Indicon, 2005, p.115-118
2005
Open Access
    Datensatz exportieren als...
  • BibTeX
ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation
IEEE access, 2023, Vol.11, p.73599-73612
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Design, in-house fabrication and analysis of suspended core silica-strand photonic crystal fiber
2009 International Conference on Emerging Trends in Electronic and Photonic Devices & Systems, 2009, p.514-517
2009
1 – 20 von 20
Suche als RSS-Feed
Aktive Filter
KollektionJournals@Ovid Ovid Full Text
ThemaMice
ThemaEngineering, Electrical & Electronic
Suchergebnisse filtern
Filter anzeigen