• CUDA

  • Referenced in 1140 articles [sw03258]
  • NVIDIA GPUs, math libraries, and tools for debugging and optimizing the performance of your applications...
  • MKL

  • Referenced in 108 articles [sw06975]
  • long run you’ll also save development, debug and maintenance time while knowing that...
  • COIN-OR

  • Referenced in 96 articles [sw04615]
  • idea typically requires re-implementing (and re-debugging and re-testing) the original algorithm. Often...
  • Visual C++

  • Referenced in 83 articles [sw03519]
  • languages. It features tools for developing and debugging C++ code, especially code written...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • CiaoPP can perform a number of program debugging, analysis, and source-to-source transformation tasks ... program, etc. Certain kinds of static debugging and verification, finding errors before running the program...
  • Eraser

  • Referenced in 43 articles [sw08922]
  • extremely hard to locate this mistake during debugging. This article describes a new tool, called...
  • JADE

  • Referenced in 39 articles [sw11698]
  • graphical tools that support the debugging and deployment phases. A JADE-based system...
  • CADNA

  • Referenced in 36 articles [sw00098]
  • occur at run time, a numerical debugging of the user code can be performed. CADNA...
  • Bogor

  • Referenced in 36 articles [sw06858]
  • effective technology for verification and debugging in hardware and more recently in software domains...
  • Alloy

  • Referenced in 29 articles [sw01247]
  • checking the conventions of Microsoft COM to debugging the design of a name server. Most...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • Declarative debugging of rewriting logic specifications. Declarative debugging is a semi-automatic technique that starts ... computed with this calculus to build appropriate debugging trees for both wrong (an incorrect result ... because they are incomplete), whose adequacy for debugging is proved. Using these trees we have...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • integrated flow of synthesis, verification and debugging of WoLFram is successfully applied to the verification ... short run time. The accuracy of debugging is high. Often over 99% of the fault ... left for an engineer to manually debug the faulty behavior. Again, the computational overhead...
  • ModelSim

  • Referenced in 17 articles [sw11960]
  • kernel simulator (SKS) technology with a unified debug environment for Verilog, VHDL, and SystemC ... native SKS performance with the best integrated debug and analysis environment make ModelSim® the simulator...
  • Freja

  • Referenced in 17 articles [sw13678]
  • evaluation of three systems for tracing and debugging lazy functional programs. In this paper ... compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate...
  • ATL

  • Referenced in 23 articles [sw10093]
  • using a language: editing, compiling, executing, and debugging...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging. One of the major problems with programming ... parallel/distributed environment is the difficulty in debugging the programs due to their complex interactions ... order to develop a system for debugging distributed programs and, for the more general case...
  • PLT Redex

  • Referenced in 22 articles [sw09921]
  • prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages...
  • Parsol

  • Referenced in 20 articles [sw00684]
  • code (no MPI needed), and debugs it. Once done, the parallel version of the algorithm...
  • PERUSE

  • Referenced in 16 articles [sw00703]
  • This system has been found useful for debugging apphcations of mathematical programming, quickly obtaining small...
  • PGAPack

  • Referenced in 16 articles [sw04922]
  • levels of access for expert users. Extensive debugging facilities. Large set of example problems. Detailed...