search result

Cover von Initial Analysis of Simple Where-Questions and Human-Generated Answers (Short Paper)

Initial Analysis of Simple Where-Questions and Human-Generated Answers (Short Paper)

Year: 2019
Media group: LIPIcs
Cover von Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)

Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)

Author: Defilippis, Isabella; Oporto, Sergio; Binder, Walter
Year: 2019
Media group: LIPIcs
Cover von Isolation-Aware Timing Analysis and Design Space Exploration for Predictable and Composable Many-Core Systems

Isolation-Aware Timing Analysis and Design Space Exploration for Predictable and Composable Many-Core Systems

Year: 2019
Media group: LIPIcs
Cover von Spatial Periodicity Analysis of Urban Elements Application to the Ancient City of Amida (Short Paper)

Spatial Periodicity Analysis of Urban Elements Application to the Ancient City of Amida (Short Paper)

Year: 2018
Media group: LIPIcs
Cover von Selection Via the Bogo-Method - More on the Analysis of Perversely Awful Randomized Algorithms

Selection Via the Bogo-Method - More on the Analysis of Perversely Awful Randomized Algorithms

Year: 2018
Media group: LIPIcs
Cover von PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster

PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster

Year: 2017
Media group: LIPIcs
Cover von On the Analysis of the Immune-Inspired B-Cell Algorithm for the Vertex Cover Problem
article in LNCS 6825, ICARIS 2011 : pp. 117-131
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science : 6825; article
Media group: ARTICLE
Cover von Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis

Year: 2015
Media group: OASICS
Cover von WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core

WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core

Author: Rochange, Christine; Bonenfant, Armelle; Sainrat, Pascal
Year: 2010
Media group: ARTICLE
Cover von Hybrid measurement-based WCET analysis at the source level using object-level traces

Hybrid measurement-based WCET analysis at the source level using object-level traces

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0