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

International Symposium on Parallel Processing

作者： B. Ramkumar P. Banerjee Department of Electrical & Computer Engineering University of Iowa USA Center for Reliable and High-Perf Computing Coordinated Science Laboratory University of Illinois USA

The authors describe a new portable algorithm for parallel circuit extraction. The algorithm is built as part of the ongoing ProperCAD project: a portable object-oriented parallel environment for CAD applications that is built on top of the CHARM system. The algorithm, unlike prior approaches like PACE is asynchronous and is based on a coarse-grained dataflow execution model. performance of circuit extraction is presented on four parallel machines: an Encore Multimax, a Sequent Symmetry, a NCUBE 2 hypercube, and a network of Sun Sparc workstations. The extractor runs unchanged on all these machines.< >

关键词： Parallel algorithms Very large scale integration Object oriented modeling Concurrent computing Workstations Circuit testing Runtime library Portable computers Application software Parallel machines

来源：评论

学校读者我要写书评

暂无评论

ProperSYN: A portable parallel algorithm for logic synthesis

ProperSYN: A portable parallel algorithm for logic synthesis

引用

IEEE International Conference on computer-Aided Design

作者： De Ramkumar Banerjee Center for Reliable & High-Perf. Computing Coordinated Science Laboratory University of Illinois Urbana IL USA Department of Electrical & Computer Engineering University of Iowa Iowa IA USA

An algorithm based on the transduction method and implemented in the ProperCAD environment is described. The parallel ProperSYN algorithm attempts to make the execution time manageably small. The algorithm uses an asynchronous message driven computing model with no synchronizing barriers, and hence it is scalable to a larger number of processors. Also, the algorithm is portable across a wide variety parallel machines. Experimental results on various parallel machines are presented. The algorithm is built around a well-defined sequential algorithm interface such that there can be benefits from future expansion of the sequential algorithm.< >

关键词： Design automation Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

Harvest rate of reconfigurable pipelines

Harvest rate of reconfigurable pipelines

引用

IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems

作者： Weiping Shi Ming-Feng Chang W. Kent Fuchs Center for Reliable and High-Performance Computing Coordinated Science Laboratory University of Illinois Urbana-Champaign Urbana IL USA Department of Computer Science and Information Engineering National Chiao Tung University Taiwan

Yield analysis for reconfigurable structures is often difficult, due to the defect distribution and irregularity of reconfiguration algorithms. In this paper, the authors give a method to analyze the yield of reconfigurable pipelines for the following model: Given n pipelines with m stages, where each stage of a pipeline is defective with constant probability and spare wires are provided for reconfiguration, the authors calculate the expected percentage of pipelines they can harvest after reconfiguration. By modeling the 'shifting' reconfiguration as weighted chains in a lattice and applying poset theory, they give upper and lower bounds for the harvest rate as a function of m and n.< >

关键词： Pipelines Wires Lattices Very large scale integration Switches Algorithm design and analysis Parallel architectures Supercomputers Equations engineering management

来源：评论

学校读者我要写书评

暂无评论

Automatic classification of node types in switch-level descriptions

Automatic classification of node types in switch-level descr...

引用

IEEE International Conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： D.T. Blaauw P. Banerjee J.A. Abraham Center for Reliable an High Performance Computing Coordinated Science Laboratory University of Illinois Urbana-Champaign Urbana IL USA Department of Electrical & Computer Engineering University of Texas Austin Austin TX USA

In switch-level simulation, nodes carry a charge on their parasitic capacitance from one evaluation to the next, which gives them a memory quality. A node is classified as temporary if its memory aspect is lost and cannot affect the circuit operation, whereas a node is classified as a memory node if the memory of the node is maintained and can affect the circuit operation. Accurate classification of nodes into temporary and memory nodes increases the performance of compiled simulators and high-level model generators. An approach for reliable automatic classification of nodes in a switch-level description is introduced. Both an exhaustive, exponential-time algorithm and a polynomial-time heuristic are presented. The heuristic was implemented and tested for several large circuits, including a commercial microprocessor. For this processor, the proposed heuristics identified an average of 92% of all nodes as temporary nodes. The heuristic was applied in a high-level model generator and significantly increased its performance.< >

关键词： Circuit simulation Parasitic capacitance Circuit testing Maintenance Polynomials Switching circuits Switched capacitor circuits Joining processes Capacitance measurement Size measurement

来源：评论

学校读者我要写书评

暂无评论

computer AIDS FOR SHIP DESIGN, INTEGRATION AND CONTROL

引用

