University of Cambridge;
University of York;
IMDEA Software Institute;
Verification; Concurrency; Modularity; C; C++;
机译:C / C ++并发的库抽象
机译:C / C ++并发的库抽象
机译:C ++生产者-消费者并发模板库
机译:C / C ++并发的库抽象
机译:μProfiler:用于并发C ++(μC++)的并发探查器
机译:SSW库:用于基因组应用的SIMD Smith-Waterman C / C ++库
机译:C / C ++并发的库抽象