search result

Cover von Termination Analysis of C Programs Using Compiler Intermediate Languages

Termination Analysis of C Programs Using Compiler Intermediate Languages

Year: 2011
Media group: ARTICLE
Cover von Program Analysis to Support Concurrent Programming in Declarative Languages

Program Analysis to Support Concurrent Programming in Declarative Languages

Year: 2010
Media group: ARTICLE
Cover von Program analysis for code duplication in logic programs

Program analysis for code duplication in logic programs

Year: 2010
Media group: ARTICLE
Cover von METAMOC: Modular Execution Time Analysis using Model Checking

METAMOC: Modular Execution Time Analysis using Model Checking

Year: 2010
Media group: ARTICLE
Cover von Towards WCET Analysis of Multicore Architectures Using UPPAAL

Towards WCET Analysis of Multicore Architectures Using UPPAAL

Year: 2010
Media group: ARTICLE
Cover von A Code Policy Guaranteeing Fully Automated Path Analysis

A Code Policy Guaranteeing Fully Automated Path Analysis

Year: 2010
Media group: ARTICLE
Cover von Realism in Statistical Analysis of Worst Case Execution Times

Realism in Statistical Analysis of Worst Case Execution Times

Year: 2010
Media group: ARTICLE
Cover von An Empirical Analysis of Robustness Concepts for Timetabling

An Empirical Analysis of Robustness Concepts for Timetabling

Year: 2010
Media group: ARTICLE
Cover von Automated Termination Analysis of Java Bytecode by Term Rewriting

Automated Termination Analysis of Java Bytecode by Term Rewriting

Year: 2010
Media group: ARTICLE
Cover von A Rewriting Logic Semantics Approach to Modular Program Analysis

A Rewriting Logic Semantics Approach to Modular Program Analysis

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0