Sciweavers

2902 search results - page 28 / 581
» The TheaterLoc Virtual Application
Sort
View
POPL
2012
ACM
13 years 8 months ago
A mechanized semantics for C++ object construction and destruction, with applications to resource management
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...
117
Voted
COMSIS
2010
14 years 10 months ago
An accelerometer-based gesture recognition algorithm and its application for 3D interaction
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
Jianfeng Liu, Zhigeng Pan, Xiangcheng Li
ASUNAM
2010
IEEE
14 years 4 months ago
A Study on Social Network Metrics and Their Application in Trust Networks
Social network analysis has recently gained a lot of interest because of the advent and the increasing popularity of social media, such as blogs, social networks, microblogging, o...
Iraklis Varlamis, Magdalini Eirinaki, Malamati D. ...
125
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
An Innovative Course about Network Storage and System Virtualization Technologies in PKU
—“Network Storage and System Virtualization Technologies” is an up-to-date course opened by the school of electronics engineering and computer science of Peking University. T...
Xiaolin Wang, Xinxin Jin, Yingwei Luo, Zhenlin Wan...
PDP
2010
IEEE
14 years 11 months ago
FTDS: Adjusting Virtual Computing Resources in Threshing Cases
—In the virtual execution environment, dynamic computing resource adjustment technique, configuring the computing resource of virtual machines automatically according to the actu...
Jian Huang, Hai Jin, Kan Hu, Zhiyuan Shao