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
Coverage-Directed Test Generation Automated by Machine Learning -- A Review
ACM transactions on design automation of electronic systems, 2012-01, Vol.17 (1), p.1-21
2012
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The IoT Energy Challenge: A Software Perspective
IEEE embedded systems letters, 2018-09, Vol.10 (3), p.53-56
2018
    Datensatz exportieren als...
  • BibTeX
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor
ACM transactions on embedded computing systems, 2015-05, Vol.14 (3), p.1-25
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities
Computer journal, 2022-03, Vol.65 (3), p.718-735
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Energy Transparency for Deeply Embedded Programs
ACM transactions on architecture and code optimization, 2017-04, Vol.14 (1), p.1-26
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs
IEEE embedded systems letters, 2024-03, p.1-1
2024
Open Access
    Datensatz exportieren als...
  • BibTeX
Robust and Accurate Fine-Grain Power Models for Embedded Systems With No On-Chip PMU
IEEE embedded systems letters, 2022-09, Vol.14 (3), p.147-150
2022
Open Access
    Datensatz exportieren als...
  • BibTeX
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, p.1-6
2023
Open Access
    Datensatz exportieren als...
  • BibTeX
ENTRA: Whole-systems energy transparency
Microprocessors and microsystems, 2016-11, Vol.47, p.278-286
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Introducing XCS to Coverage Directed test Generation
2011 IEEE International High Level Design Validation and Test Workshop, 2011, p.57-64
2011
Open Access
    Datensatz exportieren als...
  • BibTeX
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation
Hardware and Software: Verification and Testing, p.112-128
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices
2015 International Workshop on Secure Internet of Things (SIoT), 2015, p.65-71
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
2006 IEEE International High Level Design Validation and Test Workshop, 2006, p.11-18
2006
    Datensatz exportieren als...
  • BibTeX
Modified Condition Decision Coverage: A Hardware Verification Perspective
2013 14th International Workshop on Microprocessor Test and Verification, 2013, p.8-13
2013
Open Access
    Datensatz exportieren als...
  • BibTeX
Formalizing and guaranteeing human-robot interaction
Communications of the ACM, 2021-09, Vol.64 (9), p.78-84
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On Specifying for Trustworthiness
Communications of the ACM, 2024-01, Vol.67 (1), p.98-109
2024
Link zum Volltext
Verfügbarkeit prüfen
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science, Hardware & Architecture
Suchergebnisse filtern
Filter anzeigen