ENS Cachan Bretagne - IRISA;
ENS Cachan Bretagne - IRISA Purdue University;
Purdue University;
INRIA Rennes Purdue University;
Concurrency; Java; Memory Model; Verified Compilation;
机译:计划B:Java的缓冲内存模型
机译:使用基于IC芯片的Java Card系统的RAM存储器,基于事务缓冲区的applet下载速度的改进
机译:JDMM:用于非高速缓存一致性内存架构的Java内存模型
机译:计划B:Java的缓冲内存模型
机译:Java内存模型感知模型检查
机译:振荡性短期内存缓冲区模型可以解释Sternberg任务上的数据
机译:Java和Java内存模型 - 统一,机器检查的形式化