Search Results for "linux command"

BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for rendering & geometric analyses, network distributed framebuffer support, image & signal-processing tools.

Usage: parexec NUMTHREADS where NUMTHREADS is the number of commands you want to execute in parallel The commands are read from stdin. Empty lines are ignored. Lines containing a single `-' instruct parexec to wait until all previous commands have finished before starting to execute further commands. When sending a SIGINT to parexec (usually done when you hit CTRL-C) it will wait for currently running processes, but if they are done parexec will exit ignoring all the following...

System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.

CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.