Sciweavers

WICOMM
2016
41views more  WICOMM 2016»
10 years 14 days ago
CSMA/CA-based medium access control for indoor millimeter wave networks
Jian Qiao, Xuemin (Sherman) Shen, Jon W. Mark, Bin...
WICOMM
2016
44views more  WICOMM 2016»
10 years 14 days ago
Prefetching for mobile web album
A web album service allows a user to publish photo albums on the web and view albums of other users. Through broadband mobile telecom, users can enjoy watching contents of web alb...
Yi-Bing Lin, Po-Kao Huang
WCL
2016
42views more  WCL 2016»
10 years 14 days ago
Using Real Constellations in Fully- and Over-Loaded Large MU-MIMO Systems With Simple Detection
—The aim of this letter is to exhibit some advantages of using real constellations in large multi-user (MU) MIMO systems. It is shown that a widely linear zero-forcing (WLZF) rec...
J. C. De Luna Ducoing, Na Yi, Yi Ma, Rahim Tafazol...
WCL
2016
59views more  WCL 2016»
10 years 14 days ago
Coexisting Success Probability and Throughput of Multi-RAT Wireless Networks With Unlicensed Band Access
—In this letter, the coexisting success probability and throughput of a wireless network consisting of multiple subnetworks of different radio access technologies (RATs) are inve...
Xu Ding, Chun-Hung Liu, Li-Chun Wang, Xiaohui Zhao
WC
2016
97views more  WC 2016»
10 years 14 days ago
5G Ultra-Dense Cellular Networks
Xiaohu Ge, Song Tu, Guoqiang Mao, Cheng-Xiang Wang...
WALCOM
2016
IEEE
68views Algorithms» more  WALCOM 2016»
10 years 14 days ago
Parameterization of Strategy-Proof Mechanisms in the Obnoxious Facility Game
In the obnoxious facility game, a location for an undesirable facility is to be determined based on the voting of selfish agents. Design of group strategy proof mechanisms has be...
Morito Oomine, Aleksandar Shurbevski, Hiroshi Naga...
VMCAI
2016
Springer
10 years 14 days ago
D^3 : Data-Driven Disjunctive Abstraction
Hila Peleg, Sharon Shoham, Eran Yahav
VMCAI
2016
Springer
10 years 14 days ago
A Program Logic for C11 Memory Fences
Abstract. We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called f...
Marko Doko, Viktor Vafeiadis