Displaying similar documents to “Program flow analysis for reducing and estimating the cost of test coverage criteria. (Abstract).”

Flow Polyhedra and Resource Constrained Project Scheduling Problems

Alain Quilliot, Hélène Toussaint (2012)

RAIRO - Operations Research - Recherche Opérationnelle

Similarity:

This paper aims at describing the way Flow machinery may be used in order to deal with Resource Constrained Project Scheduling Problems (RCPSP). In order to do it, it first introduces the Timed Flow Polyhedron related to a RCPSP instance. Next it states several structural results related to connectivity and to cut management. It keeps on with a description of the way this framework gives rise to a generic Insertion operator, which enables programmers to design greedy and local search...

Cerebral blood flow simulations in realistic geometries

Stéphanie Salmon, Soyibou Sy, Marcela Szopos (2012)

ESAIM: Proceedings

Similarity:

The aim of this work is to perform the computation of the blood flow in all the cerebral network, obtained from medical images as angiographies. We use free finite elements codes as FreeFEM++. We first test the code on analytical solutions in simplified geometries. Then, we study the influence of boundary conditions on the flow and we finally perform first computations on realistic meshes.

On bounded channel flows of viscoelastic fluids

Marshall J. Leitman, Epifanio G. Virga (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

We show that the smooth bounded channel flows of a viscoelastic fluid exhibit the following qualitative feature: Whenever the channel is sufficiently wide, any bounded velocity field satisfying the homogeneous equation of motion is such that if the flow stops at some time, then the flow is never unidirectional throughout the channel. We first demonstrate the qualitative property of the bounded channel flows. Then we show explicitly how a piecewise linear approximation of a relaxation...