• DOTcvpSB

  • Referenced in 4 articles [sw07305]
  • oscillatory system to synchronize oscillations, remove oscillations, etc. In other words, DO allows the computation...
  • pico ql

  • Referenced in 2 articles [sw13847]
  • Valgrind instruments at the time. In other words, while Valgrind tools gather metadata about ... query the metadata using SQL queries. Synchronization issues are skipped using a simple stop...
  • Epsilonwriter

  • Referenced in 0 articles [sw07191]
  • epsilonwriter: software for word and formula processing to easily create documents, questionnaires, web pages, emails ... Chat and a first system of Synchronous Collaborative Documents...
  • BizBuilder

  • Referenced in 3 articles [sw01766]
  • inter-operate with diverse systems. In other words, the services offered by a business should ... transactions in particular and facilitates managing both synchronous and long-running E-services that...
  • Grex

  • Referenced in 2 articles [sw17472]
  • input data of variable sizes, such as words in e-books or URLs ... locks or atomic operations for thread synchronization. The experimental results show that our system...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 2986 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6041 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • polymake

  • Referenced in 299 articles [sw00724]
  • polymake is open source software for research in...
  • R

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

  • Referenced in 1714 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • TESTAS

  • Referenced in 18 articles [sw00957]
  • We implement a set of procedures for deciding...
  • Modula

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...