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

The optimization of IF-conversion in whole function vectorization

Research Journal of Applied Sciences, engineering and Technology 2014年第1期8卷 64-68页

作者： Pang, Jianmin Yue, Feng Shan, Zheng Dai, Chao Jin, Jiuzhen State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001 China

In order to get better performance, lots of optimization methods are used in code transformation. When migrating SPMD to multi-core platform, vectorization is one key optimization to improve performance. Control flow is the main challenge for vectorization and IF-conversion is usually used to transform control flow into data flow. In most researches, after IF-conversion both the two branch vector codes have to be executed even the predications in scalar lane for one branch are all false. This study proposes code bypass technology to improve this situation in whole function vectorization of SSA from. The region of consecutive instructions guarded by the same predicate is first identified. Then detecting operation is added to identify if predications in scalar lane are all false and a jump operation followed to bypass the consecutive instructions region. For loop structure, we add loop mask to indicate which lane is not alive in loop which could help to treat iteration in loop. The experiment shows our method could improve performance by 6.8%. © Maxwell Scientific Organization, 2014.

关键词： Branch IF-conversion Loop Optimization Vectorization

来源：评论

学校读者我要写书评

暂无评论

Data Dependence Constraints on SIMD Extensions

Data Dependence Constraints on SIMD Extensions

引用

2014 International Conference on Computer,Network Security and Communication engineering(CNSCE 2014)

作者： Yong-sheng HOU Rong-cai ZHAO Shi-jie YAN Xuan LI State Key Laboratory of Mathematical Engineering and Advanced Computing School of Automation and Electrical Engineering Beijing University of Science and Technology

Exploiting fine-grained data-level parallelism via SIMD(Single Instruction Multiple Data) extension instructions is a universal approach in recent decades. A parallelizing compiler with SIMD vectorization is a widespread admitted tool to utilize SIMD extensions, but it cannot exploit the inherent parallelisms of a serial program completely. In this paper, we analyze the data dependence constraints on SIMD extensions, and propose a Tarjan algorithm based SIMD vectorization detection prototype. This proposed detection prototype can recognize more inherent parallelisms of applications in practice. The experimental results show that the ability of the proposed prototype is prior to that of the ICC v10.0 compiler with respect to complicated data dependence constraints on SIMD extensions.

关键词： SIMD dependence analysis Tarjan

来源：评论

学校读者我要写书评

暂无评论

Certificateless non-interactive key exchange protocol without pairings

Certificateless non-interactive key exchange protocol withou...

引用

International Conference on Security and Cryptography (SECRYPT)

作者： Yun Wei Fushan Wei Chuangui Ma State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Information Science and Technology Institute Zhengzhou China

Non-interactive key exchange (NIKE) allows two parties to establish a shared key without communications. In ID-based non-interactive key exchange (ID-NIKE) protocols, private key generator (PKG) knows user's private key, so it can calculate the shared key between two participants, and most constructions of ID-NIKE need expensive pairing operation. To overcome these disadvantages, a security model of certificateless non-interactive key exchange (CL-NIKE) is proposed in this paper. And a scheme without pairings is also given. The proposed protocol is proved secure in the Random Oracle Model (ROM) based on the gap Diffie-Hellman (GDH) and computational Diffie-Hellman (CDH) problem. In the new protocol, key generation center (KGC) only knows user's partial key and is not able to calculate the shared key. Moreover, the new protocol is more efficient than the existing ID-NIKE schemes because it is pairing-free.

关键词： Protocols Games Computational modeling Public key cryptography Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

An efficient quantum meet-in-the-middle attack against NTRU-2005

引用

Chinese Science Bulletin 2013年第28期58卷 3514-3518页

作者： WANG Hong MA Zhi MA ChuanGui State Key Laboratory of Mathematical Engineering and Advanced Computing

NTRU is one of the most widely used public-key cryptosystems and its security has been an active research *** paper proposes a new way to find NTRU-2005 private *** algorithm is based on meet-in-the-middle attack and a quantum algorithm for searching the fixed weight *** with the current classical and quantum meet-in-the-middle attacks,our algorithm has lower time and space ***,this attack can also be applied against different versions of *** result can help to understand the security of NTRU better.

关键词：中间人攻击量子算法 NTRU 空间复杂度公钥密码安全性私钥搜索

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROSCIENCE 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mixed Obfuscation of Overlapping Instruction and Self-Modify Code Based on Hyper-Chaotic Opaque Predicates

Mixed Obfuscation of Overlapping Instruction and Self-Modify...

引用

International Conference on Computational Intelligence and Security

作者： Xin Xie Fenlin Liu Bin Lu Fei Xiang Zhengzhou Information Science and Technology Institute The State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

ISBN: (纸本)9781479974351

Static disassembly is used to analyze program control flow that is the key process of reverse analysis. Aiming at the problem that attackers are always using static disassembly to analyze control transfer instructions and control flow graph, a mixed obfuscation of overlapping instruction and self-modify code based on hyper-chaotic opaque predicates is proposed, jump offsets in overlapping instructions and data offsets in self-modify code are constructed with opaque predicates. Control transfer instructions are modified into control transfer unrelated ones with the combination of characteristics of overlapping instruction and self-modify code. Experiments and analysis show that control flow graph can be obfuscated by mixed obfuscation due to the difficulty of hyper-chaotic opaque predicates for attackers to analyze.

