• SLMC

  • Referenced in 71 articles [sw04604]
  • However, when the analysis focuses on properties related to resource usage, localities, interference, mobility ... currently available tool that supports the combined analysis of behavioral and spatial properties of systems...
  • TinyOS

  • Referenced in 7 articles [sw02023]
  • examples and present an analysis of the toolkit’s resource usage and performance characteristics...
  • ResAna

  • Referenced in 2 articles [sw13769]
  • three types of resource analysis: loop-bound analysis, heap-space usage analysis and stack analysis ... usage analysis requires COSTA. Stack-space analysis requires the proprietary VeriFlux tool, therefore this analysis ... work of the Radboud University Resource Analysis team, lead by Marko van Eekelen...
  • Wolfram Functions Site

  • Referenced in 29 articles [sw13597]
  • Wolfram Functions Site was created as a resource for the educational, mathematical, and scientific communities ... physics and the elementary functions of mathematical analysis as well as the interrelationships between ... StandardForm enable their quick and easy usage from within Mathematica. MathML enables typeset mathematics ... technical information as part of the Wolfram Resource Library...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • resource usage bounds for both the imperative and functional fragments of programs. The resources that ... number of asynchronous calls, among others. The analysis bounds provide formal guarantees that the execution...
  • GridBench

  • Referenced in 5 articles [sw00388]
  • tool can be used in the analysis of benchmarking results and how the measurements ... resource selection and user-driven resource ranking. In order to illustrate the usage...
  • traceR

  • Referenced in 1 article [sw32419]
  • language to analyze the resource usage of an R application to locate bottlenecks. traceR consists ... gathered in an SQLite database for convenient analysis. The current version of traceR was inspired...
  • BAL

  • Referenced in 1 article [sw09776]
  • incorporating resources as well. BAL begins by first making the syntactic analysis of the system ... relevant to optimize of the maximum throughout. Usage of BAL tool is illustrated...
  • OSG-KINC

  • Referenced in 1 article [sw29629]
  • science grid. Gene Co-expression Network (GCN) analysis is a method to characterize the complexity ... KINC - Knowledge Independent Network Construction - using resources available on the Open Science Grid ... KINC workflow, providing an example GCN resource for biological hypothesis testing. Timing experiments demonstrate that ... workflow. An overview of workflow usage, bottlenecks, and efforts for improvement is provided. OSG-KINC...
  • rt-muse

  • Referenced in 1 article [sw24727]
  • these guarantees are properly quantified using theoretical analysis that carries on to the implementation ... scheduling algorithm, the amount of available resources, the usage of shared resources, and the memory...
  • Coq

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

  • Referenced in 11 articles [sw00265]
  • We describe FATCOP 2.0, a new parallel mixed...
  • LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PSPLIB

  • Referenced in 250 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

  • Referenced in 8359 articles [sw00771]
  • R is a language and environment for statistical...
  • ScaLAPACK

  • Referenced in 404 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • SCIP

  • Referenced in 459 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • PRISM

  • Referenced in 406 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...