• TAF

  • Referenced in 87 articles [sw07492]
  • code and applies a control flow analysis. TAF applies an intraprocedural data dependence ... interprocedural data flow analysis. Given the independent and dependent variables of the specified top-level...
  • PAG

  • Referenced in 21 articles [sw00669]
  • theories of abstract interpretation and data flow analysis the implementation and design of analyzers ... provably correct and terminating analyses. Data flow analysis supplies many efficient algorithms, such as fixed ... methods from the theory of data flow analysis. PAG has a high level functional input ... language to specify data flow analyses. It offers the generation of complex data structures...
  • LPbook

  • Referenced in 51 articles [sw31782]
  • linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex...
  • Petrify

  • Referenced in 27 articles [sw09784]
  • description. Initially, petrify performs a token flow analysis of the initial Petri net and produces...
  • AUSM

  • Referenced in 328 articles [sw06367]
  • extend the AUSM-family schemes to solve flows at all speed regimes. To achieve this ... Mach number limit. Specifically, we employ asymptotic analysis to formally derive proper scalings...
  • PHYSALIS

  • Referenced in 30 articles [sw02386]
  • method for particle flow simulation. III: Convergence analysis of two-dimensional flows. We study ... when it is applied to incompressible particle flows in two-dimensional space. PHYSALIS ... this paper, we present the convergence analysis using Laplace and biharmonic equations as two model ... directly related to potential and Stokes flows. However, they are also relevant to Navier-Stokes...
  • channelflow

  • Referenced in 79 articles [sw07526]
  • software system for numerical analysis of the incompressible Navier-Stokes flow in channel geometries, written...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks ... novel techniques to counter the impact of analysis mistakes. The tool is fast, requiring between ... static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks...
  • PEGASUS 5

  • Referenced in 12 articles [sw11324]
  • process which is automatic for many flow analysis problems. All that is required from...
  • FIDAP

  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper describes the program FIDAP, a general purpose ... symmetric or three-dimensional incompressible fluid flows in complex geometries, including (if required) the effects ... amenable to analysis including isothermal Newtonian and non-Newtonian flows, natural and/or forced convection problems...
  • FEFLO

  • Referenced in 11 articles [sw06389]
  • Euler / Navier-Stokes code for aerodynamic flow analysis, and 4) a post processing graphics code...
  • KIVA-4

  • Referenced in 27 articles [sw02561]
  • multiphase, multicomponent code for the analysis of chemically reacting flows with sprays has been under...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • freedom analysis, useless-code elimination, information flow analysis, and termination analysis. The former two analyses ... communication succeeds or not. The lock-freedom analysis can answer, e.g., the following questions about ... other tools such as model checkers). Information flow analyzer checks whether a process leaks information ... interface for TyPiCal’s deadlock-freedom analysis here...
  • TAJ

  • Referenced in 7 articles [sw33114]
  • Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods ... parameters may flow into security-sensitive operations. Taint analysis can detect many common vulnerabilities ... have designed and implemented a static Taint Analysis for Java (TAJ) that meets the requirements ... vectors, with techniques to handle reflective calls, flow through containers, nested taint, and issues...
  • SimVascular

  • Referenced in 18 articles [sw25043]
  • segmentation to patient-specific blood flow simulation and analysis. This package serves as a research...
  • odmd

  • Referenced in 8 articles [sw31747]
  • popular technique for modal decomposition, flow analysis, and reduced-order modeling. In situations where ... dynamics of surface pressure measurements in the flow over a flat plate with an unsteady...
  • Nek5000

  • Referenced in 145 articles [sw08064]
  • Nek5000 to investigate the dynamics of nonlinear flows in moderately complex geometries ... wavemaker. We concentrate on global linear stability analysis, which considers the linearised Navier--Stokes equations...
  • JSAI

  • Referenced in 6 articles [sw30521]
  • boolean constant propagation, and control-flow analysis. In addition, JSAI allows for analysis control-flow ... configured without requiring any changes to the analysis implementation. JSAI is designed to be provably...
  • ROSE

  • Referenced in 4 articles [sw04891]
  • available include call graph analysis, control flow analysis, data flow analysis (live variables...
  • DAC

  • Referenced in 11 articles [sw21765]
  • software for simulating rarefied flows, The DSMC Analysis Code (DAC) software represents the National Aeronautics ... method of Bird for simulating three-dimensional flows. It is utilized by NASA, as well...