Petri nets; benchmark testing; concurrency (computers); formal verification; multiprocessing programs; BenchKit; MCC; Petri net; massive concurrent benchmarking; model checking contest; multicore computers; Benchmark testing; Computers; Context; Kernel; Magnetic heads; Monitoring; Virtualization; Distributed Computing; Evaluation of programs; Virtual machines;
机译:单底漆浓缩技术作为大规模基因分型的工具:黑色杨树和玉米的基准
机译:火灾环境中用于分析大量放射性物质包装的快速运行计算工具的基准
机译:在非专用群集上基于负载均衡的NAS并行基准测试与BYTE顺序基准测试的并发执行
机译:BenchKit,用于大规模并发基准测试的工具
机译:海量文件系统目录的规模和并发性
机译:单底漆浓缩技术作为大规模基因分型的工具:黑色杨树和玉米上的基准
机译:单底漆浓缩技术作为大规模基因分型的工具:黑色杨树和玉米上的基准