检索结果-内蒙古大学图书馆

2016 IEEE International Conference on Progress in Informatics and Computing

作者： Huahui Lyu Ping Li Ruihong Yan Anum Masood Bin Sheng Yaoying Luo Information Department China Southern Power Grid Department of Mathematics and Information Technology The Education University of Hong Kong Department of Computer Science and Engineering Shanghai Jiao Tong University The State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Department of electrical engineering and automation Shanghai Jiao Tong University

Cloud architectures have become increasing common in the IT industry and academic circle. However, most cloud architectures only focus on availability but ignore economic effectiveness. Based on Eucalyptus, this paper proposes an effective way to balance high availability and economic profits. We designed a forecast mechanism using three new modules: the forecast module, adjustment module, and collection module. The forecast module uses a set of machine learning techniques to improve forecast accuracy. We carried out a comparative experiment and the experimental results prove the efficiency of the proposed forecast mechanism.

关键词： forecast mechanism virtual machine cloud architecture machine learning

来源：评论

学校读者我要写书评

暂无评论

Improving the accuracy of integer signedness error detection using data flow analysis 27

Improving the accuracy of integer signedness error detection...

引用

27th International Conference on software Engineering and Knowledge Engineering, SEKE 2015

作者： Sun, Hao Su, Chao Wang, Yue Zeng, Qingkai State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China Department of Computer Science and Technology Nanjing University Nanjing210023 China

ISBN: (纸本)1891706373

Integer signedness error can be exploited by attackers to cause severe damages to computer systems. Despite of the significant advances in automating the detection of integer signedness errors, accurately differentiating exploitable and harmful signedness errors from unharmful ones still remains an open problem. In this paper, we present the design and implementation of SignFlow, an instrumentation-based integer signedness error detector to reduce the reports for unharmful signedness errors without sacrificing the completeness (i.e. no false negatives). SignFlow utilizes static data flow analysis to identify unharmful integer signedness conversions from the view of where the operands originate and whether the data after conversions can propagate to security-related operations, and then inserts security checks for the remaining conversions so as to accomplish runtime protection. We evaluated SignFlow on 7 real-world harmful integer signedness bugs, SPECint 2006 benchmarks together with 5 real-world applications. Experimental results show that SignFlow successfully detected all harmful integer signedness bugs and achieved a reduction of 41% in false positives over IntFlow, the state-of-the-art signedness error detector.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Empirical study of redo and undo logging in persistent memory

Empirical study of redo and undo logging in persistent memor...

引用

IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA)

作者： Hu Wan Youyou Lu Yuanchao Xu Jiwu Shu College of Information Engineering Capital Normal University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China State Key Laboratory of Computer Architecture CAS Beijing China

ISBN: (纸本)9781509041374

Atomic and durable transactions are widely used to ensure the crash consistency in persistent memory (PM). However, whether to use redo or undo logging is still a hotly debated topic in persistent memory systems. In this paper, we empirically study the performance of both redo and undo logging using NVML, a persistent memory transactional object store framework. Our results on an NVDIMM server show that redo logging significantly outperforms undo logging for workloads in which a transaction updates large number of different objects, while it underperforms undo logging for workloads with intensive read operations. Furthermore, undo logging is more sensitive to the read-to-write ratios, compared to redo logging. Finally, our experiments also demonstrate that asynchronous log truncation is much helpful in redo logging for log-heavy transactions.

关键词： Nonvolatile memory Data structures Libraries computer crashes Servers Databases Open source software

来源：评论

学校读者我要写书评

暂无评论

NCov: A tool for measuring length-n subpath coverage 15

NCov: A tool for measuring length-n subpath coverage

引用

7th Asia-Pacific Symposium on Internetware, Internetware 2015

作者： Zhou, Yan Li, You Wang, Linzhang Li, Xuandong State Key Laboratory of Novel Computer Software Technology Nanjing University Nanjing210023 China Jiangsu Novel Software Technology and Industrialization Nanjing210023 China Department of Computer Science and Technology Nanjing University Nanjing210023 China

ISBN: (纸本)9781450336413

software test adequacy criteria are used to determine whether the test on a software system is sufficient. Code coverage shows how thoroughly a program is tested according to corresponding testing adequacy criteria. There are many coverage criteria used in practice to measure the test adequacy at different granularity of the target program. Length-n subpath criterion is a systematic flexible coverage criterion at a fine granularity. In this paper, we present a prototype test coverage tool named nCov for measuring length-n subpath coverage based on control flow graph. For a C program and corresponding test suite, our tool can measure the length-n subpath coverage for various n, say 1 to 8. It can also be used to select test cases for satisfying length-n subpath coverage with specific n. In addition, to improve the scalability of the tool, we propose a loop compression algorithm to record the program trace. We have conducted a controlled experiment to demonstrate the feasibility and efficiency of our tool. © 2015 ACM.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation 15

