• SOLA-VOF

  • Referenced in 34 articles [sw24125]
  • powerful, computer program is presented for the solution of two-dimensional transient fluid flow with ... operation, such as an automatic time-step control, a flexible mesh generator, extensive output capabilities...
  • CPFLOW

  • Referenced in 7 articles [sw13797]
  • main advantages of CPFLOW over repetitive power flow calculations are its computational speed and reliability ... implementation regarding the predictor, corrector, step-size control and parameterizations employed in CPFLOW is presented ... comprehensive modeling capability and can handle power systems up to 12000 buses. For an illustrative...
  • Laminar

  • Referenced in 2 articles [sw23077]
  • information flow control (DIFC) is a promising model for writing programs with powerful ... resources, but are inefficient at monitoring the flow of information through fine-grained program data ... first system to implement decentralized information flow control using a single set of abstractions...
  • BACC

  • Referenced in 2 articles [sw03149]
  • tasks with powerful built-in commands for matrix computation, graphics, program flow control, and I/O.par...
  • Proclets

  • Referenced in 4 articles [sw08833]
  • traditional workflow management systems is on control flow within one process definition. The process definition ... more natural manner. In addition, the expressive power and flexibility are improved compared...
  • ARTERE

  • Referenced in 1 article [sw21651]
  • ARTERE is a software to perform power flow computation by Newton method. It includes standard ... reactive power sources under limit, the adjustment of transformer ratios to control voltages...
  • DART

  • Referenced in 1 article [sw20578]
  • power, area, and performance trade-offs in topology, buffer sizes, routing algorithms and flow control...
  • gcl

  • Referenced in 3 articles [sw07212]
  • simple, yet it supports arrays, flow control structures, user-defined procedures, etc. The processors ... features make the tools gclc and Wingclc powerful mechanized geometry systems and they have thousands...
  • H2ONET

  • Referenced in 1 article [sw07560]
  • H2ONET Analyzer is the most powerful and complete water distribution modeling, analysis and design software ... energy management, real-time simulation and control, fire flow analysis, and with automated on-line...
  • GARNET

  • Referenced in 4 articles [sw20590]
  • delay, and interconnect power comparable to transistor power. CMP design proposals can no longer ignore ... pipelined router with virtual channel (VC) flow control. Microarchitectural details, such as flit-level input...
  • TileQC

  • Referenced in 1 article [sw23482]
  • availability of tileQC, a tile-based quality control system for Solexa data written ... output by graphically representing data generated by flow cell tiles. The data represented ... highly adaptable and powerful tool for the quality control of Solexa-based DNA sequence data...
  • EnerJ

  • Referenced in 1 article [sw22895]
  • variables to low-power storage, uses low-power operations, and even applies more energy-efficient ... This allows a programmer to control explicitly how information flows from approximate data to precise...
  • ESP-r

  • Referenced in 1 article [sw22240]
  • heat, air, moisture light and electrical power flows at user specified spatial and temporal resolution ... distribution is managed under GitHub source code control. The system is made available...
  • VEE Pro

  • Referenced in 1 article [sw19090]
  • heart of manufacturing, process and quality control, and industrial data analysis and management systems.par This ... material does not interrupt the practical lesson flow. They can be easily referenced when ... classes.par You will see the power and flexibility of VEE Pro in action in special ... increasing complexity based around the monitoring and control of a virtual vehicle radiator. The process...
  • ADOL-C

  • Referenced in 186 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++ We present...
  • ANSYS

  • Referenced in 497 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 242 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 270 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1348 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CVPP

  • Referenced in 7 articles [sw00179]
  • This paper describes CVPP, a tool set for...