• Python

  • Referenced in 232 articles [sw14460]
  • used high-level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... imperative and functional programming or procedural styles. It features a dynamic type system and automatic ... packaged into stand-alone executable programs for some of the most popular operating systems, allowing...
  • Dynamics

  • Referenced in 141 articles [sw09100]
  • Dynamics: numerical explorations. Accompanying computer program dynamics. Coauthored by Eric J. Kostelich. With ... Diskette. This program (and the accompanying handbook) is a tool to help visualize the properties ... discrete and continuous dynamical systems, including the plotting of attractors, basins of attraction, the computing ... dimensions and Lyapunov exponents etc.par The program provides about 30 maps and differential equations...
  • GOLOG

  • Referenced in 155 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming ... automatically maintains an explicit representation of the dynamic world being modeled, on the basis ... initial state of the world. This allows programs to reason about the state...
  • Smalltalk

  • Referenced in 119 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created...
  • LUPS

  • Referenced in 35 articles [sw02579]
  • field of logic programming has focused on representing static knowledge, i.e. knowledge that does ... authors introduced the concept of dynamic logic programming. There, they studied and defined the declarative ... operational semantics of sequences of logic programs (or dynamic logic programs ... sets of priorities. The role of dynamic logic programming is to employ the mutual relationships...
  • ANSYS-CFX

  • Referenced in 36 articles [sw06391]
  • high-performance, general purpose fluid dynamics program that has been applied to solve wide-ranging...
  • MapReduce

  • Referenced in 130 articles [sw00546]
  • algebra operators to MapReduce programs is still an open and dynamic research field. In this...
  • CompEcon

  • Referenced in 34 articles [sw04789]
  • solving discrete and continuous time dynamic programming problems, and a general solver for financial derivatives...
  • DSTool

  • Referenced in 93 articles [sw06719]
  • DsTool is a program for interactively exporing the dynamics of dynamical systems. It allows...
  • OPERA

  • Referenced in 24 articles [sw03200]
  • programming (NP), integer programming (IP) and dynamic programming (DP). OPERA TB, like the nonlinear programming...
  • DART

  • Referenced in 55 articles [sw07260]
  • operate in; and (3) dynamic analysis of how the program behaves under random testing...
  • FIDAP

  • Referenced in 34 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program) This paper describes the program FIDAP, a general purpose...
  • ToolboxLS

  • Referenced in 20 articles [sw06312]
  • Matlab programming environment. Level set methods are often used for simulation of dynamic implicit surfaces ... such as control, robotics, differential games, dynamic programming, mesh generation, stochastic differential equations, financial mathematics...
  • ABACUS

  • Referenced in 105 articles [sw02948]
  • using linear programming relaxations. Cutting planes or columns can be generated dynamically (branch ... algorithms are met by object oriented programming modules...
  • PAKCS

  • Referenced in 29 articles [sw13688]
  • Curry, partial evaluators, database applications, HTML programming with dynamic web pages, prototyping embedded systems). Thus ... lines (or 5 mbytes) of program code. There is a manual (PDF) which describes...
  • Daikon

  • Referenced in 34 articles [sw04319]
  • dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants ... certain point or points in a program; these are often used in assert statements, documentation ... check for additional invariants. Dynamic invariant detection runs a program, observes the values that ... program computes, and then reports properties that were true over the observed executions. Dynamic invariant...
  • Cinderella

  • Referenced in 120 articles [sw00127]
  • dynamic geometry, Cinderella.2 has many features that broaden the scope of the program...
  • FLUENT

  • Referenced in 229 articles [sw04263]
  • FLUENT is a Computational Fluid Dynamics (CFD) code for modelling fluid flow, heat transfer, mass ... interfaces to other pre- and post-processing programs. The UDF option enables the incorporation...
  • NAMD2

  • Referenced in 17 articles [sw09642]
  • scalability for parallel molecular dynamics. Molecular dynamics programs simulate the behavior of biomolecular systems, leading...
  • AspectJ

  • Referenced in 142 articles [sw04426]
  • range of crosscutting concerns. In AspectJ’s dynamic join point model, join points are well ... defined points in the execution of the program; pointcuts are collections of join points; advice...