
HykSort
 Referenced in 2 articles
[sw17476]
 which we compare hypercube sort, bitonic sort, the original samplesort, the staged samplesort, and HykSort ... results and study the effect of the grain size. It turns out that no single ... Ridge National Laboratory we sorted 8 trillion 32bit integer keys in 37 seconds achieving...

provenance
 Referenced in 0 articles
[sw15600]
 measures. Univariate provenance proxies, such as singlegrain ages or (isotopic) compositions are compared with ... assess the effects of hydraulic sorting on detrital compositions. Includes an intuitive querybased user...

ATLAS
 Referenced in 194 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

Coq
 Referenced in 1706 articles
[sw00161]
 Coq is a formal proof management system. It...

Dafny
 Referenced in 60 articles
[sw00183]
 Dafny is an imperative objectbased language with...

Gmsh
 Referenced in 449 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

LAPACK
 Referenced in 1552 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

MapReduce
 Referenced in 230 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Matlab
 Referenced in 11146 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 7170 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1432 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

ML
 Referenced in 491 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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

Visual C++
 Referenced in 83 articles
[sw03519]
 Microsoft Visual C++ (often abbreviated as MSVC or...

JDQR
 Referenced in 455 articles
[sw04021]
 From this page you can get a Matlab...

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

Valgrind
 Referenced in 55 articles
[sw04420]
 Valgrind is an instrumentation framework for building dynamic...

JML
 Referenced in 187 articles
[sw04597]
 The Java Modeling Language (JML) is a behavioral...

Spec#
 Referenced in 117 articles
[sw04598]
 The Spec# programming system is a new attempt...