• Stata

  • Referenced in 812 articles [sw06029]
  • modeling (SEM), contrasts, ARFIMA, business calendars, chained equations for multiple imputation, contour plots, automatic memory...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • specify properties formally that the model should obey and prove them as theorems using ... Time Warp protocol on a distributed memory parallel architecture...
  • Checkfence

  • Referenced in 19 articles [sw09939]
  • with respect to a selected memory model. CheckFence soundly verifies or falsifies the implementation ... arrays, structures, function calls, locks, and dynamic memory allocation. CheckFence ... lets the user specify the desired memory model in an axiomatic format. If a test...
  • WhyML

  • Referenced in 25 articles [sw09709]
  • that obviates the use of a memory model. A user can write WhyML programs directly...
  • StFinMetrics

  • Referenced in 34 articles [sw29976]
  • autoregressive and multivariate GARCH models; modelling of long memory time series (including fractional ARIMA...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • layers, each with its own API. Models of protocols at one layer interact with those ... distributed memory multicomputer. These experiments use models constructed from the library modules...
  • UMM

  • Referenced in 8 articles [sw10132]
  • operational memory model specification framework with integrated model checking capability. Given the complicated nature ... integrates two key features to support memory model verification: (i) it employs a simple ... capture a large collection of memory models as guarded commands with a uniform notation ... about thread behaviors. Using this framework, memory models can be specified in a parameterized style...
  • PEPS

  • Referenced in 34 articles [sw03186]
  • PEPStool using distributed memory is proposed and modelled with SAN formalism.After, the sequential version...
  • StarPU

  • Referenced in 39 articles [sw14216]
  • software virtual shared memory that provides a weak consistency model. The system keeps track ... data copies within accelerator embedded-memories and features a data-prefetching engine. Such facilities, together ... database of self-tuned per-task performance models, can be used to greatly improve...
  • lobpcg.m

  • Referenced in 127 articles [sw24008]
  • compared with this “ideal” algorithm on our model test problems in terms of the speed ... convergence, costs of every iteration, and memory requirements. We provide such comparison for our LOBPCG...
  • CompCertTSO

  • Referenced in 12 articles [sw08230]
  • surprisingly subtle by several factors: the relaxed-memory behavior of the hardware, the effects ... desire for a reasonably simple programming model. In turn, this complexity makes verified compilation both ... Clight in which the TSO-based memory model of x86 multiprocessors is exposed for high ... does not run out of memory) is also possible in the source semantics. We also...
  • ParaDisEO

  • Referenced in 43 articles [sw01948]
  • parallel and distributed models. Their implementation is portable on distributed-memory machines as well ... memory multiprocessors, as it uses standard libraries such as MPI, PVM and PThreads. The models...
  • E-Surge

  • Referenced in 12 articles [sw11780]
  • encompass this new class of capture–recapture models. It also improves on m-surge ... with a version of a memory model where survival can be handled directly...
  • ScalFMM

  • Referenced in 12 articles [sw27617]
  • works in parallel in a shared/distributed memory model using OpenMP and MPI. The software architecture...
  • DiVer

  • Referenced in 10 articles [sw01938]
  • Checking and Induction for proofs, Efficient Memory Modeling (EMM) and its combination with PBIA...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • race-free executions in the Java memory model. We generalize this definition to executions that...
  • CDSChecker

  • Referenced in 5 articles [sw21725]
  • level atomic operations and a weak memory model, enabling developers to write portable and efficient ... especially difficult under a weak memory model, where code behavior can be surprising. Building reliable ... concurrent code under the C/C++ memory model. We develop several novel techniques for modeling ... relaxed behaviors allowed by the memory model and for minimizing the number of execution behaviors...
  • WeightedPortTest

  • Referenced in 11 articles [sw12429]
  • check the adequacy of a fitted nonlinear model. Simulation evidence indicates that the proposed goodness ... literature, particularly in detecting long-memory nonlinear models. The efficacy of the proposed methods...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • distribution is addressed in shared-memory model where processes are constrained by their ability...
  • ART 3

  • Referenced in 27 articles [sw08755]
  • presynaptic transmitter dynamics to model the postsynaptic short-term memory representation of a pattern recognition...