-
Trustedpals
- Referenced in 6 articles
[sw09013]
- fault-tolerance problem at the level of security modules. Since the critical part...
-
ReviveNet
- Referenced in 0 articles
[sw20998]
- timing adaptation mechanism to tolerate aging-induced 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 large-scale 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, data-parallel computations with a poor tolerance for branching. Taking that perspective ... operations turned out to be the critical accelerants. Because control-flow graphs are sparse...
-
BicSPAM
- Referenced in 3 articles
[sw29972]
- using sequential patterns. Background: Biclustering is a critical task for biomedical applications. Order-preserving biclusters ... algorithms to perform flexible, exhaustive and noise-tolerant biclustering based on sequential patterns (BicSPAM). Strategies...
-
eigentools
- Referenced in 1 article
[sw39234]
- with user-specifiable 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 mission-critical 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 high-level language and interactive...
-
MPDATA
- Referenced in 78 articles
[sw00596]
- MPDATA: A finite-difference solver for geophysical flows...