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

10th Annual Conference of advanced Computer Architecture, ACA 2014

作者： Lyu, Hui Zheng, Fang Xie, Xianghui State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9783662444900

A novel memory consistency model for thousand-core processors is presented. The model simplifies cache coherence for the full chip, and reduces cache design complexity. In addition, the model has the ability to describe the direct exchange of data on chip, thereby alleviating the off-chip memory bandwidth requirements. The paper gives a formal definition of the model, and proves that the model is sequentially consistent. All aspects of the definition are fully used in the process of proof, which means that there is no redundancy in the definition. Therefore, based on the split-range shared memory consistency model, a shared memory system can achieve high performance at low hardware cost. Meanwhile, the model is easy to be understood and used by programmers. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Software library functions implementation of a customized High-Level Synthesis environment

Software library functions implementation of a customized Hi...

引用

2013 2nd International Conference on Frontiers of Energy and Environment engineering, ICFEEE 2013

作者： Dang, Lin-Yu Pang, Jian-Min Yu, Jin-Tao Yang, Jin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781138000513

Compared with traditional Hardware Design Languages (HDL) programming, High-Level Synthesis (HLS) can reduce the design difficulty of reconfigurable system. Most HLS tools target for systems on programmable chips, and do not support loosely coupled reconfigurable computers. This paper presents a method for using HLS results in some loosely coupled systems with Ethernet as means of communication. Software processes run on general purpose processors instead of embedded CPUs, and there are only hardware processes on the FPGAs. Software and hardware processes communicate over Ethernet with a self-designed reliable protocol. This paper mainly discusses the software part of this method. Finally, we present some primary experiment results on the PRCA (Proactive Reconfigurable computing Architecture) prototype platform created by our research group. The results indicate that the method is feasible. © 2014 Taylor & Francis Group, London.

关键词： General purpose computers

来源：评论

学校读者我要写书评

暂无评论

Solid‐Oxide Fuel Cells: Recent Progress on advanced Materials for Solid‐Oxide Fuel Cells Operating Below 500 °C (Adv. Mater. 48/2017)

引用

advanced Materials 2017年第48期29卷

作者： Yuan Zhang Ruth Knibbe Jaka Sunarso Yijun Zhong Wei Zhou Zongping Shao Zhonghua Zhu Jiangsu National Synergetic Innovation Center for Advanced Materials (SICAM) State Key Laboratory of Materials‐Oriented Chemical Engineering College of Chemical Engineering Nanjing Tech University No. 5 Xin Mofan Road Nanjing 210009 P. R. China School of Mechanical and Mining Engineering The University of Queensland St. Lucia Queensland 4072 Australia Faculty of Engineering Computing and Science Swinburne University of Technology Jalan Simpang Tiga 93350 Kuching Sarawak Malaysia Jiangsu National Synergetic Innovation Center for Advanced Materials (SICAM) State Key Laboratory of Materials‐Oriented Chemical Engineering College of Energy Nanjing Tech University No. 5 Xin Mofan Road Nanjing 210009 P. R. China Department of Chemical Engineering Curtin University Perth Western Australia 6845 Australia School of Chemical Engineering The University of Queensland St. Lucia Queensland 4072 Australia

来源：评论

学校读者我要写书评

暂无评论

Leveraging markov chain and optimal mutation strategy for smart fuzzing

Leveraging markov chain and optimal mutation strategy for sm...

引用

2014 International Conference on Information and Network Security, ICINS 2014

作者： Ouyang, Yongji Wu, Zehui Mu, Qing Wang, Qingxian State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781849199094

Fuzz testing is an important way of vulnerability discovery, however, the existing fuzzers based on symbolic execution and others have inherent shortcomings like needing more computing resource, in-depth analysis and so on. To solve above problems, this paper presents a smart fuzzing method based on Markov chain. Firstly, this method optimizes the testing input sample to get the minimal sample set. Secondly, this method records program execution information by using instrument, and makes a Markov model about state. Finally, this method uses Markov chain to detect the change of execution path, and leads tester to choose better samples to mutate. Meanwhile, we analyse mutation strategies in depth for better triggering exception. Experimental data shows that the presented method can help fuzzer to generate effective test samples. We discovers 51 vulnerabilities in software like WPS, along with the code coverage increases of nearly 49% comparing with zzuf and the average exception discovery rate increase nearly 9 times comparing with MiniFuzz.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

