• PRISM-games

  • Referenced in 20 articles [sw12934]
  • probabilistic extension of the Reactive Modules language and properties are expressed using rPATL, which extends...
  • EAGLE

  • Referenced in 8 articles [sw31989]
  • Nash equilibria in concurrent games. Reactive Modules is a high-level specification language for concurrent ... number of practical model checking tools. Reactive Modules Games is a game-theoretic extension ... Reactive Modules, in which concurrent agents in the system are assumed to act strategically ... goal. The basic analytical concept for Reactive Modules Games is Nash equilibrium. In this paper...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best ... into elementar synchronous processes. Separate compilation in reactive languages is however made a difficult issue ... components of reactive systems while preserving their global integrity, we introduce a module system ... data-types describe the invariants of program modules in functional languages, temporal and data-flow...
  • HYTEC

  • Referenced in 14 articles [sw11520]
  • Module-oriented modeling of reactive transport with HYTEC. The paper introduces HYTEC, a coupled reactive ... reactions. The code forms part of a module-oriented structure which facilitates maintenance and improves ... using the geochemical module CHESS as a common denominator for several reactive transport models significantly...
  • FLASH

  • Referenced in 70 articles [sw17500]
  • FLASH code solves the fully compressible, reactive hydrodynamic equations and allows ... also contains state-of-the-art modules for the equations of state and thermonuclear reaction...
  • jMocha

  • Referenced in 4 articles [sw24777]
  • supports the hierarchical modeling framework of reactive modules. jMocha is a growing interactive software environment...
  • oClingo

  • Referenced in 14 articles [sw09321]
  • reactive answer set programming, extending gringo and clasp for handling external modules provided at runtime...
  • EVE

  • Referenced in 1 article [sw31990]
  • Systems are modelled using the Simple Reactive Module Language (SRML) as a collection of independent...
  • ImproteK

  • Referenced in 2 articles [sw31404]
  • anticipation with reactivity using mixed static/dynamic scheduling techniques, and an audio rendering module performing live...
  • CHEPROO

  • Referenced in 1 article [sw37008]
  • CHEPROO: A Fortran 90 object-oriented module to solve chemical processes in Earth Science models ... with aquifer and hyporheic zone materials requires reactive transport modeling. The increasing complexity ... reactive transport hinder codes reuse and transportability. We present a Fortran 90 module using object ... flow, transport, mechanical). We have shown that reactive transport (based on either...
  • PoreFlow

  • Referenced in 1 article [sw27330]
  • simulating fluid flow and multi-component reactive and adsorptive transport under saturated and variably saturated ... conditions. PoreFlow includes a variety of modules, such as: pore network generator, drainage simulator, calculation ... pressure and velocity distributions, and modeling of reactive solute transport accounting for advection and diffusion...
  • cranvas

  • Referenced in 4 articles [sw14578]
  • Reactive programming for interactive graphics. One of the big challenges of developing interactive statistical applications ... interactions needs to be propagated through these modules and reflected in the output representation ... fast pace. Each individual module may be easy to develop and manage, but the dependency ... paper we discuss the paradigm of {it reactive programming} in the framework...
  • ICARO

  • Referenced in 1 article [sw06884]
  • modules (code generator and code update) for the implementation of ICARO reactive agent applications...
  • UniMod

  • Referenced in 2 articles [sw04456]
  • programming A method for designing and implementing reactive object-oriented programs with explicit emphasis ... this method, which is a plug-in module for the Eclipse platform, is described...
  • JavaLog

  • Referenced in 5 articles [sw01341]
  • This core language is based on logic modules integrated as object abstractions in the object ... family provides a novel mobility mechanism, reactive mobility by failure, which enables virtual Prolog databases...
  • PDSC++

  • Referenced in 1 article [sw21764]
  • total collision energy) model for simulating hypersonic reactive flows in a parallel direct simulation Monte ... flown reentry Apollo 6 Command Module at 105 km is simulated to demonstrate the powerful ... PDSC++ in treating realistic hypersonic reactive flow at high altitude...
  • THC-MP

  • Referenced in 1 article [sw39514]
  • TOUGHREACT computing package for the simulating reactive transport process was developed. Simulation of large scale ... solving design for the core numerical solving module was proposed. Implementation of the parallel computing...
  • QuantumATK

  • Referenced in 1 article [sw37718]
  • academic researchers. While different aspects and individual modules of the platform have been previously presented ... model Hamiltonians, and also offers bonded or reactive empirical force fields in many different parametrizations ... platform includes a long list of advanced modules, including Green’s-function methods for electron...
  • SOTER

  • Referenced in 1 article [sw40043]
  • language for implementing and testing high-level reactive robotics software and (2) an integrated runtime ... language primitives to declaratively construct a RTA module consisting of an advanced, high-performance controller...
  • GRT3D

  • Referenced in 1 article [sw31182]
  • GRT3D: Reactive transport modeling has become an essential tool for understanding complex environmental problems ... software suite GRT3D has four executable modules: SIA1D: Sequential Iterative Approach for 1D domains, GDAE1D...