Concept

Control flow

Related publications (282)

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

Application of large-scale computing infrastructure for diverse environmental research applications using GC3Pie

Michael Lehning, Sofiane Sarni, Mathias Thierry Pierre Bavay

The Swiss Experiment platform (SwissEx: http://www.swiss-experiment.ch) provides a distributed storage and processing infrastructure for environmental research experiments. The aim of the second phase project (the Open Support Platform for Environmental Re ...

2013

Adiabatic vertical downward air-water flow pattern map: influence of inlet device, flow development length and hysteresis effects

John Richard Thome, Navid Borhani, Marco Milan

Flow patterns for adiabatic vertical downward air water flow in an 8.8 mm diameter channel have been studied. In particular, the influence of the inlet device, the flow history and the development length on the flow pattern have been investigated and asses ...

Elsevier2013

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

BI-population CMA-ES Algorithms with Surrogate Models and Line Searches

Ilya Loshchilov

In this paper, we study the performance of NIPOP-aCMA- ES and NBIPOP-aCMA-ES, recently proposed alternative restart strategies for CMA-ES. Both algorithms were tested using restarts till a total number of function evaluations of 106D was reached, where D i ...

2013

Flow separation at the inner (convex) and outer (concave) banks of constant-width and widening open-channel bends

Koen Blanckaert

There is a paucity of data and insight in the mechanisms of, and controls on flow separation and recirculation at natural sharply-curved river bends. Herein we report on successful laboratory experiments that elucidate flow structure in one constant-width ...

Wiley-Blackwell2013

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

Verification of Imperative Programs in Scala

Régis William Blanc

Safety-critical software systems can only support a limited number of failures. Extensive testing is good at catching errors, however that will never certify their absence. Formal verification is an alternative to testing that can (automatically) provide a ...

2012

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

On Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

2012

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.