Concept

Graphe de flot de contrôle

Publications associées (71)

Granular suspension avalanches. I. Macro-viscous behavior

Christophe Ancey, Nicolas Andreini, Gaël Epely Chauvin

We experimentally studied the flow behavior of a fixed volume of granular suspension, initially contained in a reservoir and released down an inclined flume. Here “granular suspension” refers to a suspension of non-Brownian particles in a viscous fluid. De ...

Amer Inst Physics2013

Effect of driftwood on hydraulic head of Piano Key weirs

Anton Schleiss, Michael Pfister, Blake Tullis

Driftwood is often transported by a river course during flood events and can be problematic where it accumulates at hydraulic structures. Near obstacles, driftwood can block and thus reduces the open flow area for water passage, resulting in a lowered disc ...

Erpicum et al., CRC Press, Boca Raton2013

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

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

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

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

A Qos-Enabled On-Die Interconnect Fabric For Kilo-Node Chips

Boris Robert Grot

To meet rapidly growing performance demands and energy constraints, future chips will likely feature thousands of on-die resources. Existing network-on-chip solutions weren't designed for scalability and will be unable to meet future interconnect demands. ...

2012

Communix: A Framework for Collaborative Deadlock Immunity

George Candea, Pinar Tözün, Horatiu Jula

We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. Dimmunix [1], our deadlock immunity system, detects deadlocks and saves their si ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search