NAVAL ENGINEERS JOURNAL 1980年第2期92卷 73-87页

作者： CARLSON, CM JOHNSON, RA HELMING, FW Mr. Craig M. Carlson received his B.S. degree in Naval Architecture and Marine Engineering from the University of Michigan in 1970 and began his career with the Department of the Navy at the Naval Ship Engineering Center (NAVSEC). In 1972. he returned to the University of Michigan under the NAVSEC Long Term Training Program and received his M.S. degree in Naval Architecture and Marine Engineering. After returning to the Ship Arrangements Branch at NAVSEC. he was assigned as Task Leader for General Arrangements for the PGG PCG PHM. and MCM ship designs and was awarded Outstanding Performance Awards in 1974 and 1975. In addition he was Manager of the Arrangement Subsystem of the Navy's Computer-Aided Ship Design and Construction Program (CASDAC). In October 1979. he became Manager of the CASDAC Hull Design System. Currently. he also is enrolled in the M.S. of Computer Science Program at Johns Hopkins University. Mr. Carlson previously has presented technical papers at ASNE Day 1974 and 1978 as well as at the 1979 DOD Manufacturing Technology Advisory Group Conference. Besides ASNE. which he joined in 1972. he is a member of SNAME. ASE. and the U.S. Naval Institute. Mr. Robert A. Johnson is a Naval Architect in Surface Combatants Design (SEA 03D3). Ship Design Integration Directorate Naval Sea Systems Command. He received an Associate in Engineering degree in Drafting and Design Technology in 1959. his B.S. degree in Aerospace Engineering in 1965. and his M.S. degree in Engineering Mechanics in 1970. all from the Pennsylvania State University. In 1973. he was selected for the NA VSEC Hull Division s Long Term Training Program at the University of Michigan subsequently receiving his M.S.E. degree in Naval Architecture in 1974. Mr. Johnson began his career with the Ordnance Research Laboratory at Pennsylvania State University in 1959 where he worked. on the design of hydroelastic submarine models and conducted research in the area of flow induced structural vibrations. In 1967 he joined HRB-Singer at State Colle

This paper presents an integrated approach to computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design System (HDS), currently under development by the Hull Group of the Naval Sea Systems Command (NAVSEA 32). is the vehicle for the discussion. This paper is directed toward practicing ship design professionals and the managers of the ship design process. Primary emphasis of this paper, and of the development effort currently under way, is on aiding ship design professionals in their work. Focus is on integration and management control of the extremely complex set of processes which make up naval ship design. The terminology of the Ship Designer and Design Manager is used. The reader needs no familiarity with the technologies of computer science.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fabrication of Fe16N2 films by sputtering process and experimental investigation of origin of giant saturation magnetization in Fe16N2

Fabrication of Fe16N2 films by sputtering process and experi...

引用

作者： Wang, Jian-Ping Ji, Nian Liu, Xiaoqi Xu, Yunhao Sánchez-Hanke, C. Wu, Yiming De Groot, F.M.F. Allard, Lawrence F. Lara-Curzio, Edgar Department of Electrical and Computer Engineering Center for Micromagnetics and Information Technologies (MINT) University of Minnesota Minneapolis MN 55455 United States National Synchrotron Light Source Brookhaven National Laboratory Upton NY 11973 United States Inorganic Chemistry and Catalysis Debye Institute for Nanomaterials Science Utrecht University 3584 CA Utrecht Netherlands High Temperature Materials Laboratory Microscopy Group Materials Science and Technology Division Oak Ridge National Laboratory Oak Ridge TN 37831 United States

We present a systematic study to address a longstanding mystery in magnetic materials and magnetism, whether there is giant saturation magnetization in Fe16N2 and why. Experimental results based on sputtered thin film samples are presented. The magnetism of Fe16N2 is discussed systematically from the aspects of material processing, magnetic characterization and theoretical investigation. It is observed that thin films with Fe16N2+Fe8N mixture phases and high degree of N ordering, exhibit a saturation magnetization up to 2.68T at room temperature, which substantially exceeds the ferromagnetism limit based on the traditional band magnetism understanding. From X-ray magnetic circular Dichorism (XMCD) experiment, transport measurement and first-principle calculation based on LDA+U method, it is both experimentally and theoretically justified that the origin of giant saturation magnetization is correlated with the formation of highly localized 3d electron states in this Fe-N system. A large magnetocrystalline anisotropy for such a material is also discussed. Our proposed cluster+atom theory provides promising directions on designing novel magnetic materials with unique performances. © 2012 IEEE.

关键词： Nitrogen compounds