Detecting data races in interrupt-driven programs based on s...

引用

7th Asia-Pacific Symposium on Internetware, Internetware 2015

作者： Wang, Yu Shi, Junjing Wang, Linzhang Zhao, Jianhua Li, Xuandong State Key Laboratory of Novel Computer Software Technology Nanjing University Nanjing 210023 China Jiangsu Novel Software Technology and Industrialization Nanjing 210023 China Department of Computer Science and Technology Nanjing University Nanjing 210023 China

ISBN: (纸本)9781450336413

Interrupt-driven programs are often embedded in safety-critical systems to perform hardware/resource dependent data operation tasks, such as data acquisition, processing, and transformation. The interrupt programs and tasks may happen in parallel which in a result causes indeterminist concurrent problems at runtime. Data race is one of the most popular problems challenging researchers and practitioners. Various static analysis, software testing approaches have been proposed to detect data races in source code, testing, and even production run. However, static analysis may report too many false positives due to the lack of execution information. Dynamic testing may miss some important races since it could not generate adequate test cases to test all possible execution scenarios. In this paper, we propose a hybrid approach to detect data races in interrupt-driven programs based on static analysis and dynamic simulation. We implemented a prototype tool and conducted a controlled experiment to demonstrate the applicability of our approach. © 2015 ACM.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

High-availability Deployment for Large Enterprises

High-availability Deployment for Large Enterprises

引用

2016 IEEE International Conference on Progress in Informatics and Computing

作者： Huahui Lyu Ping Li Ruihong Yan Hongjie Qian Bin Sheng Information Department China Southern Power Grid Department of Mathematics and Information Technology The Education University of Hong Kong Department of Computer Science and Engineering Shanghai Jiao Tong University UM-SJTU Joint Institute Shanghai Jiao Tong University The State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences

With the explosive growth of data capacity, large enterprises increasingly rely on business information systems. A highly informational and data-centralized grid company that engages in high-frequency businesses will face major business failures, incalculable impacts and irreparable damages once data errors occur. The development of an effective high-availability information system has become a hot topic for grid companies. Based on the analysis of pioneer enterprises or businesses(mainly IT enterprises), this paper summarizes the development mode of gradual deployment, and further proposes an extended architecture suitable for large enterprises such as grid companies in order to provide references and suggestions for the gradual deployment of high-availability information systems.

关键词： cloud computing gradual deployment grid company high availability

来源：评论

学校读者我要写书评

暂无评论

Accelerating the Simulation of Thermal Convection in the Earth's Outer Core on Tianhe-2

Accelerating the Simulation of Thermal Convection in the Ear...

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： Changmao Wu Fangfang Liu Chao Yang Ligang Li Haitao Zhao Yutong Lu Leisheng Li Yunfei Du State Key Laboratory of Computer Science Chinese Academy of Sciences Beijing China Shanghai Astronomical Observatory Chinese Academy of Sciences Shanghai China Department of Computer Science & Technology National University of Defense Technology Changsha Hunan China National Supercomputer Center in Guangzhou Guangzhou China

ISBN: (纸本)9781509053827

Numerical simulation of thermal convection in the Earth's outer core requires extreme-scale computing due to the large temporal and spatial disparity, extreme physical parameters, rapid rotation and spherical geometry. In this work, the numerical simulation of the thermal convection in the Earth's outer core for CPU-MIC heterogeneous many-core systems is studied. Firstly, starting from a legacy parallel code based on the PETSc software package, a framework of the numerical simulation built on CPU-MIC heterogeneous many-core systems has been developed. Secondly, a sparse linear solver for CPUMIC heterogeneous many-core systems, which focuses on solving the two linear systems of the simulation, is presented and optimized. Thirdly, some computational kernels of the simulation, including sparse matrix-vector multiplication (SpMV) and polynomial preconditioner on distributed memory Xeon Phiaccelerated systems are implemented and optimized. In addition, in order to reduce the cost of data movement, we use methods to minimize the memory access, the PCI-E data transfer, and the MPI communication. Finally, some optimized measures are taken to the extended code. Experiments on Tianhe-2 Supercomputer show that as compared to the original code, our Xeon Phiaccelerated design is able to deliver 6.93x and 6.00x speedups for single MIC device and 64 MIC devices, respectively.

