• SparseMatrix

  • Referenced in 660 articles [sw04629]
  • robust and repeatable experiments: robust because performance results with artificially-generated matrices can be misleading ... graphs). We provide software for accessing and managing the Collection, from MATLAB, Mathematica, Fortran...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • Petri-net-based workflow analyzer. Workflow management technology promises a flexible solution for business-process ... design-time are not detected and result in very costly failures at run-time. Woflan ... Woflan can interface with several workflow management systems and BPR tools. The challenge ... strong theoretical results and practical experiences with contemporary workflow management system...
  • PHAVer

  • Referenced in 116 articles [sw04123]
  • Library, which supports arbitrarily large numbers. To manage the complexity of the polyhedral computations ... bits and constraints of polyhedra. Experimental results for a navigation benchmark and a tunnel diode...
  • Condor-G

  • Referenced in 49 articles [sw09651]
  • handles job management, resource selection, security, and fault tolerance. We also present results from application...
  • IKOS

  • Referenced in 3 articles [sw14865]
  • code parsing, model development, abstract domain management, results management, and analysis strategy. The benefits...
  • LISP

  • Referenced in 126 articles [sw07201]
  • science, including tree data structures, automatic storage management, dynamic typing, conditionals, higher-order functions, recursion ... itself made up of lists. As a result, Lisp programs can manipulate source code...
  • GridFlow

  • Referenced in 18 articles [sw08435]
  • applied to address new challenges of workflow management in a cross-domain and highly dynamic ... given and corresponding results indicate that local and global grid workflow management can coordinate with...
  • Metagraphs

  • Referenced in 20 articles [sw01368]
  • difficult to manage in an effective manner. As a result users often gravitate...
  • MASCARET

  • Referenced in 12 articles [sw37970]
  • floodplains; Submersion wave resulting from dam break; Regulation of managed rivers; Flow in torrents, Canals...
  • SIRIUS

  • Referenced in 4 articles [sw14027]
  • possible structures to a hopefully manageable set. Results: We present a method for determining...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • taken advantage of by the memory management system. We explain how we designed and implemented ... Library that builds upon these peculiarities. Experimental results on various programs validate our approach...
  • InteGrade

  • Referenced in 7 articles [sw10214]
  • related fields of application scheduling, execution management, and fault tolerance. We present our solutions, describing ... evaluation through the analysis of several experimental results...
  • VESTA

  • Referenced in 10 articles [sw02978]
  • generally known how to make a configuration management system that is both easy ... result, the world is full of easy-to-use, small-scale configuration management tools ... mature system. It is the result of over 10 years of research and development ... United States. The group used Vesta to manage builds with as much...
  • STATISTICA

  • Referenced in 37 articles [sw00913]
  • most comprehensive array of data analysis, data management, data visualization, and data mining solutions. Techniques ... decades of history in delivering successful business results for our customers, a global user base...
  • MPICH-G2

  • Referenced in 35 articles [sw02373]
  • library also exploits MPI constructs for performance management; for example, the MPI communicator construct ... MPICH-G2 design and implementation, present performance results, and review application experiences, including record-setting...
  • BamTools

  • Referenced in 3 articles [sw35121]
  • toolkit for analyzing and managing BAM files. Motivation: Analysis of genomic sequencing data requires efficient ... access to alignment results and flexible data management tools (e.g. filtering, merging, sorting, etc.). However ... based parsers commonly used in bioinformatics research. Results: We introduce a software suite for programmers ... users that facilitates research analysis and data management using BAM files. BamTools provides both...
  • COUPLEX

  • Referenced in 31 articles [sw07861]
  • used for safety assessments in nuclear waste management. It leads to a classical convection diffusion ... time, very different time scales and accurate results expected even after millions of years...
  • INGENIAS

  • Referenced in 11 articles [sw02954]
  • result of the experience developing MAS in different areas, such as workflow management systems, recommender...
  • DUNE-FEM

  • Referenced in 26 articles [sw03084]
  • dune.mathematik.uni-freiburg.de}). By using interface classes, we manage to separate functionality from data structures. Efficiency ... concept, and template metaprogramming. We present numerical results for several benchmark problems and some advanced...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • innovative modular, cloud-ready architecture, powerful management and automation, and world class developer productivity ... value more quickly and with greater flexibility, resulting in lower costs, straightforward scale...