
Trustedpals
 Referenced in 6 articles
[sw09013]
 faulttolerance problem at the level of security modules. Since the critical part...

ReviveNet
 Referenced in 0 articles
[sw20998]
 timing adaptation mechanism to tolerate aginginduced delay on critical paths. On the evaluation...

DAGMap
 Referenced in 4 articles
[sw08443]
 high resource utilization efficiency, while providing fault tolerance. Based on list scheduling and group scheduling ... dependency relationships and task upward priority; (2) Critical tasks are scheduled first...

JackHare
 Referenced in 1 article
[sw27956]
 process the largescale data is a critical issue in either the relational database system ... database. With the inherent scalability and fault tolerance of Hadoop, MapReduce is attractive to process...

WADE
 Referenced in 3 articles
[sw08954]
 this paper, we describe two mission critical applications currently deployed by Telecom Italia ... both in terms of administration and fault tolerance. In this paper in particular we focus...

EigenCFA
 Referenced in 3 articles
[sw14136]
 arithmetic, dataparallel computations with a poor tolerance for branching. Taking that perspective ... operations turned out to be the critical accelerants. Because controlflow graphs are sparse...

BicSPAM
 Referenced in 3 articles
[sw29972]
 using sequential patterns. Background: Biclustering is a critical task for biomedical applications. Orderpreserving biclusters ... algorithms to perform flexible, exhaustive and noisetolerant biclustering based on sequential patterns (BicSPAM). Strategies...

eigentools
 Referenced in 1 article
[sw39234]
 with userspecifiable norms; tools to find critical parameters for linear stability analysis; ability ... ratios (both ordinal and nearest) to evaluate tolerance for eigenvalue rejection...

Drizzle
 Referenced in 1 article
[sw28750]
 They are often used to run missioncritical applications, and must be available 24x7. Thus ... from the coordination interval used for fault tolerance and adaptability. Our experiments...

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

ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

MPDATA
 Referenced in 78 articles
[sw00596]
 MPDATA: A finitedifference solver for geophysical flows...