关键词： Numerical simulation Microwave integrated circuits Mathematical model Earth Convection Acceleration Linear systems

来源：评论

学校读者我要写书评

暂无评论

Generalized interface automata with multicast synchronization

引用

Frontiers of computer science 2015年第1期9卷 1-14页

作者： Fei HE Xiaoyu SONG Ming GU Jiaguang SUN Tsinghua National Laboratory for Information Science and Technology (TNList) Tsinghua University Beijing 100084 China Key Laboratory for Information System Security Ministry of Education Beijing 100084 China School of Software Tsinghua University Beijing 100084 China Department of Electrical & Computer Engineering Portland State University Oregon 97207 USA

Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.

关键词： interface automata multicast communication,component interaction verification

来源：评论

学校读者我要写书评

暂无评论

Denoising Auto-Encoders toward Robust Unsupervised Feature Representation

Denoising Auto-Encoders toward Robust Unsupervised Feature R...

引用

International Joint Conference on Neural Networks

作者： Wei Xiong Bo Du Lefei Zhang Liangpei Zhang Dacheng Tao State Key Laboratory of Software Engineering School of Computer Science Wuhan University China Department of Computing The Hong Kong Polytechnic University Kowloon Hong Kong State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing Wuhan University China Centre for Quantum Computation & Intelligent Systems University of Technology Sydney NSW 2007 Australia

ISBN: (纸本)9781509006212

Deep networks like the convolutional neural network and its variants usually learn hierarchical features from labeled images, which is very expensive to obtain. How can we find an unsupervised way to effectively extract deep and abstract features from images without annotations? Even from large qualities of images with noise? In this paper, we propose a robust deep neural network, named as stacked convolutional denoising auto-encoders (SCDAE), which can map raw images to hierarchical representations in an unsupervised manner. Our network is elaborately designed to fit for the visual recognition tasks. It is established by stacking the denoising auto-encoders. Unlike the prior works, in the training phase, the auto-encoders are trained patch-wisely so that the latent features can be applied to powerful regularizers for better representation;in the inference phase, the denoising auto-encoders are stacked convolutionally, hence the generated feature maps in the higher layers can preserve the coherent structures within the features in the lower layers. To achieve better performance, we apply whitening to each layer to sphere the input features. Our network is evaluated on the challenging image datasets MNIST, CIFAR-10 and STL-10 and demonstrates superior performance to the state-of-the-art unsupervised networks.

关键词： Noise reduction Convolutional codes Training Feature extraction Kernel Optimized production technology Robustness

来源：评论

学校读者我要写书评

暂无评论

The 5th International Conference on Biomedical Engineering and Biotechnology (ICBEB 2016) Abstracts

引用

BMC MEDICAL IMAGING 2016年第SUPPL 1期16卷 65-65页

作者： [Anonymous] Department of MRI Shandong Medical Imaging Research Institute Affiliated to Shandong University Jinan Shandong 250021 People’s Republic of China Department of Interventional Radiology Shandong Provincial Hospital Affiliated to Shandong University Jinan Shandong 250021 People’s Republic of China College of Information Science and Technology Engr. Research Center of Digitized Textile & Fashion Tech. for Ministry of Education Donghua University Shanghai 201620 China Intelligent multimedia information processing Lab College of Software Northeastern University Shenyang Liaoning Province 110004 China Institute of Biomedical and Health Engineering Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen 518055 China School of Computer Science and Technology Nanjing Normal University Nanjing China Department of Electrical Engineering The City College of New York CUNY New York USA Jiangsu Key Laboratory of 3D Printing Equipment and Manufacturing Nanjing China School of Electronic Science and Engineering Nanjing University Nanjing Jiangsu 210046 China College of Engineering Nanyang Technological University Singapore 639798 Singapore School of Electronic Information Shanghai Dianji University Shanghai China School of Natural Sciences and Mathematics Shepherd University Shepherdstown WV 25443 USA Davis College of Agriculture Natural Resources and Design West Virginia University Morgantown WV 26505 USA State Key Laboratory of Millimeter Waves Southeast University Nanjing 210096 China Center of Medical Physics and Technology Hefei Institutes of Physical Science Chinese Academy of Sciences Hefei China College of Agricultural and Life Sciences University of Florida Gainesville FL 32611 USA Courant Institute of Mathematical Sciences New York University New York NY 10012 USA Translational Imaging Division & MRI Unit Columbia University and New York State Psychiatric Institute New York NY 10032 USA Guangxi Key Laboratory of Manufacturing System & Adv

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：