• GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming ... whose interpreter automatically maintains an explicit representation of the dynamic world being modeled...
  • DYNA3D

  • Referenced in 106 articles [sw17036]
  • nonlinear, explicit, finite element code for analyzing the transient dynamic response of three-dimensional solids...
  • PATRAN

  • Referenced in 15 articles [sw06306]
  • analysis ready models for linear, nonlinear, explicit dynamics, thermal, and other finite element solutions. From...
  • El-Topo

  • Referenced in 14 articles [sw13557]
  • Topo: Robust Topological Operations for Dynamic Explicit Surfaces. El Topo is a public domain...
  • CRCP

  • Referenced in 16 articles [sw18339]
  • dynamics and cloud-scale (CS) dynamics are captured explicitly. The leading idea is to represent...
  • NICE

  • Referenced in 6 articles [sw10340]
  • solving boundary value problems, e.g. explicit dynamic analysis in ABAQUS/Explicit. In the developed explicit scheme...
  • CDFP

  • Referenced in 6 articles [sw19642]
  • house developed code, a dynamic explicit DE/FE code named CDFP. To test the accuracy ... vibration process of two beams under dynamic force and the vibration process of two glass...
  • VTF

  • Referenced in 18 articles [sw07556]
  • solvers provide capabilities for simulation of dynamic response in solids such as large plastic deformations ... explicit numerical methods that track the various wave phenomena responsible for mediating the dynamic response...
  • knitr

  • Referenced in 70 articles [sw11224]
  • package provides a general-purpose tool for dynamic report generation in R, which ... package (e.g., we do not need to explicitly print() plots from ggplot2 or lattice...
  • Ocelot

  • Referenced in 3 articles [sw09713]
  • Ocelot is a dynamic compilation framework designed to map the explicitly data parallel execution model ... onto diverse multithreaded platforms. Ocelot includes a dynamic binary translator from Parallel Thread eXecution ... overview of the implementation of the Ocelot dynamic compiler highlighting design decisions and trade-offs ... applicable only when compiling explicitly parallel applications and traditional dynamic compiler optimizations are revisited...
  • YADE

  • Referenced in 15 articles [sw06761]
  • subject to explicit leapfrog time-integration scheme (Lagrangian method). The three-dimensional dynamics equations based...
  • JoCaml

  • Referenced in 27 articles [sw02065]
  • distributed execution of programs, and the dynamic relocation of active program fragments during execution ... calculus. This model is characterized by an explicit notion of locality, a strict adherence...
  • AUTODYN-3D

  • Referenced in 7 articles [sw03363]
  • versatile explicit analysis tool for modeling the nonlinear dynamics of solids, fluids, gases and their ... lower labor costs than with other explicit programs. This high productivity is a result...
  • EFREE

  • Referenced in 4 articles [sw11919]
  • duration simulations of the microscale dynamics. There are no explicit closed-form equations governing ... used to simulate the microscale dynamics. We find excellent agreement between P3D and EFREE...
  • MSC/DYTRAN

  • Referenced in 8 articles [sw09028]
  • dynamic, nonlinear behavior of solid components, structures, and fluids. It uses explicit time integration ... particularly suitable for analyzing short, transient dynamic events that involve large deformations, a high degree...
  • BSMLlib

  • Referenced in 3 articles [sw22233]
  • advantage of using BSMLlib’s explicit processes for dynamic load balancing. Finally, suggestions are made...
  • HOSS

  • Referenced in 3 articles [sw41820]
  • fragmentation solutions. In addition, an explicit computational fluid dynamics solver and a novel fluid–solid...
  • PromethOS

  • Referenced in 3 articles [sw01742]
  • PromethOS: A dynamically extensible router architecture supporting explicit routing. Commercially available routers typically have ... based on Linux 2.4 which can be dynamically extended by plugin modules that are installed ... present a novel signaling protocol that establishes explicitly routed paths transiting selected nodes...
  • CCSTM

  • Referenced in 34 articles [sw33312]
  • CCSTM expresses transactional reads and writes as explicit method calls on instances of a reference ... novel hybrid of static and dynamic transaction scoping to retain composability while avoiding the barrier...
  • pySDC

  • Referenced in 33 articles [sw16754]
  • numbers as long as the slow dynamics are resolved. The method causes little numerical diffusion ... diagonally implicit Runge-Kutta (DIRK) and implicit-explicit (IMEX) Runge-Kutta methods and found...