Hybrid CPU-GPU Constraint Checking: Towards Efficient Context Consistency Jun Suia,b , Chang Xua,b,∗, S.C. Cheungc , Wang Xia,b , Yanyan Jianga,b , Chun Caoa,b , Xiaoxing Maa,b , Jian Lua,b a State

Source URL: cs.nju.edu.cn

Architecture Support for Guest-Transparent VM Protection from Untrusted Hypervisor and Physical Attacks∗ Yubin Xia, Yutao Liu, Haibo Chen Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University {xi

Source URL: ipads.se.sjtu.edu.cn

• Hardware virtualization
• Hypervisor
• VM
• Hyper-V
• Logical partition
• Virtual machine
• Virtualization
• Xen
• Hardware-assisted virtualization
• Page table
• Paravirtualization
• Embedded hypervisor

2013 IEEE Conference on Computer Vision and Pattern Recognition Spatio-Temporal Depth Cuboid Similarity Feature for Activity Recognition Using Depth Camera Lu Xia and J.K. Aggarwal Computer & Vision Research Center/Depa

Source URL: www.cv-foundation.org

David Kaplan Professor, Department of Biomedical Engineering Selected peer-reviewed publications (selected from more than 600) – most recentto presentAn B, Desrochers TM, Qin G, Xia X, Thiagarajan G, Brod

Source URL: engineering.tufts.edu

Thwarting Memory Disclosure with Efficient Hypervisor-enforced Intra-domain Isolation Yutao Liu, Tianyu Zhou, Kexin Chen, Haibo Chen, Yubin Xia Shanghai Key Laboratory of Scalable Computing and Systems & Institute of Par

Source URL: ipads.se.sjtu.edu.cn

• Cryptographic software
• Hardware virtualization
• Heartbleed
• Internet security
• Transport Layer Security
• OpenSSL
• Hypervisor
• Hyper-V
• Protection ring
• Second Level Address Translation
• Rootkit
• Operating system

Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem Long Tran–Thanh∗ and Yingce Xia† and Tao Qin‡ and Nicholas R. Jennings§ Abstract We study the stochastic multi

Source URL: www.orchid.ac.uk

Lighting Up the Internet of Things with DarkVLC Zhao Tian, Kevin Wright† , and Xia Zhou Department of Computer Science, Department of Physics and Astronomy† Dartmouth College, Hanover, NH {tianzhao, xia}@cs.dartmouth

Source URL: www.cs.dartmouth.edu

• Optical communications
• Electromagnetic radiation
• Electromagnetism
• Technology
• Visible light communication
• Li-Fi
• Light-emitting diode
• Pulse-width modulation
• Photodiode
• Internet of things
• Optical wireless communications
• Analog television

Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory Yutao Liu†, Yubin Xia†, Haibing Guan§, Binyu Zang†, Haibo Chen† Shanghai Key Laboratory of Scalable Computing and System

Source URL: ipads.se.sjtu.edu.cn

• Software
• System software
• Computing
• Concurrency control
• Transaction processing
• Transactional memory
• Programming language implementation
• Cyberwarfare
• Rootkit
• Hypervisor
• Hyper-V
• VM

Practical Human Sensing in the Light Tianxing Li, Qiang Liu, and Xia Zhou Department of Computer Science, Dartmouth College, Hanover, NH {tianxing, qliu, xia}@cs.dartmouth.edu ABSTRACT

Source URL: www.cs.dartmouth.edu

• Optics
• Photodetectors
• Electromagnetism
• Light
• Optoelectronics
• Photonics
• Semiconductor devices
• Photodiode
• Light-emitting diode
• Visible light communication
• Lighting
• Diode

Int. J. Simul. Multisci. Des. Optim. 2016, 7, A3  Q. Xia and T. Shi, Published by EDP Sciences, 2016 DOI: smdoAvailable online at: www.ijsmdo.org

Source URL: www.ijsmdo.org