RunLim: This is a tool for sampling and limiting time and memory usage of a program and its child processes using the proc file system on Linux. Time and space limits are also supported. It is helpful for benchmarking and running competitions. See README for more information. The latest version also supports limits on wall clock time and thus can control runs of multi-threaded programs on multi-core machines as well.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Xie, Dingbao; Bu, Lei; Zhao, Jianhua; Li, Xuandong: SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (2014)
- Charwat, Günther; Ianni, Giovambattista; Krennwallner, Thomas; Kronegger, Martin; Pfandler, Andreas; Redl, Christoph; Schwengerer, Martin; Spendier, Lara Katharina; Wallner, Johannes Peter; Xiao, Guohui: VCWC: a versioning competition workflow compiler (2013)
Further publications can be found at: http://fmv.jku.at/papers/index.html