• MENUS-PGG

  • Referenced in 3 articles [sw02138]
  • model that consists of homogeneous and heterogeneous clusters of processors operating in a distributed address ... structures that support h, p, and hp- refinements. We present preliminary results indicating that...
  • BARD

  • Referenced in 2 articles [sw08274]
  • selectable metaheuristics that can be used to refine existing or randomly-generated redistricting plans based ... memory management, and distributed computing across snow clusters...
  • CMView

  • Referenced in 2 articles [sw35120]
  • domain architecture, secondary structure and contact clusters. We developed a tool called CMView which integrates ... methods. A unique feature is the interactive refinement of structural alignments based on user selected...
  • ClawHMMER

  • Referenced in 2 articles [sw23248]
  • evaluating an HMM’s Viterbi probability and refine it for the specific HMM used ... implementation running on a 16 node graphics cluster...
  • OMA

  • Referenced in 2 articles [sw34207]
  • present improvements in the OMA algorithm: (i) refining the pairwise orthology inference step to account ... scalable procedure for hierarchical orthologous group (HOG) clustering, which are several orders of magnitude faster...
  • GRAMM-X

  • Referenced in 1 article [sw22478]
  • Fourier Transformation methodology by employing smoothed potentials, refinement stage, and knowledge-based scoring ... processed by a 320 processor Linux cluster. The server was extensively tested by benchmarking, several...
  • ASPIC

  • Referenced in 3 articles [sw17147]
  • alignment and adopts dynamic programming for the refinement of intron boundaries. ASPIC also provides ... processing a single gene and an EST cluster. The ASPIC web resource is available...
  • KINSOLVER

  • Referenced in 1 article [sw00488]
  • simple Web-based interface for specifying and refining a target reaction network as well ... like the $lac$ operon and $qa$ gene cluster as well as a new circuit...
  • PAMPAC

  • Referenced in 2 articles [sw17428]
  • from previously converged results and then iteratively refined. Convergence of the iterative corrections is guaranteed ... three is attainable on a small cluster...
  • RNABC

  • Referenced in 1 article [sw10929]
  • second on the worst problem suites (clusters of bad clashes, or serious sugar pucker outliers ... suggested corrections suitable to initiate further crystallographic refinement. The program is available from...
  • Termite

  • Referenced in 0 articles [sw21633]
  • often require intensive expert verification and model refinement. In this paper we present Termite ... seriation algorithm that both reveals clustering structure and promotes the legibility of related terms...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Blitz++

  • Referenced in 22 articles [sw00082]
  • Blitz++ provides dense numeric arrays for C++ with...
  • BoomerAMG

  • Referenced in 158 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CGAL

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Chaste

  • Referenced in 44 articles [sw00122]
  • Chaste: incorporating a novel multi-scale spatial and...
  • CirCUs

  • Referenced in 9 articles [sw00128]
  • CirCUs is a satisfiability solver that works on...
  • Coq

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

  • Referenced in 61 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...