Universite du Sud Toulon-Var LSIS - Equipe INCOD - UMR CNRS 6168 Avenue de l'Universite, BP 20132 F-83957 La Garde cedex, France;
机译:使用指针对数据结构的并发维护策略进行建模和分析
机译:基于图的语义模型从半结构化数据中提取局部模式
机译:基于图的语义模型从半结构化数据中提取局部模式
机译:MSXD:在相同的文本数据上定义的并发结构的模型和架构
机译:CDSSpec:在C / C ++ 11内存模型下测试并发数据结构
机译:文本和结构化数据的数据挖掘组合方法以识别与癌症相关的目标
机译:关于模型检查在有界和无界验证中的使用非阻塞并发数据结构
机译:并发模式和数据更新下的数据仓库维护