search result

Cover von Average Analysis of Glushkov Automata under a BST-Like Model

Average Analysis of Glushkov Automata under a BST-Like Model

Year: 2010
Media group: ARTICLE
Cover von Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes

Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes

Year: 2011
Media group: ARTICLE
Cover von A Fine-grained Analysis of a Simple Independent Set Algorithm

A Fine-grained Analysis of a Simple Independent Set Algorithm

Year: 2009
Media group: ARTICLE
Cover von Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Year: 2008
Media group: ARTICLE
Cover von Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

Year: 2009
Media group: ARTICLE
Cover von WCET Analysis of Multi-Level Set-Associative Data Caches

WCET Analysis of Multi-Level Set-Associative Data Caches

Year: 2009
Media group: ARTICLE
Cover von Sound and Efficient WCET Analysis in the Presence of Timing Anomalies

Sound and Efficient WCET Analysis in the Presence of Timing Anomalies

Year: 2009
Media group: ARTICLE
Cover von Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis

Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis

Year: 2009
Media group: ARTICLE
Cover von Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

Year: 2008
Media group: ARTICLE
Cover von On Composable System Timing, Task Timing, and WCET Analysis

On Composable System Timing, Task Timing, and WCET Analysis

Year: 2008
Media group: ARTICLE
OPEN V 11.1.0.0