• StarPU

  • Referenced in 41 articles [sw14216]
  • software virtual shared memory that provides a weak consistency model. The system keeps track...
  • TSOTool

  • Referenced in 5 articles [sw10131]
  • verifying memory systems using the memory consistency model. In this paper, we describe TSOtool ... program to check thebehavior of the memory subsystem in a shared memorymultiprocessor. TSOtool runs pseudo ... compliant with theTotal Store Order (TSO) memory consistency model; it thenchecks the results ... formal TSOspecification. Such analysis can expose subtle memory errorslike data corruption, atomicity violation and illegalinstruction...
  • UMM

  • Referenced in 8 articles [sw10132]
  • systematic approach to specifying and analyzing memory consistency requirements. In this paper, we present ... integrates two key features to support memory model verification: (i) it employs a simple ... model. We formalize several classical memory models, including Sequential Consistency, Coherence, and PRAM, to illustrate ... alternative specification of the Java memory model, based on a proposal from Manson and Pugh...
  • CBMC

  • Referenced in 86 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI-C and C++ programs. It also supports ... check ANSI-C and C++ for consistency with other languages, such as Verilog. The verification ... embedded software, it also supports dynamic memory allocation using malloc and new. For questions about...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • layers, each with its own API. Models of protocols at one layer interact with those ... these APIs. The modular implementation enables consistent comparison of multiple protocols at a given layer ... distributed memory multicomputer. These experiments use models constructed from the library modules...
  • SPRINT

  • Referenced in 39 articles [sw11760]
  • called SPRINT that removes all of the memory restrictions, and is fast and scalable ... work together to build a single consistent model. This parallelization, also presented here, exhibits excellent...
  • KORBX

  • Referenced in 56 articles [sw04341]
  • consists of both hardware, which uses parallel processing technology configured with 256 MB of memory ... linear programming application models being used by the staff of the Military Airlift Command...
  • OctoMap

  • Referenced in 6 articles [sw17347]
  • representation efficiently and models the data consistently while keeping the memory requirement at a minimum...
  • STAPL

  • Referenced in 16 articles [sw00910]
  • Standard Template Library (STL). It is sequentially consistent for functions with the same name ... processor systems that utilize shared or distributed memory. STAPL is implemented using simple parallel extensions ... that currently provide a SPMD model of parallelism, and supports nested parallelism. The library...
  • PUMI

  • Referenced in 10 articles [sw17573]
  • mesh entities across multiple memory spaces in a manner consistent with supporting massively parallel simulation ... mesh maintains links to the high-level model definition in terms of a model topology...
  • Weak2SC

  • Referenced in 1 article [sw18521]
  • consistent (SC) memory. Verification of concurrent programs consequently needs to take the memory model...
  • tsan

  • Referenced in 1 article [sw21723]
  • synchronisation associated with the C/C++11 memory model mean that data races can be difficult ... tsan) tool for C/C++ considers only sequentially consistent program executions, and does not correctly model ... sequentially consistent executions. We concisely define the memory model fragment captured by our instrumentation...
  • Figaro

  • Referenced in 2 articles [sw00289]
  • memory policies for search (trailing vs copying), consistency algorithms, failure handling and support for modeling ... abstractions for investigating programmable search algorithms and memory policies in a C++ constraint programming library...
  • kdtree++

  • Referenced in 11 articles [sw28526]
  • using OpenCL implementation of 3D Peridynamics model on GPU platform. Peridynamics is a non-local ... memory or compute bound are analyzed. In all test cases reported, the OpenCL implementation consistently...
  • ALBERT

  • Referenced in 10 articles [sw36207]
  • present two parameter-reduction techniques to lower memory consumption and increase the training speed ... shows that our proposed methods lead to models that scale much better compared ... that focuses on modeling inter-sentence coherence, and show it consistently helps downstream tasks with...
  • ArchC

  • Referenced in 2 articles [sw07845]
  • consistency of a refined ArchC model against a reference (functional) description, memory hierarchy modeling capability...
  • FastGCN

  • Referenced in 9 articles [sw38089]
  • graph model for semi-supervised learning. This model, however, was originally designed to be learned ... neighborhood expansion across layers poses time and memory challenges for training with large, dense graphs ... Monte Carlo approaches to consistently estimate the integrals, which in turn leads to a batched ... effectiveness compared with GCN and related models. In particular, training is orders of magnitude more...
  • MENUS-PGG

  • Referenced in 3 articles [sw02138]
  • numerical solution of PDEs on distributed memory multiprocessor systems are based on the data mapping ... support only the data parallel programming model, MENUS-PGG generates and maintains grids ... model. MENUS-PGG assumes a machine model that consists of homogeneous and heterogeneous clusters ... distributed address space implemented on a remote memory modules via message passing through a high...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • execution, it is guaranteed to be sequentially consistent. This strong guarantee helps to rule ... race-free executions in the Java memory model. We generalize this definition to executions that...
  • MemNet

  • Referenced in 6 articles [sw38076]
  • rarely realized for these very deep models, which results in the prior states/layers having little ... very deep persistent memory network (MemNet) that introduces a memory block, consisting of a recursive...