• TomoPhantom

  • Referenced in 1 article [sw32603]
  • projections which further extends the applicability of software towards more realistic, free from the “inverse ... easy access. Due to C-based multi-threaded implementation, volumetric phantoms of high spatial resolution...
  • CAM

  • Referenced in 1 article [sw10896]
  • mixed nonnegative sources. This open-source multiplatform software implements recent and classic algorithms ... update and convenient visual monitoring; (3) multi-thread interactions between the R and Java modules ... Java GUI, assuring that the whole CAM software runs responsively; (4) the package offers...
  • CoreSNP

  • Referenced in 2 articles [sw20558]
  • investigated. This paper presents a new parallel software tool named coreSNP for the parallel preprocessing ... Affymetrix for pharmacogenomics studies. The scalable multi-threaded implementation of coreSNP allows to handle...
  • CasparCG

  • Referenced in 1 article [sw09869]
  • CasparCG: professional graphics and video play-out software. Plays simultaneous layers of dynamic graphics, videos ... disk. High-performance with asynchronous and multi-threaded I/O and paired with GPU-accelerated real ... typical computer running the CasparCG Server software can simultaneously play back several 1080p50 videos with...
  • JikesRVM

  • Referenced in 4 articles [sw01997]
  • complex software, even distributed, but it cannot handle the migration of computations (i.e. threads ... literature, this paper presents our thread migration framework (called Mobile JikesRVM), implemented ... easily capture the state of a running thread and makes it possible to restore ... thread serialization mechanism provides support for both proactive and reactive migration, available also for multi...
  • monabs

  • Referenced in 2 articles [sw18507]
  • Lost in abstraction: monotonicity in multi-threaded programs. Monotonicity in concurrent systems stipulates that ... both natural and useful: if every thread’s memory is finite, monotonicity often guarantees ... running threads is unknown. In this paper, we show that finite-data thread abstractions ... odds with monotonicity: predicate-abstracting monotone software can result in non-monotone Boolean programs...
  • AMORE

  • Referenced in 1 article [sw30655]
  • performed extensive experiments with open-source recommendation software such as Apache Mahout and Lens ... results indicate that our own custom multi-threaded implementation of collaborative filtering combined with...
  • ARGoS

  • Referenced in 3 articles [sw33798]
  • architecture is multi-threaded, thus designed to optimize the usage of modern multi-core CPUs ... sufficient simulation accuracy. ARGoS is open source software licensed under GPL3 and is downloadable free...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • little use of formal methods to debug software in this area, given that the scientific ... scale MPI programs also employ shared memory threads to manage concurrency within smaller task ... requirements employing aggressive techniques such as multi-threading. We have built a model extractor that ... specific avenues for problem- driven advances in software model-checking applied to scientific computing software...
  • Panoply

  • Referenced in 1 article [sw25456]
  • Enclave memory is isolated from all other software on the system, even from the privileged ... logic, including access to filesystems, network, multi-threading, multi-processing and thread synchronization primitives. Further...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • APL

  • Referenced in 74 articles [sw01165]
  • APL (named after the book A Programming Language...
  • ML

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • CartaBlanca

  • Referenced in 7 articles [sw01546]
  • CartaBlanca - a pure-Java, component-based systems simulation...
  • LogiMOO

  • Referenced in 8 articles [sw01573]
  • LogiMOO: An extensible multi-user virtual world with...
  • OmniRPC

  • Referenced in 13 articles [sw01610]
  • OmniRPC: A grid RPC facility for cluster and...
  • BLAST

  • Referenced in 125 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • CUDA

  • Referenced in 1185 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...