A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages

机译：用于求解器辅助的宿主语言的轻型符号虚拟机

机译：Nosv：轻量级嵌套虚拟化VMM，用于在云上托管高性能计算

机译：在公司托管的虚拟社区中检查员工知识共享行为的象征性融合观点

机译：通过轻量级用户级可视化进行常规虚拟主机

机译：商品托管虚拟机环境的实时网络堆栈研究

机译：无监督的象征自然语言惯用单位的收购：新闻文章和推文的分组的基于n克频率的方法

机译：用于求解器辅助主机语言的轻量级符号虚拟机

机译：用于在Java虚拟机（JVM）上托管的不同编程语言之间进行通信的系统，进程和计算机程序产品

机译：用于调整选择算法的方法和系统，该选择算法用于从具有与虚拟机的存储器共享历史的标准偏差低于阈值量的主机的集合中选择与目标虚拟机具有最高存储器共享历史值的候选主机

机译：虚拟机器监控器，虚拟机器主机系统以及提供具有相应虚拟电池的虚拟机器的方法