关键词： Resists Flow graphs Software Chaos Resistance Watermarking

来源：评论

学校读者我要写书评

暂无评论

An object based software tool for software measurement

An object based software tool for software measurement

引用

International Conference on Information Communication and Embedded Systems (ICICES)

作者： G. Santhoshini K. Anbazhagan Zhengzhou Information Science and Technology Institute The State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

Software metrics are vital tools to enhance the quality of computer software, and to help in the control of software projects. Object-oriented technology is a new promising approach for developing software systems to reduce software costs and to improve software productivity. Object-oriented metrics is a quantitative measure of the degree to which the software-system or component or process possess the given attribute. From the earliest days of the software engineering discipline there has been wide agreement of the need to measure software processes and products as a pre-condition for establishing control over development activities. Developing modules in a multi-suite environment would result in the problem of integration into a project. Software metrics are useful techniques to avoid this problem. The existing tools are not free of cost. The proposed project is to extract a general subset of these metrics for an object-oriented software development project and is to be of free of cost.

关键词： Complexity theory Software Couplings Software metrics Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Using C to implement high-efficient computation of dense optical flow on FPGA-accelerated heterogeneous platforms

Using C to implement high-efficient computation of dense opt...

引用

IEEE International Conference on Field-Programmable Technology (FPT)

作者： Zhilei Chai Haojie Zhou Zhibin Wang Dong Wu School of Internet of Things Engineering Jiangnan University Wuxi China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9781479962464

High-quality algorithms for dense optical flow computation are computationally intensive. To compute them with high speed and low power is vital to make optical flow computation applicable in real-world applications. In contrast to only the Horn-Schunck model being studied on FPGA-based systems today, one of the best linear variational methods for dense optical flow computation, Combine-Brightness-Gradient, is implemented on FPGA-accelerated heterogeneous platforms in this paper. C instead of HDLs is employed and optimizing techniques based on the algorithmic parallelism and hardware architecture are introduced. Experimental results show that 30-110x improvement of the computing efficiency over CPUs was achieved. The FPGA-accelerated version is able to process 640 × 480 image at 12 fps with 0.38 J per frame, while it is 0.8 fps and around 40 J on CPUs. Through demonstrating high performance and low power of dense optical flow algorithm on FPGA-based heterogeneous platforms implemented in C, this paper shows that the off-the-shelf commodity FPGAs coupled with High-Level-Synthesis (HLS) tools could provide an available option when computational efficiency together with development speed are required.

关键词： Optical imaging Optical computing Nonlinear optics Field programmable gate arrays Parallel processing Computer vision Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Double LDA: A Sentiment Analysis Model Based on Topic Model

Double LDA: A Sentiment Analysis Model Based on Topic Model

引用

International Conference on Semantics, Knowledge and Grid (SKG)

作者： Xue Chen Wenqing Tang Hao Xu Xiaofeng Hu School of Computer Engineering and Science Shanghai University Shanghai China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9781479967162

The sentiment mining is a fast growing topic of both academic research and commercial applications, especially with the widespread of short-text applications on the Web. A fundamental problem that confronts sentiment mining is the automatics and correctness of mined sentiment. This paper proposes an DLDA (Double Latent Dirichlet Allocation) model to analyze sentiment for short-texts based on topic model. Central to DLDA is to add sentiment to topic model and consider sentiment as equal to topic, but independent of topic. DLDA is actually two methods DLDA I and its improvement DLDA II. Compared to the single topic-word LDA, the double LDA I, i.e., DLDA I designs another sentiment-word LDA. Both LDAs are independent of each other, but they combine to influence the selected words in short-texts. DLDA II is an improvement of DLDA I. It employs entropy formula to assign weights of words in the Gibbs sampling based on the ideas that words with stronger sentiment orientation should be assigned with higher weights. Experiments show that compared with other traditional topic methods, both DLDA I and II can achieve higher accuracy with less manual needs.

关键词： Sentiment analysis Analytical models Motion pictures Resource management Entropy Algorithm design and analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A Thread-Aware Adaptive Data Prefetcher

A Thread-Aware Adaptive Data Prefetcher

引用

IEEE International Conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Jiyang Yu Peng Liu State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China Department of Information Science and Electronic Engineering Zhejiang University Hangzhou China

ISBN: (纸本)9781479964932

Most processors employ hardware data prefetching to hide memory access latencies. However the prefetching requests from different threads on a multi-core processor can cause severe interference with prefetching and/or demand requests of others. The data prefetching can lead to significant performance degradation due to shared resource contention on shared memory multi-core systems. This paper proposes a thread-aware data prefetching mechanism based on low-overhead run-time information to tune prefetching modes and aggressiveness, mitigating the resource contention in the memory system. Our solution has two new components: 1) a filtering mechanism that informs the hardware about which prefetching requests can cause shared data invalidation and should be discarded, and 2) a self-tuning prefetcher that uses run-time feedback to adjust each thread's data prefetching mode and arguments. On a set of parallel benchmarks, our thread-aware data prefetching mechanisms improve the overall performance of 64-core system by 11% and reduce the energy-delay product by 13% over a multi-mode prefetch baseline system with a two level cache organization and a conventional MESI-based directory coherence protocol. We compare our approach to the feedback directed prefetching (FDP) technique and find that it provides better performance on multi-core systems, while reducing the energy delay product.

关键词： Prefetching Accuracy Measurement Engines Hardware

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：