• Uppaal

  • Referenced in 653 articles [sw04702]
  • valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application areas include real...
  • TREX

  • Referenced in 46 articles [sw01388]
  • through unbounded lossy FIFO channels and shared variables. This model is a subset...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • valued clocks, communicating through channels or shared variables [WPD94, LPW97b]. Typical application areas include real...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • evaluated in parallel with shared variables acting as communication channels for the passing of partial...
  • Gstat

  • Referenced in 24 articles [sw04488]
  • unconditional simulation or cosimulation. In addition, variables may share trend coefficients (e.g. for collocated cokriging...
  • FAMT

  • Referenced in 33 articles [sw11123]
  • common information shared by all the variables is modeled by a factor analysis structure...
  • CoArray

  • Referenced in 30 articles [sw04083]
  • fortran. They are special variables that can be shared across multiple instances of the same...
  • PTSC

  • Referenced in 6 articles [sw13692]
  • PTSC: probability, time and shared-variable concurrency. Complex software systems typically involve features like time ... concurrency feature is modelled using shared-variable-based communication. The probability feature is represented...
  • MPM3DMP

  • Referenced in 8 articles [sw19366]
  • Shared memory openmp parallelization of explicit MPM and its application to hypervelocity impact. The material ... dimensional auxiliary arrays are created for nodal variables. After updating grid nodes in all threads ... neighbor patches is exchanged through shared variables. After updating nodes in all patches, their nodal...
  • ESBMC

  • Referenced in 8 articles [sw09946]
  • single- and multi-threaded software (with shared variables and locks); (ii) to reason about arithmetic...
  • jPredictor

  • Referenced in 5 articles [sw23065]
  • which takes all computational dependence on shared variables into account. Therefore, such causality ... inter-thread communication involves many independent shared variables. Our approach combines the dynamic dependence with...
  • StatMatch

  • Referenced in 23 articles [sw11933]
  • same target population which share a number of common variables (aka data fusion). Some functions...
  • Symbolic Math Toolbox

  • Referenced in 37 articles [sw08398]
  • math equations. You can create, run, and share symbolic math code using the MATLAB® Live ... using variable-precision arithmetic, with the results displayed in mathematical typeset. You can share your...
  • Timed Rebeca

  • Referenced in 3 articles [sw40758]
  • purely actor-based with no shared variables and asynchronous message passing with no explicit receive ... asynchrony of actors and absence of shared variables, and the focus on events instead...
  • CFL

  • Referenced in 2 articles [sw25446]
  • Optimising shared reduction variables in MPI programs. CFL (Communication Fusion Library) is an experimental ... library which supports shared reduction variables in MPI programs. It uses overloading ... distinguish private variables from replicated, shared variables, and automatically introduces MPI communication to keep replicated...
  • FASTA

  • Referenced in 25 articles [sw09655]
  • sequences that share regions of sequence similarity that are separated by variable-length loops. FASTP...
  • HOGWILD

  • Referenced in 65 articles [sw28396]
  • called HOGWILD! which allows processors access to shared memory with the possibility of overwriting each ... only modify small parts of the decision variable, then HOGWILD! achieves a nearly optimal rate...
  • SCCharts

  • Referenced in 3 articles [sw26907]
  • earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive...
  • SymmPa

  • Referenced in 3 articles [sw08414]
  • fruitful applications of CEGAR to shared-variable concurrent software. We attribute this...
  • ProjE

  • Referenced in 3 articles [sw34444]
  • this work, we present a shared variable neural network model called ProjE that fills...