• 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...
  • BACC

  • Referenced in 1 article [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...
  • 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...
  • 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 173 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++ We present...
  • ANSYS

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

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

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

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

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

  • Referenced in 206 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Expokit

  • Referenced in 106 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 1803 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 41 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Gmsh

  • Referenced in 171 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...