Nathalie Furmento f5fe5ad465 StarPU: Use character _ instead of - in filenames vor 15 Jahren
..
gnuplot_sched.sh 0806fc8876 Add missing license headers (yes, trips can be annoying) vor 16 Jahren
prio.r f5fe5ad465 StarPU: Use character _ instead of - in filenames vor 15 Jahren
sched.r f5fe5ad465 StarPU: Use character _ instead of - in filenames vor 15 Jahren
sched.sh 0eb83b50b2 Prefix variable names SCHED, CALIBRATE, PREFETCH, and LOGFILENAME with STARPU_ vor 15 Jahren
sched_one_gpu.sh f5fe5ad465 StarPU: Use character _ instead of - in filenames vor 15 Jahren