来源：评论

学校读者我要写书评

暂无评论

Cost-Efficient Deep Neural Network Placement in Edge Intelligence-Enabled Internet of Things

引用

ACM Transactions on Sensor Networks 1000年

作者： Hao Tian Xiaolong Xu Hongyue Wu Qingzhan Zhao Jianguo Dai Maqbool Khan State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China Nanjing China School of Software Nanjing University of Information Science and Technology Nanjing Jiangsu China Nanjing China College of Intelligence and Computing Tianjin University Tianjin China Tianjin China Geospatial Information Engineering Research Center College of Information Science and Technology Shihezi University Shihezi Xinjiang China Shihezi China Department of IT and Computer Science Pak-Austria Fachhochschule Institute of Applied Sciences and Technology Haripur Pakistan Haripur Pakistan

Edge intelligence (EI) integrates edge computing and artificial intelligence empowering service providers to deploy deep neural networks (DNNs) on edge servers in proximity to users to provision intelligent applications (e.g., autonomous driving) for ubiquitous Internet of Things (IoT) in smart cities, which facilitates the quality of experience (QoE) of users and improves the processing and energy efficiency. However, considering DNN is typically computational-intensive and resource-hungry, conventional placement approaches ignore the influence of multi-dimensional resource requirements (processor, memory, etc.), which may degrade the real-time performance. Moreover, with the increasing scale of geo-distributed edge servers, centralized decision-making is still challenging to find the optimal strategies effectively. To overcome these shortcomings, in this paper we propose a game theoretic DNN placement approach in EI-enabled IoT. First, a DNN placement optimization problem is formulated to maximize system benefits, which is proven to be \(\mathcal {N}\mathcal {P}\)-hard and model the original problem as an exact potential game (EPG). Moreover, an EPG-based DNN model placement algorithm, named EPOL, is designed for edge servers to make sub-optimal strategies independently and theoretical analysis is possessed to guarantee the performance of EPOL. Finally, real-world dataset based experimental results corroborate the superiority and effectiveness of EPOL.

关键词： Edge intelligence DNN placement Game theory Internet of Things

来源：评论

学校读者我要写书评

暂无评论

Transactions on Rough Sets XII 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： James F. Peters Andrzej Skowron Roman Słowiński Pawan Lingras Duoqian Miao Shusaku Tsumoto

来源：评论

学校读者我要写书评

暂无评论

Computational science — ICCS 2003 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Peter M. A. Sloot David Abramson Alexander V. Bogdanov Yuriy E. Gorbachev Jack J. Dongarra Albert Y. Zomaya

ISBN: (数字)9783540448631

ISBN: (纸本)9783540401964

Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. Computational science plays a vital role in fundamental advances in biology, physics, chemistry, astronomy, and a host of other disciplines. This is through the coordination of computation, data management, access to instrumentation, knowledge synthesis, and the use of new devices. It has an impact on researchers and practitioners in the sciences and beyond. The sheer size of many challenges in computational science dictates the use of supercomputing, parallel and distri- ted processing, grid-based processing, advanced visualization and sophisticated algorithms. At the dawn of the 21st century the series of International Conferences on Computational science (ICCS) was initiated with a ?rst meeting in May 2001 in San Francisco. The success of that meeting motivated the organization of the - cond meeting held in Amsterdam April 21–24, 2002, where over 500 participants pushed the research ?eld further. The International Conference on Computational science 2003 (ICCS 2003) is the follow-up to these earlier conferences. ICCS 2003 is unique, in that it was a single event held at two di?erent sites almost opposite each other on the globe – Melbourne, Australia and St. Petersburg, Russian Federation. The conference ran on the same dates at both locations and all the presented work was published in a single set of proceedings, which you hold in your hands right now.

关键词： Theory of Computation Programming Techniques computer Systems Organization and Communication Networks Mathematics of computing information Systems and Communication Service computer Imaging, Vision, Pattern Recognition and Graphics

来源：评论

学校读者我要写书评

暂无评论

Frontiers in Algorithmics 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Xiaotie Deng John E. Hopcroft Jinyun Xue

ISBN: (数字)9783642022708

ISBN: (纸本)9783642022692

This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on graph algorithms; game theory with applications; graph theory, computational geometry; machine learning; parameterized algorithms, heuristics and analysis; approximation algorithms; as well as pattern recognition algorithms, large scale data mining.

关键词： Data Structures Mathematics of computing Artificial Intelligence Algorithm Analysis and Problem Complexity Discrete Mathematics in computer science Software engineering/Programming and Operating Systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：