On the Cycle Structure of Some Nonlinear Feedback Shift Registers

引用

Chinese Journal of Electronics 2014年第4期23卷 801-804页

作者： WANG Zhongxiao XU Hong QI Wenfeng State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Information Science and Technology Institute Department of Computer Science and Engineering Shanghai Jiao Tong University

In this paper, we partly determine the cycle structure of two types of Nonlinear feedback shift registers(NFSRs). Based on these results, the cycle structure of a class of NFSRs with symmetric feedback functions can be completely characterized. Furthermore, an alternative proof of Kjeldsen’s results is presented. Compared with the original proof based on abstract algebra theory, ours is straightforward and easy to understand.

关键词： Cryptography Stream ciphers Nonlinear feedback shift registers Symmetric functions

来源：评论

学校读者我要写书评

暂无评论

Research on general permutation encryption module based on chaos theory 5

Research on general permutation encryption module based on c...

引用

2014 5th International Conference on Information Technology for Manufacturing Systems, ITMS 2014

作者： Sun, Wen Jie State Key Laboratory of Mathematical Engineering and Advanced Computing ZhengzhouHenan China

ISBN: (纸本)9783038353263

Replacement and substitution encryption are two basic types of encryption historically. The classical encryption algorithm has been compromised now, but they still can play special role for modern cryptology. For example, in digital image encryption system, substitution can disrupt the original order of the images and eliminate the correlation of image information which not only can realize security of images, but also can resist intentional attack and destruction of clipping and noise. And transposition transformation is introduced into the design of block ciphers. The substitution has the feature of high efficiency and resistance, which makes it meet the specific requirements of encryption. So substitution cypher can be applied to modern encryption system. © (2014) Trans Tech Publications, Switzerland.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Madness: A multiresolution, adaptive numerical environment for scientific simulation

Madness: A multiresolution, adaptive numerical environment f...

引用

作者： Harrison, Robert J. Beylkin, Gregory Bischoff, Florian A. Calvin, Justus A. Fann, George I. Fosso-Tande, Jacob Galindo, Diego Hammond, Jeff R. Hartman-Baker, Rebecca Hill, Judith C. Jia, Jun Kottmann, Jakob S. Ou, M-J. Yvonne Pei, Junchen Ratcliff, Laura E. Reuter, Matthew G. Richie-Halford, Adam C. Romero, Nichols A. Sekino, Hideo Shelton, William A. Sundahl, Bryan E. Thornton, W. Scott Valeev, Edward F. Vázquez-Mayagoitia, Álvaro Vence, Nicholas Yanai, Takeshi Yokoi, Yukina Stony Brook University Stony BrookNY11794 United States University of Colorado at Boulder BoulderCO80309 United States Institut für Chemie Humboldt-Universität Zu Berlin Unter den Linden 6 Berlin10099 Germany Department of Chemistry Virginia Tech. BlacksburgVA24061 United States Oak Ridge National Laboratory Oak RidgeTN37831 United States Department of Chemistry and Biochemistry Florida State University TallahasseeFL32306 United States Parallel Computing Lab Intel Corporation PortlandOR97219 United States National Energy Research Scientific Computing Center Lawrence Berkeley National Laboratory BerkeleyCA94720 United States LinkedIn Mountain ViewCA94043 United States Department of Mathematical Sciences University of Delaware NewarkDE19716 United States State Key Laboratory of Nuclear Physics and Technology School of Physics Peking University Beijing100871 China Argonne Leadership Computing Facility Argonne National Laboratory ArgonneIL60439 United States Department of Physics University of Washington SeattleWA98195 United States Computer Science and Engineering Toyohashi University of Technology ToyohashiAichi441-8580 Japan Louisiana State University Baton RougeLA70803 United States Department of Physics LaSierra University RiversideCA92505 United States Theoretical and Computational Molecular Science Institute for Molecular Science OkazakiAichi444-8585 Japan

