Did you mean: systems

search result

Cover von II.; The program transformation system CIP-S
Search for this author
Year: 1987
Publisher: Berlin, Springer
The Munich project CIP
Volume: II.
Series: Lecture notes in computer science; 292
Media group: MONOGRAPHIE
Cover von Dagstuhl workshop on multimedia system architectures and applications
November, 2 - 4, 1992
Search for this author
Year: 1992
Publisher: Dagstuhl
Media group: TECHNICAL REPORT
Cover von Efficient Abstraction of Clock Synchronization at the Operating System Level

Efficient Abstraction of Clock Synchronization at the Operating System Level

Year: 2023
Media group: OASICS
Cover von A Cyclic Proof System for Full Computation Tree Logic

A Cyclic Proof System for Full Computation Tree Logic

Year: 2023
Media group: LIPIcs
Cover von A Cyclic Proof System for HFL_N

A Cyclic Proof System for HFL_N

Year: 2021
Media group: LIPIcs
Cover von The New Rewriting Engine of Dedukti (System Description)

The New Rewriting Engine of Dedukti (System Description)

Year: 2020
Media group: LIPIcs
Cover von Control-System Stability Under Consecutive Deadline Misses Constraints

Control-System Stability Under Consecutive Deadline Misses Constraints

Year: 2020
Media group: LIPIcs
Cover von A Simpler Undecidability Proof for System F Inhabitation

A Simpler Undecidability Proof for System F Inhabitation

Year: 2019
Media group: LIPIcs
Cover von Novelty search for software improvement of a SLAM system
article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference Companion
Search for this author
Year: 2018
Publisher: New York, ACM
Media group: ARTICLE
Cover von Context-Aware Adaptive Biometrics System using Multiagents

Context-Aware Adaptive Biometrics System using Multiagents

Year: 2019
Media group: OASICS
OPEN V 11.1.0.0