Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Chao Wang
    Last name: 0001
    DBLP: w/ChaoWang
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 667  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang 0001, Jian Liu, Chen Zhao.
    Eliminating Path Redundancy via Postconditioned Symbolic Execution.
    IEEE Trans. Software Eng. 2018, Volume 44 (0) 2018
    Conference paper
    Lu Zhang, Chao Wang 0001.
    RClassify: classifying race conditions in web applications via deterministic replay.
    Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 2017 (0) 2017
    Conference paper
    Chao Wang 0001, Patrick Schaumont.
    Security by compilation: an automated approach to comprehensive side-channel resistance.
    SIGLOG News 2017, Volume 4 (0) 2017
    Conference paper
    Meng Wu, Haibo Zeng, Chao Wang 0001, Huafeng Yu.
    Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.
    Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017 2017 (0) 2017
    Conference paper
    Tingting Yu, Tarannum S. Zaman, Chao Wang 0001.
    DESCRY: reproducing system-level concurrency failures.
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017 (0) 2017
    Conference paper
    Shengjian Guo, Meng Wu, Chao Wang 0001.
    Symbolic execution of programmable logic controller code.
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017 (0) 2017
    Conference paper
    Markus Kusano, Chao Wang 0001.
    Thread-modular static analysis for relaxed memory models.
    Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017 2017 (0) 2017
    Journal article
    Chungha Sung, Markus Kusano, Chao Wang 0001.
    Modular Verification of Interrupt-Driven Software.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Markus Kusano, Chao Wang 0001.
    Thread-Modular Static Analysis for Relaxed Memory Models.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Markus Kusano, Chao Wang 0001.
    Flow-Sensitive Composition of Thread-Modular Abstract Interpretation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Lin Cheng, Zijiang Yang, Chao Wang 0001.
    Systematic reduction of GUI test sequences.
    Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017 2017 (0) 2017
    Conference paper
    Chungha Sung, Markus Kusano, Chao Wang 0001.
    Modular verification of interrupt-driven software.
    Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017 2017 (0) 2017
    Journal article
    Yarui Chen, Ju Cheng Yang, Chao Wang 0001, Dong Sun Park.
    Variational Bayesian extreme learning machine.
    Neural Computing and Applications 2016, Volume 27 (0) 2016
    Conference paper
    Chao Wang 0001, Yi Lv, Peng Wu.
    Bounded TSO-to-SC Linearizability Is Decidable.
    SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Chao Wang 0001, Xuanqin Mou, Lei Zhang 0006.
    QP Selection Optimization for Intra-Frame Encoding Based on Constant Perceptual Quality.
    IEICE Transactions 2016, Volume 99 (0) 2016
    Journal article
    Beilei Sun, Xi Li, Bo Wan, Chao Wang 0001, Xuehai Zhou, Xianglan Chen.
    Definitions of predictability for Cyber Physical Systems.
    Journal of Systems Architecture - Embedded Systems Design 2016, Volume 63 (0) 2016
    Conference paper
    Chao Wang 0001, Michael F. Spear.
    Practical condition synchronization for transactional memory.
    Proceedings of the Eleventh European Conference on Computer Systems, EuroSys 2016, London, United Kingdom, April 18-21, 2016 2016 (0) 2016
    Journal article
    Fengxiang Xu, Chao Wang 0001.
    Dynamic axial crashing of tailor-welded blanks (TWBs) thin-walled structures with top-hat shaped section.
    Advances in Engineering Software 2016, Volume 96 (0) 2016
    Conference paper
    Chao Wang 0001, Somchaya Liemhetcharat, Kian Hsiang Low.
    Multi-Agent Continuous Transportation with Online Balanced Partitioning: (Extended Abstract).
    Proceedings of the 2016 International Conference on Autonomous Agents Multiagent Systems, Singapore, May 9-13, 2016 2016 (0) 2016
    Conference paper
    Chao Wang 0001, Shupeng Han, Xiangrui Cai, Haiwei Zhang, Yanlong Wen.
    Efficient Unique Column Combinations Discovery Based on Data Distribution.
    Web-Age Information Management - 17th International Conference, WAIM 2016, Nanchang, China, June 3-5, 2016, Proceedings, Part I 2016 (0) 2016
    Journal article
    Beilei Sun, Xi Li, Chao Wang 0001, Bo Wan, Xuehai Zhou.
    KUMMS: optimising DRAM locality with Kernel-user behaviours.
    IJHPSA 2016, Volume 6 (0) 2016
    Journal article
    Maohua Zhu, Liu Liu, Chao Wang 0001, Yuan Xie.
    CNNLab: a Novel Parallel Framework for Neural Networks using GPU and FPGA-a Practical Study with Trade-off Analysis.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang.
    Verifying a quantitative relaxation of linearizability via refinement.
    STTT 2016, Volume 18 (0) 2016
    Conference paper
    Ruijian Wang, Chao Wang 0001, Li Zha.
    PACM: A Prediction-Based Auto-Adaptive Compression Model for HDFS.
    2016 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2016, Chicago, IL, USA, May 23-27, 2016 2016 (0) 2016
    Conference paper
    Lin Cheng, Jialiang Chang, Zijiang Yang, Chao Wang 0001.
    GUICat: GUI testing as a service.
    Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016 2016 (0) 2016
    Journal article
    Huiming Wang, Chao Wang 0001, Tongxing Zheng, Tony Q. S. Quek.
    Impact of Artificial Noise on Cellular Networks: A Stochastic Geometry Approach.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Chao Wang 0001, Jinhong Zhou, Xi Li, Aili Wang, Xuehai Zhou.
    FairPlay: Services Migration with Lock-Free Mechanisms for Load Balancing in Cloud Architectures.
    IEEE International Conference on Web Services, ICWS 2016, San Francisco, CA, USA, June 27 - July 2, 2016 2016 (0) 2016
    Conference paper
    Chao Wang 0001, Zonghua Gu, Haibo Zeng.
    Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization.
    IEEE Trans. Parallel Distrib. Syst. 2016, Volume 27 (0) 2016
    Conference paper
    Chao Wang 0001, Zhidan Zhang, Minglun Zhang, Hetian Zhu.
    Visible light communication application scenarios based on Android smart devices' LED lamp.
    Photonic Network Communications 2016, Volume 32 (0) 2016
    Conference paper
    Mitra Tabaei Befrouei, Chao Wang 0001, Georg Weissenbacher.
    Abstraction and mining of traces to explain concurrency bugs.
    Formal Methods in System Design 2016, Volume 49 (0) 2016
    Conference paper
    Meng Wu, Haibo Zeng, Chao Wang 0001.
    Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.
    NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Hassan Eldib, Meng Wu, Chao Wang 0001.
    Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits.
    Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Markus Kusano, Chao Wang 0001.
    Flow-sensitive composition of thread-modular abstract interpretation.
    Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016 2016 (0) 2016
    Conference paper
    Shengjian Guo, Markus Kusano, Chao Wang 0001.
    Conc-iSE: incremental symbolic execution of concurrent software.
    Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016 2016 (0) 2016
    Conference paper
    Chungha Sung, Markus Kusano, Nishant Sinha 0001, Chao Wang 0001.
    Static DOM event dependency analysis for testing web applications.
    Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016 2016 (0) 2016
    Journal article
    Xin Bi, Xiangguo Zhao, Guoren Wang, Pan Zhang, Chao Wang 0001.
    Distributed Extreme Learning Machine with kernels based on MapReduce.
    Neurocomputing 2015, Volume 149 (0) 2015
    Conference paper
    Jiehong Chen, Bo Zhang, Chao Wang 0001.
    Backscattering Feature Analysis and Recognition of Civilian Aircraft in TerraSAR-X Images.
    IEEE Geosci. Remote Sensing Lett. 2015, Volume 12 (0) 2015
    Journal article
    Chao Wang 0001, Jun Zhou, Lei Liao, Jingjing Lan, Jianwen Luo, Xin Liu, Minkyu Je.
    Near-Threshold Energy- and Area-Efficient Reconfigurable DWPT/DWT Processor for Healthcare-Monitoring Applications.
    IEEE Trans. on Circuits and Systems 2015, Volume 62 (0) 2015
    Journal article
    Chao Wang 0001, Jun Zhou, Roshan Weerasekera, Bin Zhao, Xin Liu, Philippe Royannez, Minkyu Je.
    BIST Methodology, Architecture and Circuits for Pre-Bond TSV Testing in 3D Stacking IC Systems.
    IEEE Trans. on Circuits and Systems 2015, Volume 62 (0) 2015
    Journal article
    Chao Wang 0001, Chunlei Wu, Jiaxin Wang, Qianqian Huang, Ru Huang.
    Analytical current model of tunneling field-effect transistor considering the impacts of both gate and drain voltages on tunneling.
    SCIENCE CHINA Information Sciences 2015, Volume 58 (0) 2015
    Journal article
    Jun Zhou, Chao Wang 0001, Xin Liu, Minkyu Je.
    Fast and energy-efficient low-voltage level shifters.
    Microelectronics Journal 2015, Volume 46 (0) 2015
    Journal article
    Chao Wang 0001, Xi Li, Xuehai Zhou.
    CRAIS: A Crossbar-Based Interconnection Scheme on FPGA for Big Data.
    J. Comput. Sci. Technol. 2015, Volume 30 (0) 2015
    Conference paper
    Chao Wang 0001, Huiming Wang, Xiang-Gen Xia.
    Hybrid Opportunistic Relaying and Jamming With Power Allocation for Secure Cooperative Networks.
    IEEE Transactions on Wireless Communications 2015, Volume 14 (0) 2015
    Conference paper
    Chao Wang 0001, Xi Li, Peng Chen 0004, Aili Wang, Xuehai Zhou, Hong Yu.
    Heterogeneous Cloud Framework for Big Data Genome Sequencing.
    IEEE/ACM Trans. Comput. Biology Bioinform. 2015, Volume 12 (0) 2015
    Conference paper
    Chao Wang 0001, Xi Li, Qi Guo, Xuehai Zhou.
    RapidPath: Accelerating Constrained Shortest Path Finding in Graphs on FPGA (Abstract Only).
    Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, Monterey, CA, USA, February 22-24, 2015 2015 (0) 2015
    Conference paper
    Jun Zhou, Chao Wang 0001, Xin Liu, Xin Zhang, Minkyu Je.
    An Ultra-Low Voltage Level Shifter Using Revised Wilson Current Mirror for Fast and Energy-Efficient Wide-Range Voltage Conversion from Sub-Threshold to I/O Voltage.
    IEEE Trans. on Circuits and Systems 2015, Volume 62 (0) 2015
    Journal article
    Jing Zhang, Xin Liu, Li Zhuo 0001, Chao Wang 0001.
    Social images tag ranking based on visual words in compressed domain.
    Neurocomputing 2015, Volume 153 (0) 2015
    Conference paper
    Fugui Xie, Xin-Jun Liu, Chao Wang 0001.
    Design of a novel 3-DoF parallel kinematic mechanism: type synthesis and kinematic optimization.
    Robotica 2015, Volume 33 (0) 2015
    Journal article
    Chao Wang 0001, Aiye Shi, Xin Wang, Fengchen Huang, Hui Liu.
    A novel registration method for high resolution remote sensing images based on JSEG and NMI.
    Comput. Sci. Inf. Syst. 2015, Volume 12 (0) 2015
    Journal article
    Nenggang Xie, Kaixuan Zhen, Chao Wang 0001, Ye Ye, Lu Wang.
    Evolution of cooperation driven by the diversity of emotions.
    Connect. Sci. 2015, Volume 27 (0) 2015
    Conference paper
    De-Ping Zhang, Shao-Yi Xie, Chao Wang 0001, Wei-wei Wu, Chang Zhu, Nai-Chang Yuan.
    An ultra-high ramp rate arbitrary waveform generator for communication and radar applications.
    IEICE Electronic Express 2015, Volume 12 (0) 2015
    Conference paper
    Hamed Farhadi, Chao Wang 0001, Mikael Skoglund.
    Distributed Transceiver Design and Power Control for Wireless MIMO Interference Networks.
    IEEE Transactions on Wireless Communications 2015, Volume 14 (0) 2015
    Conference paper
    Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang 0001.
    Shield Synthesis: - Runtime Enforcement for Reactive Systems.
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Chao Wang 0001, Lei Wang, Lingqiao Liu.
    Density Maximization for Improving Graph Matching With Its Applications.
    IEEE Transactions on Image Processing 2015, Volume 24 (0) 2015
    Conference paper
    Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang 0001, Koji Yatani.
    Mixed-Initiative Approaches to Global Editing in Slideware.
    Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI 2015, Seoul, Republic of Korea, April 18-23, 2015 2015 (0) 2015
    Journal article
    Chao Wang 0001, Dong Mu, Fu Zhao, John W. Sutherland.
    A parallel simulated annealing method for the vehicle routing problem with simultaneous pickup-delivery and time windows.
    Computers Industrial Engineering 2015, Volume 83 (0) 2015
    Journal article
    Chao Wang 0001.
    A note on the error estimation of the Mann iteration.
    J. Computational Applied Mathematics 2015, Volume 285 (0) 2015
    Journal article
    Chao Wang 0001, Xi Li, Peng Chen, Xuehai Zhou.
    A case study of parallel JPEG encoding on an FPGA.
    J. Parallel Distrib. Comput. 2015, Volume 78 (0) 2015
    Journal article
    Chao Wang 0001, Ravi P. Agarwal.
    Uniformly rd-piecewise almost periodic functions with applications to the analysis of impulsive ?-dynamic system on time scales.
    Applied Mathematics and Computation 2015, Volume 259 (0) 2015
    Conference paper
    Meng Liu, Hong Zhang, Chao Wang 0001, Yixian Tang, Bo Zhang, Fan Wu, Tao Wu, Xi Chen.
    Polarimetric synthetic aperture radar change detection for specific land cover types.
    Int. J. Digital Earth 2015, Volume 8 (0) 2015
    Conference paper
    Chao Wang 0001, Yang Liu 0013, Xiaohu Guo, Zichun Zhong, Binh Le, Zhigang Deng.
    Spectral Animation Compression.
    J. Comput. Sci. Technol. 2015, Volume 30 (0) 2015
    Conference paper
    Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang 0001, Jian Liu, Chen Zhao.
    Postconditioned Symbolic Execution.
    8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015 2015 (0) 2015
    Journal article
    Zhengjia Zhang, Chao Wang 0001, Yixian Tang, Qiaoyan Fu, Hong Zhang.
    Subsidence monitoring in coal area using time-series InSAR combining persistent scatterers and distributed scatterers.
    Int. J. Applied Earth Observation and Geoinformation 2015, Volume 39 (0) 2015
    Conference paper
    Chao Wang 0001, Huiming Wang, Xiang-Gen Xia, Chaowen Liu.
    Uncoordinated Jammer Selection for Securing SIMOME Wiretap Channels: A Stochastic Geometry Approach.
    IEEE Transactions on Wireless Communications 2015, Volume 14 (0) 2015
    Conference paper
    Qun Niu, Chao Wang 0001, Letian Zhang.
    Unit Commitment with Electric Vehicles Based on an Improved Harmony Search Algorithm.
    Advances in Swarm and Computational Intelligence - 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I 2015 (0) 2015
    Conference paper
    Naling Zhang, Markus Kusano, Chao Wang 0001.
    Dynamic partial order reduction for relaxed memory models.
    Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 2015 (0) 2015
    Conference paper
    Xiaojie Yuan, Xiangrui Cai, Man Yu, Chao Wang 0001, Ying Zhang, Yanlong Wen.
    Efficient Foreign Key Discovery Based on Nearest Neighbor Search.
    Web-Age Information Management - 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Yongxin Zhu, Xiaoyan Li, Chao Wang 0001, Ruiting Gao.
    A new creep-fatigue life model of lead-free solder joint.
    Microelectronics Reliability 2015, Volume 55 (0) 2015
    Conference paper
    Chao Wang 0001, Huiming Wang, Derrick Wing Kwan Ng, Xiang-Gen Xia, Chaowen Liu.
    Joint Beamforming and Power Allocation for Secrecy in Peer-to-Peer Relay Networks.
    IEEE Transactions on Wireless Communications 2015, Volume 14 (0) 2015
    Conference paper
    Siming Lin, Zhouyi Zhou, Wenyang Deng, Liang Chang, Chao Wang 0001, Liang Liang.
    Fidelity Evaluation based Time Dilation in Hybrid Network Emulation.
    Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10 - 12, 2015 2015 (0) 2015
    Journal article
    Chao Wang 0001, Jing Li 0002, Peijun Guo.
    The normalized interval regression model with outlier detection and its real-world application to house pricing problems.
    Fuzzy Sets and Systems 2015, Volume 274 (0) 2015
    Conference paper
    Zhiming Zhang, Chao Wang 0001, Xuedong Tian.
    A Consensus Model for Group Decision Making with Hesitant Fuzzy Information.
    International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2015, Volume 23 (0) 2015
    Conference paper
    Manli Ma, Huiming Wang, Feng Liu, Chao Wang 0001.
    Precoding Optimization for Secure Target User in Multi-Antenna Broadcast Channel.
    IEEE 81st Vehicular Technology Conference, VTC Spring 2015, Glasgow, United Kingdom, 11-14 May, 2015 2015 (0) 2015
    Conference paper
    Qi Yu, Chao Wang 0001, Xiang Ma, Xi Li, Xuehai Zhou.
    A Deep Learning Prediction Process Accelerator Based FPGA.
    15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015 2015 (0) 2015
    Conference paper
    Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang 0001.
    Explaining Software Failures by Cascade Fault Localization.
    ACM Trans. Design Autom. Electr. Syst. 2014, Volume 20 (0) 2015
    Conference paper
    Shaoli Liu, Tianshi Chen, Ling Li, Xi Li, Mingzhe Zhang, Chao Wang 0001, Haibo Meng, Xuehai Zhou, Yunji Chen.
    FreeRider: Non-Local Adaptive Network-on-Chip Routing with Packet-Carried Propagation of Congestion Information.
    IEEE Trans. Parallel Distrib. Syst. 2015, Volume 26 (0) 2015
    Conference paper
    Chao Wang 0001, Xuanqin Mou, Lei Zhang 0006.
    A Study on Consistency between MINAVE and MINMAX in SSIM Based Independent Perceptual Video Coding.
    IEICE Transactions 2015, Volume 98 (0) 2015
    Conference paper
    Jin Li, Yue Cui, Karen Wu, Bing Liu 0008, Yun Zhang, Chao Wang 0001, Tianzi Jiang.
    The cortical surface area of the insula mediates the effect of DBH rs7040170 on novelty seeking.
    NeuroImage 2015, Volume 117 (0) 2015
    Conference paper
    Sepideh Khoshnood, Markus Kusano, Chao Wang 0001.
    ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs.
    Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015 2015 (0) 2015
    Conference paper
    Tianwei Che, Jianfeng Ma, Na Li, Chao Wang 0001.
    A Security Quantitative Analysis Method For Access Control Based on Security Entropy.
    I. J. Network Security 2015, Volume 17 (0) 2015
    Conference paper
    Chao Wang 0001, Chuanwen Luo, Lili Jia, Qingbo Zhang, Jiguo Yu.
    Domatic Partition in Homogeneous Wireless Sensor Networks.
    Wireless Algorithms, Systems, and Applications - 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jie Rui, Chao Wang 0001, Hong Zhang, Bo Zhang, Fan Wang, Fei Jin.
    Object-Based Multi-mode SAR Image Matching.
    Image and Graphics - 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II 2015 (0) 2015
    Conference paper
    Chao Wang 0001, Yiqun Liu, Meng Wang, Ke Zhou, Jian-Yun Nie, Shaoping Ma.
    Incorporating Non-sequential Behavior into Click Models.
    Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, Santiago, Chile, August 9-13, 2015 2015 (0) 2015
    Conference paper
    Ben Niu, Chao Wang 0001, Jing Liu, Jianhou Gan, Lingyun Yuan.
    Improved Bacterial Foraging Optimization Algorithm with Information Communication Mechanism for Nurse Scheduling.
    Intelligent Computing Theories and Methodologies - 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II 2015 (0) 2015
    Journal article
    Zhiming Zhang, Chao Wang 0001, Xuedong Tian.
    A decision support model for group decision making with hesitant fuzzy preference relations.
    Knowl.-Based Syst. 2015, Volume 86 (0) 2015
    Conference paper
    Chao Wang 0001, Zonghua Gu, Haibo Zeng.
    Integration of Cache Partitioning and Preemption Threshold Scheduling to Improve Schedulability of Hard Real-Time Systems.
    27th Euromicro Conference on Real-Time Systems, ECRTS 2015, Lund, Sweden, July 8-10, 2015 2015 (0) 2015
    Conference paper
    Markus Kusano, Arijit Chattopadhyay, Chao Wang 0001.
    Dynamic Generation of Likely Invariants for Multithreaded Programs.
    37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 2015 (0) 2015
    Conference paper
    Chao Wang 0001, Mikael Skoglund.
    Multi-User Multi-Hop Relay Networks: Transmission Schemes and Degrees of Freedom.
    IEEE Transactions on Wireless Communications 2015, Volume 14 (0) 2015
    Conference paper
    Chao Wang 0001, Jacques M. B. Terken, Bin Yu, Jun Hu.
    Reducing driving violations by receiving feedback from other drivers.
    Adjunct Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2015, Nottingham, United Kingdom, September 1-3, 2015 2015 (0) 2015
    Conference paper
    Shengjian Guo, Markus Kusano, Chao Wang 0001, Zijiang Yang, Aarti Gupta.
    Assertion guided symbolic execution of multithreaded programs.
    Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015 2015 (0) 2015
    Conference paper
    Chao Wang 0001, Yingwen Chen, Xiuzhen Cheng, Xiumei Fan.
    Ads dissemination in Vehicular Ad Hoc Networks.
    2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015 2015 (0) 2015
    Conference paper
    Chao Wang 0001, Jing Zhang, Wenhao Geng, Li Zhuo 0001.
    Visual saliency based automatic road extraction from high-resolution multispectral satellite images.
    Proceedings of the 7th International Conference on Internet Multimedia Computing and Service, ICIMCS 2015, Zhangjiajie, Hunan, China, August 19-21, 2015 2015 (0) 2015
    Conference paper
    Chao Wang 0001, Jing Zhang, Li Zhuo 0001, Xin Liu.
    Incremental Learning for Compressed Pornographic Image Recognition.
    2015 IEEE International Conference on Multimedia Big Data, BigMM 2015, Beijing, China, April 20-22, 2015 2015 (0) 2015
    Conference paper
    Hassan Eldib, Chao Wang 0001, Mostafa M. I. Taha, Patrick Schaumont.
    Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code.
    IEEE Trans. on CAD of Integrated Circuits and Systems 2015, Volume 34 (0) 2015
    Conference paper
    Chao Wang 0001, Yi Lv, Peng Wu.
    TSO-to-TSO Linearizability Is Undecidable.
    Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Yi Ren, Chao Wang 0001, Dong Liu, Fuqiang Liu, Erwu Liu.
    Spectrum-Sculpting-Aided PU-Claiming in OFDMA Cognitive Radio Networks.
    Cognitive Radio Oriented Wireless Networks - 10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015, Revised Selected Papers 2015 (0) 2015
    Conference paper
    Na Li, Yunwei Dong, Tianwei Che, Chao Wang 0001, Yang Gao.
    The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access.
    2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Companion, Vancouver, BC, Canada, August 3-5, 2015 2015 (0) 2015
    Conference paper
    Xin Liu, Jun Zhou, Chao Wang 0001, Kah-Hyong Chang, Jianwen Luo, Jingjing Lan, Lei Liao, Yat-Hei Lam, Yongkui Yang, Bo Wang, Xin Zhang, Wang Ling Goh, Tony Tae-Hyoung Kim, Minkyu Je.
    An Ultralow-Voltage Sensor Node Processor With Diverse Hardware Acceleration and Cognitive Sampling for Intelligent Sensing.
    IEEE Trans. on Circuits and Systems 2015, Volume 62 (0) 2015
    Conference paper
    Chao Wang 0001, Yi Lv, Gaoang Liu, Peng Wu.
    Quasi-Linearizability is Undecidable.
    Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings 2015 (0) 2015
    Journal article
    Chao Wang 0001, Christophe Baehr, Zini Lai, Yuan Gao, Sovan Lek, Xinhui Li.
    Exploring temporal trend of morphological variability of a dominant diatom in response to environmental factors in a large subtropical river.
    Ecological Informatics 2015, Volume 29 (0) 2015
    Show item 1 to 100 of 667  

    Your query returned 667 matches in the database.