Did you mean: systems

search result

Cover von First IEEE / ACM / IFIP international conference on hardware / software codesign and system synthesis
Newport Beach, California, USA, October 1 - 3, 2003
Search for this author
Year: 2003
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Better Early than Never
Author: Pieper, Pascal; Drechsler, Rolf Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Task-Based Constant Bandwidth Server in the Zephyr Operating System

Task-Based Constant Bandwidth Server in the Zephyr Operating System

Year: 2026
Media group: OASICS
Cover von User-Centric System Fault Identification Using IO500 Benchmark
article in 2021 IEEE/ACM Sixth International Parallel Data Systems Workshop (PDSW)
Search for this author
Year: 2021
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System

A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System

Year: 2025
Media group: LIPIcs
Cover von Integrating Questions About Learners’ Code in an Automated Assessment System

Integrating Questions About Learners’ Code in an Automated Assessment System

Year: 2025
Media group: OASICS
Cover von Toward an Earth-Independent System for EVA Mission Planning

Toward an Earth-Independent System for EVA Mission Planning

Integrating Physical Models, Domain Knowledge, and Agentic RAG to Provide Explainable LLM-Based Decision Support
Year: 2025
Media group: OASICS
Cover von Reachability in Vector Addition System with States Parameterized by Geometric Dimension

Reachability in Vector Addition System with States Parameterized by Geometric Dimension

Year: 2025
Media group: LIPIcs
Cover von Improving Power System Resilience with Enhanced Monitoring, Control, and Protection Algorithms

Improving Power System Resilience with Enhanced Monitoring, Control, and Protection Algorithms

Author: Veerakumar, Nidarshan; Boričić, Aleksandar; Tyuryukanov, Ilya
Year: 2024
Commit2Data
Media group: OASICS
Cover von Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Theory and Implementation
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0