Symbolic analysis of concurrency errors in OpenMP programs

H Ma, SR Diersen, L Wang, C Liao… - 2013 42nd …, 2013 - ieeexplore.ieee.org
In this paper we present the OpenMP Analysis Toolkit (OAT), which uses Satisfiability
Modulo Theories (SMT) solver based symbolic analysis to detect data races and deadlocks …

Natural language processing service based on stroke-level convolutional networks for Chinese text classification

H Zhuang, C Wang, C Li, Q Wang… - 2017 IEEE international …, 2017 - ieeexplore.ieee.org
With the development of deep learning and artificial intelligence, more and more research
apply neural networks to natural language processing tasks. However, while the majority of …

[PDF][PDF] Persona-AIML: an architecture for developing chatterbots with personality

AM Galvao, FA Barros, AMM Neves… - Proceedings of the Third …, 2004 - Citeseer
This work presents the Persona-AIML architecture for the creation of chatterbots in AIML
(Artificial Intelligence Markup Language) with personality. It is a flexible architecture that …

Remote SoC/FPGA platform configuration for cloud applications

O Machidon, F Sandu, C Zaharia… - … on Optimization of …, 2014 - ieeexplore.ieee.org
The growing development of Cloud Computing raised the need of making hardware
available “as a Service”. Reconfigurable hardware-like FPGA (Field Programmable Gate …

SOLAR: Services-oriented learning architectures

C Wang, X Li, Q Yu, A Wang, P Hung… - 2016 IEEE International …, 2016 - ieeexplore.ieee.org
Deep learning has been an emerging field of machine learning during past decades.
However, the diversity and large scale data sizes have posed significant challenge to …

SparseNN: A performance-efficient accelerator for large-scale sparse neural networks

Y Lu, C Wang, L Gong, X Zhou - International Journal of Parallel …, 2018 - Springer
Neural networks have been widely used as a powerful representation in various research
domains, such as computer vision, natural language processing, and artificial intelligence …

SuperMIC: Analyzing large biological datasets in bioinformatics with maximal information coefficient

C Wang, D Dai, X Li, A Wang… - IEEE/ACM Transactions …, 2016 - ieeexplore.ieee.org
The maximal information coefficient (MIC) has been proposed to discover relationships and
associations between pairs of variables. It poses significant challenges for bioinformatics …

Evaluation and trade-offs of graph processing for cloud services

C Xu, J Zhou, Y Lu, F Sun, L Gong… - … Conference on Web …, 2017 - ieeexplore.ieee.org
Large-scale data is often represented as graphs in the field of modern cloud computing.
Graph processing attracts more and more attentions when utilizing the cloud computing …

SmartMal: A Service‐Oriented Behavioral Malware Detection Framework for Mobile Devices

C Wang, Z Wu, X Li, X Zhou, A Wang… - The Scientific World …, 2014 - Wiley Online Library
This paper presents SmartMal—a novel service‐oriented behavioral malware detection
framework for vehicular and mobile devices. The highlight of SmartMal is to introduce …

Unicnn: A pipelined accelerator towards uniformed computing for cnns

F Sun, C Wang, L Gong, Y Zhang, C Xu, Y Lu… - International Journal of …, 2018 - Springer
Convolutional neural networks (CNNs) have been widely applied for image recognition, face
detection, and video analysis because of their ability to achieve accuracy close to or even …