...
机译:冲突异常:使用精确的数据异常硬件异常简化并发语言语义
University of Washington;
University of Washington;
rnUniversity of Washington Microsoft Research;
rnUniversity of Washington Microsoft Research;
rnHP Labs;
multicores; memory consistency models; threads; data-races; bug detection;
机译:通过分布式/并行异常解析扩展常规语言
机译:新的硬件方案支持无序执行的精确异常处理
机译:语言和算术:找不到异常短语和减法或加法之间的跨认知域语义启动
机译:冲突异常:使用精确的数据异常硬件异常简化并发语言语义
机译:数据竞赛例外的软件和硬件支持。
机译:语言和算术:找不到异常短语和减法或加法之间的跨认知域语义启动
机译:并行编程语言中静态异常的并发语义
机译:计算科学:利用异常流分析提高协同并发系统的可靠性