search result

Cover von Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity

Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity

Year: 2019
Media group: LIPIcs
Cover von Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks Under Global Scheduling

Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks Under Global Scheduling

Year: 2019
Media group: LIPIcs
Cover von Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling

Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling

Year: 2019
Media group: LIPIcs
Cover von Non-Intrusive Online Timing Analysis of Large Embedded Applications

Non-Intrusive Online Timing Analysis of Large Embedded Applications

Year: 2019
Media group: OASICS
Cover von Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus

Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus

Year: 2019
Media group: LIPIcs
Cover von Tight Analysis of the Smartstart Algorithm for Online Dial-a-Ride on the Line

Tight Analysis of the Smartstart Algorithm for Online Dial-a-Ride on the Line

Year: 2019
Media group: LIPIcs
Cover von Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA

Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA

Year: 2019
Media group: OASICS
Cover von Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19 - 22, 2018, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11401
Media group: MONOGRAPHIE
Cover von The Amortized Analysis of a Non-blocking Chromatic Tree

The Amortized Analysis of a Non-blocking Chromatic Tree

Year: 2018
Media group: LIPIcs
Cover von Synergies between Adaptive Analysis of Algorithms, Parameterized Complexity, Compressed Data Structures and Compressed Indices ; 7
pp. 44-61
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0