机译:单元的设计,实现和评估:虚拟智能手机架构
Computer Science Department, Columbia University, 450 Computer Science Building, 1214 Amsterdam Avenue, Mailcode: 0401, New York, NY 10027-7003;
Computer Science Department, Columbia University, 450 Computer Science Building, 1214 Amsterdam Avenue, Mailcode: 0401, New York, NY 10027-7003;
Computer Science Department, Columbia University, 450 Computer Science Building, 1214 Amsterdam Avenue, Mailcode: 0401, New York, NY 10027-7003;
Computer Science Department, Columbia University, 450 Computer Science Building, 1214 Amsterdam Avenue, Mailcode: 0401, New York, NY 10027-7003;
Computer Science Department, Columbia University, 450 Computer Science Building, 1214 Amsterdam Avenue, Mailcode: 0401, New York, NY 10027-7003;
android; smartphones; virtualization;
机译:网格虚拟化引擎:设计,实施和评估
机译:飞行器设计分层虚拟仿真运行与架构设计评估模型
机译:非易失性内存体系结构中的正交持久性:Java虚拟机的持久性堆设计及其实现
机译:单元:虚拟移动智能手机架构
机译:对现代架构嵌套虚拟化的软件和架构支持的设计,实现和评估
机译:C-A5-03:虚拟数据仓库(VDW)的体系结构和实现
机译:评估鲁棒机构设计的条件摘要:我们评估了鲁棒机构设计文献中确定的不同条件的强度。我们关注三个条件:事后激励兼容性,强大的单调性和强大的可测量性。事后激励兼容性已被证明对于任何稳健实现的概念都是必要的,而稳健单调性和鲁棒可测量性已被证明分别对于健壮(完全)精确和虚拟实现是必要的。本文表明,虽然违反事后激励兼容性和强健单调性的行为不容易消失,但我们在环境中确定了一个温和的条件,在这些环境中,所有社会选择函数都满足一阶类型的开放和密集子集的鲁棒可测量性。我们得出结论,确切地说,健壮的虚拟实现可以比强大的精确实现更加宽松。