
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]
 interoperate with diverse systems. In other words, the services offered by a business should ... transactions in particular and facilitates managing both synchronous and longrunning Eservices that...

Grex
 Referenced in 2 articles
[sw17472]
 input data of variable sizes, such as words in ebooks 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 highlevel language and interactive...

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. 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, opensource 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...