search result

Cover von Enhanced Multi Criteria Decision Analysis for Planning Power Transmission Lines

Enhanced Multi Criteria Decision Analysis for Planning Power Transmission Lines

Year: 2018
Media group: LIPIcs
Cover von Predicting Performance Problems Through Emotional Analysis (Short Paper)

Predicting Performance Problems Through Emotional Analysis (Short Paper)

Year: 2018
Media group: OASICS
Cover von Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines
article in Workshop on Mixed Criticality Systems 2017 : WMC 2017
Search for this author
Year: 2017
Publisher: WMC
Media group: ARTICLE
Cover von Instruction Caches in Static WCET Analysis of Artificially Diversified Software

Instruction Caches in Static WCET Analysis of Artificially Diversified Software

Year: 2018
Media group: LIPIcs
Cover von Stationary Distribution Analysis of a Queueing Model with Local Choice

Stationary Distribution Analysis of a Queueing Model with Local Choice

Year: 2018
Media group: LIPIcs
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science : ARCoSS; 10806
Media group: MONOGRAPHIE
Cover von  Part I.; Tools and Algorithms for the Construction and Analysis of Systems
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 10805
Media group: MONOGRAPHIE
Cover von Analysis and Synthesis of Floating-point Programs; 8
pp. 74-101
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von A Quasi-Random Approach to Matrix Spectral Analysis

A Quasi-Random Approach to Matrix Spectral Analysis

Year: 2018
Media group: LIPIcs
Cover von Probabilistic Methods in the Design and Analysis of Algorithms; 4
pp. 1-22
Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 4
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0