IST Austria;
University of Salzburg;
(concurrent) data structures; relaxed semantics; quantitative models; costs;
机译:并发数据结构的数量松弛。
机译:并行数据结构的数量松弛
机译:用于高度并发数据结构的集成规范和验证技术
机译:并发数据结构的定量松弛
机译:试图理解分布式数据结构的放松
机译:TLE中纵向弛豫时间(qT1)映射的定量测量:皮层内微结构的标志?
机译:并发数据结构的数量松弛
机译:松弛应用于匹配定量关系结构。