• JavAdaptor

  • Referenced in 4 articles [sw24982]
  • JavAdaptor: unrestricted dynamic software updates for Java. Dynamic software updates ... result, DSU is already standard in many dynamic programming languages. But, it is not standard...
  • ReCaml

  • Referenced in 2 articles [sw11326]
  • update it dynamically during execution. Most prior dynamic software updating techniques require that the code ... running at the time of the update. However, this restriction precludes any change ... scheduling loops and recursive functions. Permitting a dynamic update to more generally manipulate the program...
  • Aximo

  • Referenced in 4 articles [sw15031]
  • Update. Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios...
  • CONTSID

  • Referenced in 31 articles [sw14945]
  • fill in a gap, since no software support was available to serve the cause ... gone through several updates, some of which have been reported at recent symposia ... last thirty years [17] for identifying linear dynamic continuous-time parametric models from measured input/output...
  • ALPS

  • Referenced in 16 articles [sw08907]
  • Physics Simulations) project, an open source software project to develop libraries and application programs ... quantum Monte Carlo (QMC) using non-local updates, extended ensemble simulations, exact and full diagonalization ... dynamic time-evolving block decimation (TEBD) code, and quantum Monte Carlo solvers for dynamical mean ... with the VisTrails workflow provenance tool. The software is available from our web server...
  • Fathom

  • Referenced in 16 articles [sw06698]
  • this chapter is to provide an updated overview of digital technologies relevant to statistics education ... examples from research and practice. Dynamic data analysis software applications for secondary students such...
  • NOrec

  • Referenced in 9 articles [sw24487]
  • projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely ... system we know of that admits concurrent updates; publication and privatization safety; livelock freedom ... unmanaged languages, and both static and dynamic compilation; and easy acccommodation of closed nesting, inevitable ... cores is likely to require hardware support, software implementations will be required for backward compatibility...
  • ABED

  • Referenced in 5 articles [sw31186]
  • free and open-source software for simulating evolutionary game dynamics in finite populations. We explain ... wide range of dynamics considered in the literature and many novel dynamics. In doing ... revisions for dynamic evolutionary models, one that decomposes strategy updates into selection of candidate strategies...
  • GeoText

  • Referenced in 3 articles [sw12576]
  • GeoText is an intelligent dynamic software system in the form of an electronic textbook that ... dynamic in the sense that its structure and contents can be updated in real time ... dynamic diagram generator (GeoDraw) integrated, with an interface to a dynamic mathematics software package (GeoGebra...
  • Seaside

  • Referenced in 7 articles [sw12995]
  • user request and generating a response. Although software developers have long considered go-to statements ... application development, we present Seaside, a highly dynamic framework for developing Web applications in Smalltalk ... after each modification. Web developers debug and update applications on the fly, thus reducing development...
  • LSDE

  • Referenced in 7 articles [sw15811]
  • intervals can be treated efficiently, since the dynamic model parameters of the system model ... implemented with specialized Kalman filter software (e.g. LSDE) or with structural equations models (SEM) allowing ... mixed continuous-discrete case: continuous time updates combined with discrete time measurement updates. Included...
  • LSDTopoTools

  • Referenced in 2 articles [sw29560]
  • Land Surface Dynamics (LSD) research group at the University of Edinburgh.The software aims to operate ... software). To enable reproducible topographic analysis in the research context. This software is constantly used ... research and is regularly updated with new routines. Some popular techniques already implemented include: Basic...
  • ScicosLab

  • Referenced in 3 articles [sw04931]
  • ScicosLab is a free open-source software package for scientific computation. It includes a Scilab ... editor for the construction and simulation of dynamical systems. The objective of this book ... dedicated to modeling and simulation of dynamical systems in Scicos. This type of modeling tool ... reader. This book is an updated and expanded version of an earlier edition based...
  • OCOA

  • Referenced in 1 article [sw02339]
  • Component Oriented Architecture (OCOA) is an open software architecture designed for autonomous robotic agents ... notified and notifies any capability added, updated, substracted, or failed in the agent. These capabilities ... ontologically. The architectural knowledge base is built dynamically by the components of the agent...
  • ECM

  • Referenced in 1 article [sw22840]
  • operations on the ECM, such as dynamic updates, visibility queries, and the computation of paths ... demo application displays various features of our software...
  • WingBody

  • Referenced in 1 article [sw19878]
  • included in this collection of aeronautical software. Panel codes, like Area Rule are success stories ... original code for the IBM 7090 was updated when later machines such ... themselves have been superseded by computational fluid dynamics codes solving Euler or Navier-Stokes equations...
  • ADOL-C

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

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

  • Referenced in 195 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...