• ADABU

  • Referenced in 7 articles [sw15736]
  • actual program executions to construct state machines that summarize object behavior. These state machines, called ... object behavior models, capture the relationships between two kinds of methods: mutators that change...
  • Anima

  • Referenced in 4 articles [sw10101]
  • life during the program execution. Starting from a selected state in the computation tree ... Anima graphical tool, allows users to capture the impact of a given criterion thereby facilitating...
  • Eleven82

  • Referenced in 1 article [sw17445]
  • encoding that blends the capture of snapshots of pre-crash states into a symbolic search ... proof that recovery terminates and every recovered execution simulates some crash-free execution. Our encoding...
  • JikesRVM

  • Referenced in 4 articles [sw01997]
  • contexts is demanding increasingly powerful languages and execution environments, able to provide programmers with appropriate ... scheduler that allows applications to easily capture the state of a running thread and makes...
  • Arya

  • Referenced in 1 article [sw28501]
  • knowledge proof of knowledge for the correct execution of a program on public and private ... current state of the art proof systems. We use the TinyRAM model to capture general ... communication are sublinear in the execution time of the program and we only...
  • tsan

  • Referenced in 1 article [sw21723]
  • state-of-the-art ThreadSanitizer (tsan) tool for C/C++ considers only sequentially consistent program executions ... race analysis for C/C++11 that correctly captures C/C++11 synchronisation, and uses instrumentation...
  • TinyBERT

  • Referenced in 2 articles [sw32564]
  • intensive, so it is difficult to effectively execute them on some resource-restricted devices ... stages. This framework ensures that TinyBERT can capture both the general-domain and task-specific ... inference. TinyBERT is also significantly better than state-of-the-art baselines on BERT distillation...
  • ProFound

  • Referenced in 1 article [sw28990]
  • ProFound is that all photometry is executed on dilated segmentation maps that fully contain ... demonstrate that it behaves reasonably given its stated design goals. In particular, it offers good ... sometimes complex geometry of resolved sources, whilst capturing nearly all of the flux. A number...
  • UniCon3D

  • Referenced in 0 articles [sw34253]
  • novel generative, probabilistic model that simultaneously captures local structural preferences of backbone and side chain ... 10th CASP experiment; and (iii) outperform two state-of-the-art approaches and a baseline ... CASP. Availability and Implementation: Source code, executable versions, manuals and example data of UniCon3D...
  • CUTE

  • Referenced in 64 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • LAPACK

  • Referenced in 1647 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • MapReduce

  • Referenced in 253 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • TAXYS: A tool for the development and verification...
  • CUDA

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

  • Referenced in 624 articles [sw03484]
  • PVS is a verification system: that is, a...
  • MUMPS

  • Referenced in 438 articles [sw04013]
  • Solution of large linear systems with symmetric positive...
  • CPLEX

  • Referenced in 2602 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...