MADNESS (multiresolution adaptive numerical environment for scientific simulation) is a high-level software environment for solving integral and differential equations in many dimensions that uses adaptive and fast harmonic analysis methods with guaranteed precision that are based on multiresolution analysis and separated representations. Underpinning the numerical capabilities is a powerful petascale parallel programming environment that aims to increase both programmer productivity and code scalability. This paper describes the features and capabilities of MADNESS and briefly discusses some current applications in chemistry and several areas of physics. © 2016 Society for Industrial and Applied Mathematics.

关键词： Multiresolution analysis

来源：评论

学校读者我要写书评

暂无评论

DEAM: Decoupled, Expressive, Area-Efficient Metadata Cache

引用

Journal of Computer Science & Technology 2014年第4期29卷 679-691页

作者：刘鹏方磊黄巍 CCF IEEE Department of Information Science and Electronic Engineering Zhejiang University State Key Laboratory of Mathematical Engineering and Advanced Computing ACM Department of Electrical and Computer Engineering University of Rochester NY 14627-0231 U.S.A.

Chip multiprocessor presents brand new opportunities for holistic on-chip data and coherence management solutions. An intelligent protocol should be adaptive to the fine-grain accessing behavior. And in terms of storage of metadata, the size of conventional directory grows as the square of the number of processors, making it very expensive in large-scale systems. In this paper, we propose a metadata cache framework to achieve three goals： 1） reducing the latency of data access and coherence activities, 2） saving the storage of metadata, and 3） providing support for other optimization techniques. The metm：lata is implemented with compact structures and tracks the dynamically changing access pattern. The pattern information is used to guide the delegation and replication of decoupled data and metadata to allow fast access. We also use our metadata cache as a building block to enhance stream prefetching. Using detailed execution-driven simulation, we demonstrate that our protocol achieves an average speedup of 1.12X compared with a shared cache protocol with 1/5 of the storage of metadata.

关键词： cache directory multiprocessor

来源：评论

学校读者我要写书评

暂无评论

Quantum spacetime on a quantum simulator

arXiv

引用

arXiv 2017年

作者： Li, Keren Li, Youning Han, Muxin Lu, Sirui Zhou, Jie Ruan, Dong Long, Guilu Wan, Yidun Lu, Dawei Zeng, Bei Laflamme, Raymond State Key Laboratory of Low-Dimensional Quantum Physics and Department of Physics Tsinghua University Beijing100084 China Institute for Quantum Computing Department of Physics and Astronomy University of Waterloo WaterlooONN2L 3G1 Canada Department of Physics Florida Atlantic University 777 Glades Road Boca RatonFL33431 United States Institut für Quantengravitation Universität Erlangen-Nürnberg Staudtstr. 7/B2 Erlangen91058 Germany Perimeter Institute for Theoretical Physics WaterlooONN2L 2Y5 Canada Department of Physics Center for Field Theory and Particle Physics Fudan University Shanghai200433 China Collaborative Innovation Center of Advanced Microstructures Nanjing210093 China Department of Physics and Institute for Quantum Science and Engineering Southern University of Science and Technology Shenzhen518055 China Department of Mathematics and Statistics University of Guelph GuelphONN1G 2W1 Canada Canadian Institute for Advanced Research TorontoONM5G 1Z8 Canada

We experimentally simulate the spin networks—a fundamental description of quantum spacetime at the Planck level. We achieve this by simulating quantum tetrahedra and their interactions. The tensor product of these quantum tetrahedra comprises spin networks. In this initial attempt to study quantum spacetime by quantum information processing, on a four-qubit nuclear magnetic resonance quantum simulator, we simulate the basic module—comprising five quantum tetrahedra—of the interactions of quantum spacetime. By measuring the geometric properties on the corresponding quantum tetrahedra and simulate their interactions, our experiment serves as the basic module that represents the Feynman diagram vertex in the spin-network formulation of quantum spacetime. Copyright © 2017, The Authors. All rights reserved.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：