• Eraser

  • Referenced in 44 articles [sw08922]
  • shared-monory reference and verify that consistent locking behavior is observed. We present several case...
  • MOFLON

  • Referenced in 9 articles [sw06922]
  • model different aspects like structure, behavior, consistency constraints of the system. This results...
  • plfit

  • Referenced in 220 articles [sw23186]
  • framework for discerning and quantifying power-law behavior in empirical data. Our approach combines maximum ... cases we find these conjectures to be consistent with the data, while in others...
  • Symstra

  • Referenced in 18 articles [sw01296]
  • Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends...
  • Verilog

  • Referenced in 10 articles [sw13592]
  • instrumental in providing consistency across diverse tools-fault simulators, timing analyzers, behavioral and logic synthesis...
  • Rostra

  • Referenced in 10 articles [sw07268]
  • Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends...
  • ProMP

  • Referenced in 2 articles [sw34914]
  • leads to superior pre-adaptation policy behavior and consistently outperforms previous Meta-RL algorithms...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • races often result in unexpected and erroneous behavior. In addition to causing data corruption ... execution which might no longer be sequentially consistent. Motivated by these observations, we have designed ... execution, it is guaranteed to be sequentially consistent. This strong guarantee helps to rule ... related possibilities as the cause of erroneous behavior. When a DataRaceException is caught, the operation...
  • MuJoCo

  • Referenced in 16 articles [sw27214]
  • computationally-intensive techniques such optimal control, physically-consistent state estimation, system identification and automated mechanism ... complex dynamical systems in contact-rich behaviors. It also has more traditional applications such...
  • DimSim

  • Referenced in 1 article [sw09874]
  • faithful model that captures the relevant behaviors. Dimensional consistency provides the first check...
  • PIPESIM

  • Referenced in 3 articles [sw17988]
  • multiphase flow, and fluid behavior methodologies ensure data quality and consistency between the steady-state...
  • GENERIC

  • Referenced in 28 articles [sw08150]
  • Formulation of thermoelastic dissipative material behavior using GENERIC We show that the coupled balance equations ... allows for an efficient derivation of thermodynamically consistent coupled field equations, while revealing additional underlying...
  • sys

  • Referenced in 0 articles [sw19709]
  • Powerful replacements for base system2 with consistent behavior across platforms. Supports interruption, background tasks...
  • DTA

  • Referenced in 3 articles [sw35454]
  • network consistent with traffic flow theory and travel behavior. This paper documents theoretical and numerical...
  • kdtree++

  • Referenced in 9 articles [sw28526]
  • thousands to millions of nodes. The behavior of codes in terms of being memory ... test cases reported, the OpenCL implementation consistently outperforms serial and OpenMP ones and paves...
  • MATISSE

  • Referenced in 26 articles [sw06311]
  • approximate bisimulation relations do not require the behavior of a system and its abstraction ... useful for the safety verification problem which consists in checking whether the intersection...
  • ProBase

  • Referenced in 4 articles [sw28898]
  • human behavior and communications. Figure 1 is a snippet of Probase, which consists of concepts...
  • CDOL

  • Referenced in 5 articles [sw02639]
  • integrity constraints as a basis for database consistency. The update sublanguage of CDOL enables ... active, user-transparent agents that support reactive behavior within CDOL applications. In particular, active rules ... supplement declarative updates to maintain database consistency with respect to the set of integrity constraints...
  • C32SAT

  • Referenced in 2 articles [sw25443]
  • expressions where program behavior depends on the compiler. Our contribution consists of C32SAT’s functional...
  • Algorithm 880

  • Referenced in 13 articles [sw12764]
  • application or push algorithms to extreme behavior. These tests are then assembled into a comprehensive ... symmetric tridiagonal eigensolvers implemented in LAPACK. It consists of two parts: a selection of carefully...