Princeton University.;
computer architecture; hardware; heterogeneity; memory consistency; parallelism; security;
机译:异构分布式系统的并行调度与安全机制
机译:参数化验证图:对称参数化并发系统的时间验证
机译:验证编译器保留并发的值相关的信息流安全性
机译:使用符号观察图实现并行系统的并行验证
机译:并发系统的演绎机械验证。
机译:高效并行加密加速器用于实时保证嵌入式系统中的动态数据安全性
机译:并发工作台:基于语义的并发系统验证工具