search result

Cover von ACETONE

ACETONE

Predictable Programming Framework for ML Applications in Safety-Critical Systems
Year: 2022
Media group: LIPIcs
Cover von The Multi-Agent Programming Contest 2021
One-and-a-Half Decades of Exploring Multi-Agent Systems
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence : Challenges; 12947
Media group: MONOGRAPHIE
Cover von Contraction

Contraction

A Unified Perspective of Correlation Decay and Zero-Freeness of 2-Spin Systems
Year: 2020
Media group: LIPIcs
Cover von Turning Futexes Inside-Out

Turning Futexes Inside-Out

Efficient and Deterministic User Space Synchronization Primitives for Real-Time Systems with IPCP
Year: 2020
Media group: LIPIcs
Cover von EVA

EVA

An EVent Algebra Supporting Adaptivity and Collaboration in Event-Based Systems
Search for this author
Year: 2009
Publisher: Berkeley, ICSI
Series: TR ICSI - International Computer Science Institute / Berkeley; 09-006
Media group: TECHNICAL REPORT
Cover von Bao

Bao

A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems
Year: 2020
Media group: OASICS
Cover von Dynamic Role Binding in Blockchain-Based Collaborative Business Processes
article in CAiSE 2019 : Advanced Information Systems Engineering
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11483 : article
Media group: ARTICLE
Cover von On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity
article in 2018 IEEE International Symposium on Circuits and Systems (ISCAS)
Search for this author
Year: 2018
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von The Logical Execution Time Paradigm; 2
New Perspectives for Multicore Systems : pp. 122-149
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Push Forward

Push Forward

Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems
Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0