„program analysis“

Suchergebnisse

7.892 Treffer

• Timing Analysis of Event-Driven Programs with Directed Testing
  Eslamimehr, Mahdi ; Samimi, Hesam 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
  Abbaspour, Sahar ; Jordan, Alexander ; Brandner, Florian 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Comment-based Concept Location over System Dependency Graphs
  Pereira, Nuno ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improving the quality of APIs through the analysis of software crash reports
  Kechagia, Maria ; Mitropoulos, Dimitris ; Spinellis, Diomidis 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective
  Asavoae, Mihail ; Maiza, Claire ; Raymond, Pascal 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic WCET Analysis of Real-Time Parallel Applications
  Ozaktas, Haluk ; Rochange, Christine ; Sainrat, Pascal 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Flexible Dynamic System for Automatic Grading of Programming Exercises
  Fonte, Daniela ; Cruz, Daniela da ; Gançarski, Alda Lopes ; Henriques, Pedro Rangel 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evolutionary Techniques for Parametric WCET Analysis
  Marref, Amine 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Timing Analysis of Concurrent Programs
  Mittermayr, Robert ; Blieberger, Johann 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Parallel Programming Models for Predictability
  Lisper, Björn 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Same Block Relations for Relational Cache Analysis
  Wegener, Simon 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Problem Domain Oriented Approach for Program Comprehension
  Varanda Pereira, Maria João ; Beron, Mario Marcelo ; da Cruz, Daniela ; Oliveira, Nuno ; Henriques, Pedro Rangel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• WCET Computation of Safety-Critical Avionics Programs: Challenges, Achievements and Perspectives
  Souyris, Jean 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Weighted Dynamic Pushdown Networks
  Wenner, Alexander 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realisability and Adequacy for (Co)induction
  Berger, Ulrich 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Predicated WCET Analysis
  Marref, Amine ; Bernat, Guillem 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing time as a program variable: a way around infeasible paths
  Holsti, Niklas 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis
  Ermedahl, Andreas ; Sandberg, Christer ; Gustafsson, Jan ; Bygde, Stefan ; Lisper, Björn 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Amortised Worst-Case Execution Time Analysis
  Herrmann, Christoph A. ; Bonenfant, Armelle ; Hammond, Kevin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Pointon, Robert 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Verifiable WCET Analysis for a Functional Programming Language
  Hammond, Kevin ; Ferdinand, Christian ; Heckmann, Reinhold ; Dyckhoff, Roy ; Hofman, Martin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Michaelson, Greg ; Pointon, Robert ; Scaife, Norman ; Sérot, Jocelyn ; Wallace, Andy 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik