• SLMC

  • Referenced in 71 articles [sw04604]
  • analysis focuses on properties related to resource usage, localities, interference, mobility, or topology...
  • MineLib

  • Referenced in 14 articles [sw07469]
  • precedence and upper bounds on operational resource usage. Extensions of this problem can include ... lower bounds on operational resource usage, $(ii)$ the determination of whether a block is sent...
  • HILBERT

  • Referenced in 22 articles [sw08683]
  • behavior but also on the usage of critical system resources such as memory consumption...
  • TinyOS

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

  • Referenced in 6 articles [sw04151]
  • Uppaal for small experiments of verifying resource usage...
  • COSTABS

  • Referenced in 5 articles [sw09877]
  • able to prove termination and obtain resource usage bounds for both the imperative and functional...
  • Alms

  • Referenced in 4 articles [sw22720]
  • Alms, an interface can impose stiffer resource usage restrictions than the principal usage restrictions ... naturally and directly express a variety of resource management protocols from special-purpose type systems...
  • SimEvents

  • Referenced in 3 articles [sw32835]
  • effects of task timing and resource usage on the performance of distributed control systems, software...
  • ANML

  • Referenced in 2 articles [sw12930]
  • forms of action conditions, effects, and resource usage. The language supports both generative...
  • SS-Wrapper

  • Referenced in 2 articles [sw30878]
  • node on the cluster to maximize resource usage. QS-search is designed to wrap many...
  • iOverbook

  • Referenced in 1 article [sw22897]
  • cloud to extract their resource usage patterns and predict future resource usage along with ... approach, we have used a large usage trace made available by Google ... that iOverbook can help CSPs improve their resource utilization by an average...
  • VeriCount

  • Referenced in 1 article [sw25455]
  • incentive to manipulate claims about resource usage. Both desire an accurate and verifiable resource accounting ... network bandwidth while simultaneously detecting resource usage inflation attacks. We claim three main results. First ... Lastly, it generates highly accurate, fine-grained resource accounting, with no discernible difference...
  • pyrunlim

  • Referenced in 1 article [sw33068]
  • measure time and memory usage, limit resource usage, and also extract information from STDOUT...
  • LocUsT

  • Referenced in 1 article [sw20430]
  • statically check whether a given resource usage complies with a local policy. LocUsT takes ... Usages are expressed in a simple process calculus, and over-approximate all the resource accesses ... parametrized over resources. Finally, LocUsT decides whether some trace of the given usage violates some...
  • traceR

  • Referenced in 1 article [sw32419]
  • language to analyze the resource usage of an R application to locate bottlenecks. traceR consists...
  • CLIF

  • Referenced in 1 article [sw22148]
  • response times, request throughput, or computing resource usage. A quick overview of available load testing...
  • symPACK

  • Referenced in 1 article [sw16317]
  • compute interior eigenvalues. The performance and resource usage of sparse matrix factorizations are critical...
  • rt-muse

  • Referenced in 1 article [sw24727]
  • scheduling algorithm, the amount of available resources, the usage of shared resources, and the memory...
  • BCYCLIC

  • Referenced in 4 articles [sw00070]
  • optimally use the parallel resources on current supercomputers. Example usage of the solver in magneto...
  • GridBench

  • Referenced in 5 articles [sw00388]
  • user-driven resource ranking. In order to illustrate the usage of the tool, we describe...