search result

Cover von Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis

Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis

Year: 2006
Media group: ARTICLE
Cover von Time-Predictable Architectures
Author: Rochange, Christine; Uhrig Sascha; Sainrat, Pascal Search for this author
Year: 2014
Publisher: London, iSTE / Wiley
Series: FOCUS : Computer Engineering Series
Media group: MONOGRAPHIE
Cover von Multi-architecture Value Analysis for Machine Code

Multi-architecture Value Analysis for Machine Code

Year: 2013
Media group: ARTICLE
Cover von Automatic WCET Analysis of Real-Time Parallel Applications

Automatic WCET Analysis of Real-Time Parallel Applications

Year: 2013
Media group: ARTICLE
Cover von Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators

Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators

Year: 2023
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 PapaBench

PapaBench

a Free Real-Time Benchmark
Year: 2006
Media group: ARTICLE
Cover von Architecture des ordinateurs; 1
S. 7 - 134
Search for this author
Year: 2001
Publisher: Paris, Hermes Science Publications
Count: 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0