Did you mean: systems

search result

Cover von Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles

Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles

Author: Decke, Hendrik
Year: 2020
Media group: OASICS
Cover von A Type Checker for a Logical Framework with Union and Intersection Types (System Description)

A Type Checker for a Logical Framework with Union and Intersection Types (System Description)

Year: 2020
Media group: LIPIcs
Cover von WANDA - a Higher Order Termination Tool (System Description)

WANDA - a Higher Order Termination Tool (System Description)

Year: 2020
Media group: LIPIcs
Cover von A Gentzen-Style Monadic Translation of Gödel’s System T

A Gentzen-Style Monadic Translation of Gödel’s System T

Year: 2020
Media group: LIPIcs
Cover von A Pipelined Multi-Core Machine with Operating System Support
Hardware Implementation and Correctness Proof
Author: Lutsyk, Petro; Oberhauser, Jonas; Paul, Wolfgang J. Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9999
Media group: MONOGRAPHIE
Cover von Diversity, Fairness, and Data-Driven Personalization in (News) Recommender System; 11
pp. 117-124
Search for this author
Year: 2020
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems

System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems

Year: 2019
Media group: OASICS
Cover von A Type System for Interactive JSON Schema Inference (Extended Abstract)

A Type System for Interactive JSON Schema Inference (Extended Abstract)

Year: 2019
Media group: LIPIcs
Cover von Model Checking Strategy-Controlled Rewriting Systems (System Description)

Model Checking Strategy-Controlled Rewriting Systems (System Description)

Year: 2019
Media group: LIPIcs
Cover von SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)

SMT-Based Answer Set Solver CMODELS(DIFF) (System Description)

Year: 2018
Media group: OASICS
OPEN V 11.1.0.0