• Transactors

  • Referenced in 6 articles [sw20929]
  • programming model for maintaining globally consistent distributed state in unreliable environments. We introduce transactors ... into systems that reliably maintain globally consistent distributed state. The transactor model incorporates certain elements ... distributed processes can use to create globally-consistent checkpoints. We provide an operational semantics...
  • QuickLex

  • Referenced in 3 articles [sw23063]
  • QuickLex: a fast algorithm for consistent global states enumeration of distributed computations. Verifying the correctness ... global states enumeration, which generates the consistent global states, including the inferred ones...
  • ULM

  • Referenced in 10 articles [sw08978]
  • unreliable character of accessing resources in a global computing context, focusing on giving a precise ... agents, that move together with their state, which consists of a control stack...
  • ParseNet

  • Referenced in 6 articles [sw36638]
  • proposed global feature, and a technique for learning normalization parameters, accuracy increases consistently even over ... baselines. Our proposed approach, ParseNet, achieves state-of-the-art performance on SiftFlow and PASCAL...
  • BISIMULATOR

  • Referenced in 8 articles [sw02526]
  • equivalence checking. The equivalence checking problem consists in verifying that a system (e.g., a protocol ... traditionally used to perform equivalence checking: global verification requires to construct the two Ltss before ... therefore reveals more effective in combating state explosion...
  • VINS-Mono

  • Referenced in 2 articles [sw31238]
  • Estimator. A monocular visual-inertial system (VINS), consisting of a camera and a low-cost ... metric six degrees-of-freedom (DOF) state estimation. However, the lack of direct distance measurement ... robust and versatile monocular visual-inertial state estimator.Our approach starts with a robust procedure ... freedom pose graph optimization to enforce global consistency. We validate the performance of our system...
  • BOUT

  • Referenced in 8 articles [sw06564]
  • used for parallelization by dividing the global spatial simulation region into a set of domains ... time-dependent system is integrated to steady state. A limitation that is identified for UEDGE ... with the eventual goal of a self-consistent coupling...
  • Mnemosyne

  • Referenced in 1 article [sw29923]
  • manage such memory, and how to ensure consistency in the presence of failures. Without additional ... state, crashing the program the next time it starts. In Mnemosyne, programmers declare global persistent ... directly modifying persistent variables and supports consistent updates through a lightweight transaction mechanism. Compared...
  • SEGCloud

  • Referenced in 2 articles [sw36663]
  • interpolation. Then the FC-CRF enforces global consistency and provides fine-grained semantics ... show performance comparable or superior to the state-of-the-art on all datasets...
  • forestinventory

  • Referenced in 1 article [sw15742]
  • Package forestinventory: Design-Based Global and Small Area Estimations for Multiphase Forest Inventories. Forest inventories ... assess the state and development of forests over time. They typically consist of a random ... package forestinventory provides a comprehensive set of global and small area regression estimators for multiphase...
  • SIMPLE

  • Referenced in 2 articles [sw22789]
  • structurally heterogeneous single-particles. Its basis is global optimization with the use of Fourier common ... that are optimized separately. The first group consists of the rotations and shifts ... projection; the second group consists of the projection directions and state assignments. In SIMPLE...
  • Houria III

  • Referenced in 1 article [sw00414]
  • desirable to be able to state both hard and soft constraints. The hard constraints must ... criterion used. A constraint hierarchy consists of a set of constraints, each labeled as either ... comparison used in this solver is global. It allows the comparison of some valuations, which...
  • DarkBit

  • Referenced in 1 article [sw20535]
  • matter annihilation to a multitude of final states. We also supply a direct detection package ... written in the framework of the Global And Modular Beyond the Standard Model Inference Tool ... both particle and astrophysics constraints, and a consistent treatment of systematic uncertainties. In this paper...
  • GIMRT

  • Referenced in 1 article [sw37011]
  • reactive transport in porous media. The package consists of two principal components: (1) the code ... transport, and (2) the code GIMRT (Global Implicit Multicomponent Reactive Transport) which treats ... reactive transport with a one step or global implicit approach. Although the two codes ... close to a quasi-stationary state and the numerical transport errors are less important. Where...
  • UEDGE

  • Referenced in 1 article [sw06563]
  • used for parallelization by dividing the global spatial simulation region into a set of domains ... time-dependent system is integrated to steady state. A limitation that is identified for UEDGE ... with the eventual goal of a self-consistent coupling...
  • ADOL-C

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

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

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...