UB Paderborn / Katalog / Suche / in CDI

Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2020, p.1-6

2020

Link zum Volltext

Verfügbarkeit prüfen

Trustworthy Swarms

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023, p.1-11

2023

Link zum Volltext

Verfügbarkeit prüfen

Static analysis of energy consumption for LLVM IR programs

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015, p.12-21

2015

Link zum Volltext

Verfügbarkeit prüfen

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017, p.51-59

2017

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 64

Suche als RSS-Feed

Aktive Filter

KollektionEbook Central Perpetual and DDA

KollektionIngentaConnect

SpracheJapanisch

ThemaComputer Science, Artificial Intelligence

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(25)
Mit Volltextzugriff
(55)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(59)
Deutsch
(6)

Erscheinungsjahr

n.n

Thema

Science & Technology
(27)
Technology
(21)
Computer Science
(13)
Computer Science, Hardware & Architecture
(9)
Engineering
(9)
Computer Science, Software Engineering
(7)
Computer Science, Theory & Methods
(7)
Energy Consumption
(7)
Hardware
(7)
Safety
(7)
Engineering, Electrical & Electronic
(6)
Humans
(5)
Life Sciences & Biomedicine
(5)
Robotics
(5)
Software
(5)
Automation
(4)
Computer Architecture
(4)
Embedded Systems
(4)
Iot
(4)
Mathematical Model
(4)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

A corroborative approach to verification and validation of human–robot teams

Towards truly sustainable IoT systems: the SUPERIOT project

Whole Systems Energy Transparency: More Power to Software Developers: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis

Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing

Impact of Haptic Feedback in High Latency Teleoperation for Space Applications

Verification of a virtual lunar regolith simulant

Energy Transparency for Deeply Embedded Programs

Complete Agent-driven Model-based System Testing for Autonomous Systems

CyRes: towards operational cyber resilience

Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario

A logic programming approach to predict effective compiler settings for embedded software

Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems

Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights

Energy transparency from hardware to software

Introducing XCS to Coverage Directed test Generation

Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis

Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption

Formal verification of control systems' properties with theorem proving

Soft Gripping: Specifying for Trustworthiness

Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling

Trustworthy Swarms

Static analysis of energy consumption for LLVM IR programs

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis

Aktive Filter

Suchergebnisse filtern