• Ninteger

  • Referenced in 32 articles [sw12185]
  • available and second and third-generation CRONE controllers may be reckoned. There are functions ... Simulink library. Its code may be freely distributed and altered provided that the source...
  • Luck

  • Referenced in 4 articles [sw21716]
  • QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates ... predicates with lightweight annotations to control both the distribution of generated values and the amount...
  • EFSMT

  • Referenced in 2 articles [sw19487]
  • synthesis of distributed and embedded real-time systems for controlling, often in a nonlinear ... stability, Lyapunov coefficient finding for nonlinear control systems, distributed priority synthesis for orchestrating system components...
  • DDFSA

  • Referenced in 8 articles [sw36988]
  • method which is a distributed multi-start type algorithm controlled by means of a simulated...
  • DFSA

  • Referenced in 8 articles [sw36994]
  • method which is a distributed multi-start type algorithm controlled by means of a simulated...
  • GAMS Model

  • Referenced in 8 articles [sw21987]
  • trade in aluminum and in copper, water distribution networks, and many more. GAMS Test Library ... quality control, both for the GAMS base module and the many solvers distributed with...
  • DataLad

  • Referenced in 2 articles [sw39379]
  • annex) and the most popular distributed version control system (Git). It adapts principles of open...
  • Nimrod/G

  • Referenced in 50 articles [sw09657]
  • toolkit). Nimrod/G can directly execute large-scale distributed parameter sweep and Monte-Carlo computational experiments ... cloud services and control your budget with Nimrod/G’s economic scheduling capabilities. Whilst initially oriented...
  • SEEDS

  • Referenced in 1 article [sw02278]
  • Simulation environment for the evaluation of distributed traffic control systems. The goal of the SEEDS ... analysis and evaluation of distributed traffic control systems. It provides a general purpose tool ... control systems. The environment will be composed of a cluster of workstations running the distributed...
  • HARTEX

  • Referenced in 1 article [sw02334]
  • safe real-time kernel for distributed computer control systems. A hard real-time kernel ... presented for distributed computer control systems (DCCS), highlighting a number of novel features, such...
  • XM2VTSDB

  • Referenced in 47 articles [sw34437]
  • ACTS programme, which deals with access control by the use of multimodal identification of human ... only - no benefits are expected from the distribution - we ask the end users to acknowledge...
  • lqgbt-oseen

  • Referenced in 1 article [sw24676]
  • balanced truncation for low-order controllers for the stabilization of Navier-Stokes. As an example ... cylinder wake at moderate Reynoldsnumbers via distributed control and observation...
  • Kuai

  • Referenced in 2 articles [sw34182]
  • defined networking (SDN), a software controller manages a distributed collection of switches by installing ... distributed enumerative model checker for SDNs. Kuai takes as input a controller implementation written ... safety property, and performs a distributed enumerative reachability analysis on a cluster of machines. Kuai ... given time and unboundedly many control messages between the controller and the switches. We demonstrate...
  • Geist3D

  • Referenced in 1 article [sw00330]
  • useful as a language for expressing distributed control logic. This paper presents a tool that...
  • OPC Toolbox

  • Referenced in 1 article [sw15054]
  • data from devices, such as distributed control systems, supervisory control and data acquisition systems...
  • gsbDesign

  • Referenced in 2 articles [sw24107]
  • treatment with a control, and where the endpoint is normally distributed. Prior information can either ... effects in the treatment and the control groups. At each interim analysis, the decision ... posterior distribution of the difference between treatment and control. The decision at the final analysis ... also based on this posterior distribution. Multiple success and/or futility criteria can be specified...
  • Bigtable

  • Referenced in 25 articles [sw27060]
  • System for Structured Data. Bigtable is a distributed storage system for managing structured data that ... provided by Bigtable, which gives clients dynamic control over data layout and format...
  • JModelica

  • Referenced in 18 articles [sw11924]
  • research at the Department of Automatic Control, Lund University, and is now maintained and developed ... collaboration with academia. JModelica.org is distributed under the GPL v.3 license approved by the Open...
  • DesertFD

  • Referenced in 2 articles [sw06586]
  • reliability-driven mapping of tasks to distributed embedded control units in a steer-by-wire...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • models and testbenches representative of distributed memory and control processor arrays, known as signal flow...