> Detailanzeige

Holsti, Niklas [Verfasser:in]; Gustafsson, Jan [Verfasser:in]; Bernat, Guillem [Verfasser:in]; Ballabriga, Clément [Verfasser:in]; Bonenfant, Armelle [Verfasser:in]; Bourgade, Roman [Verfasser:in]; Cassé, Hugues [Verfasser:in]; Cordes, Daniel [Verfasser:in]; Kadlec, Albrecht [Verfasser:in]; Kirner, Raimund [Verfasser:in]; Knoop, Jens [Verfasser:in]; Lokuciejewski, Paul [Verfasser:in]; Merriam, Nicholas [Verfasser:in]; de Michiel, Marianne [Verfasser:in]; Prantl, Adrian [Verfasser:in]; Rieder, Bernhard [Verfasser:in]; Rochange, Christine [Verfasser:in]; Sainrat, Pascal [Verfasser:in]; Schordan, Markus [Verfasser:in] ; Niklas Holsti and Jan Gustafsson and Guillem Bernat and Clément Ballabriga and Armelle Bonenfant and Roman Bourgade and Hugues Cassé and Daniel Cordes and Albrecht Kadlec and Raimund Kirner and Jens Knoop and Paul Lokuciejewski and Nicholas Merriam and Marianne de Michiel and Adrian Prantl and Bernhard Rieder and Christine Rochange and Pascal Sainrat and Markus Schordan [Mitwirkende:r]

WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht
  • Titel: WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis
  • Beteiligte: Holsti, Niklas [Verfasser:in]; Gustafsson, Jan [Verfasser:in]; Bernat, Guillem [Verfasser:in]; Ballabriga, Clément [Verfasser:in]; Bonenfant, Armelle [Verfasser:in]; Bourgade, Roman [Verfasser:in]; Cassé, Hugues [Verfasser:in]; Cordes, Daniel [Verfasser:in]; Kadlec, Albrecht [Verfasser:in]; Kirner, Raimund [Verfasser:in]; Knoop, Jens [Verfasser:in]; Lokuciejewski, Paul [Verfasser:in]; Merriam, Nicholas [Verfasser:in]; de Michiel, Marianne [Verfasser:in]; Prantl, Adrian [Verfasser:in]; Rieder, Bernhard [Verfasser:in]; Rochange, Christine [Verfasser:in]; Sainrat, Pascal [Verfasser:in]; Schordan, Markus [Verfasser:in]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/OASIcs.WCET.2008.1663
  • Schlagwörter: WCET analysis ; benchmark
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: Following the successful WCET Tool Challenge in 2006, the second event in this series was organized in 2008, again with support from the ARTIST2 Network of Excellence. The WCET Tool Challenge 2008 (WCC'08) provides benchmark programs and poses a number of "analysis problems" about the dynamic, run-time properties of these programs. The participants are challenged to solve these problems with their program analysis tools. Two kinds of problems are defined: WCET problems, which ask for bounds on the execution time of chosen parts (subprograms) of the benchmarks, under given constraints on input data; and flow-analysis problems, which ask for bounds on the number of times certain parts of the benchmark can be executed, again under some constraints. We describe the organization of WCC'08, the benchmark programs, the participating tools, and the general results, successes, and failures. Most participants found WCC'08 to be a useful test of their tools. Unlike the 2006 Challenge, the WCC'08 participants include several tools for the same target (ARM7, LPC2138), and tools that combine measurements and static analysis, as well as pure static-analysis tools.
  • Zugangsstatus: Freier Zugang