Concept

Data-flow analysis

Related publications (66)

Debris-Blocking Sensitivity of Piano Key Weirs under Reservoir-Type Approach Flow

Anton Schleiss, Michael Pfister, Blake Tullis

The collection of floating woody debris at flow control structures, such as spillways and weirs, can potentially result in reduced discharge efficiency (higher upstream head for a given weir discharge). Compared to less hydraulically-efficient control stru ...

Asce-Amer Soc Civil Engineers2013

Alternating Control Flow Reconstruction

Johannes Kinder

Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...

Springer2012

Integrated Kernel Partitioning and Scheduling for Coarse-Grained Reconfigurable Arrays

Giovanni Ansaloni

Coarse-grained reconfigurable arrays (CGRAs) are a promising class of architectures conjugating flexibility and efficiency. Devising effective methodologies to map applications onto CGRAs is a challenging task, due to their parallel execution paradigm and ...

Institute of Electrical and Electronics Engineers2012

Rigorous System Design: The BIP Approach

Joseph Sifakis

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...

Springer2012

From astrophysics to fusion plasmas: signal processing and system optimization analysis for ITER

Duccio Testa

Efficient, real-time and unsupervised data analysis is one of the key elements for achieving scientific success in complex engineering and physical systems, of which three examples are the currently operating Joint European Torus (JET) and the soon-to-be-b ...

2012

Experimental Investigations of an Oscillating Annular Compressor Cascade at Reverse Flow Conditions

Peter Ott, Virginie Anne Chenaux

While the advancement of computing hardware now enables accurate predictions of flutter and forced response at normal flow conditions during the compressor design phase, aeroelastic computations at off-design or reverse flow conditions remain a challenging ...

2012

Invariant Measures of Gaussian Type for 2D Turbulence

Gaussian measures μβ,ν are associated to some stochastic 2D models of turbulence.They are Gibbs measures constructed by means of an invariant quantity of the system depending on some parameter β (related to the 2D nature of the fluid) and the viscosity ν.W ...

Springer2012

A Verification Toolkit for Numerical Transition Systems

Viktor Kuncak, Hossein Hojjat

This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...

2012

Toward Interprocedural Pointer and Effect Analysis for Scala

Etienne Kneuss

Static program analysis techniques working on object-oriented languages require precise knowledge of the aliasing relation between variables. This knowledge is important to, among other things, understand the read and write effects of method calls on objec ...

2011

Static Analysis of x86 Executables

Johannes Kinder

This dissertation is concerned with static analysis of binary executables in a theoretically well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct control flow graph in presence of indirect jumps, pointer arithmetic ...

Technische Universität Darmstadt2010

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.