• OCaml

  • Referenced in 276 articles [sw06363]
  • portability. The OCaml distribution includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex...
  • Risa/Asir

  • Referenced in 118 articles [sw00806]
  • component (the memory manager), a free software distributed by Boehm (gc-6.1alpha5 ... language. Furthermore, it has a debugger that provide a subset of commands...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • tools such as the Mosel debugger and profiler. The Mosel libraries provide the neccessary functionality ... model, and as a new feature, distributed computation using a heterogeneous network of computers...
  • SPiDER

  • Referenced in 3 articles [sw00900]
  • advanced symbolic debugger for Fortran 90/HPF programs. Debuggers play an important role in developing parallel ... state of many processes, to present distributed information in a concise and clear ... message-passing programs with a high-level debugger that interfaces with an HPF compiler. SPiDER ... included in SPiDER to visualize data distributions, data-toprocessor mapping relationships, and array values. SPiDER...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • massively parallel computers. Along with a parallel debugger and a performance monitor, this environment provides ... local refinement and dynamic repartioning of meshes distributed over a processor array. The constituent routines...
  • BigDebug

  • Referenced in 1 article [sw27739]
  • traditional debugger such as gdb, because pausing the entire computation across distributed worker nodes causes ... demand watchpoints allow users to selectively examine distributed, intermediate data on the cloud with little ... time saving compared to the baseline replay debugger. The results show that BigDebug supports debugging...
  • NFTAPE

  • Referenced in 1 article [sw38951]
  • from two main limitations for use in distributed systems: (1) no single tool is sufficient ... lightweight fault injectors, including driver-based, debugger-based, target-specific, simulation-based, hardware-based...
  • Macaulay2

  • Referenced in 1963 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • veriSoft

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

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • DAQV

  • Referenced in 5 articles [sw02173]
  • DAQV: Distributed Array Query and Visualization Framework. This...
  • C-DVM

  • Referenced in 6 articles [sw02192]
  • C-DVM -- language for portable parallel programs development...
  • PETSc

  • Referenced in 1599 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • Prolog

  • Referenced in 70 articles [sw06518]
  • GNU Prolog is a free Prolog compiler with...
  • CUMULVS

  • Referenced in 17 articles [sw06757]
  • CUMULVS: Collaborative User Migration, User Library for Visualization...
  • JavaScript

  • Referenced in 167 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • Java bytecode instrumentation made easy: The disl framework...
  • Eraser

  • Referenced in 45 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded...
  • Polyp

  • Referenced in 33 articles [sw09131]
  • PolyP — a polytypic programming language extension. Many functions...
  • SPLASH-2

  • Referenced in 45 articles [sw09604]
  • The SPLASH-2 programs: characterization and methodological considerations...