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

A PIPELINED BROADCAST FOR MULTIDIMENSIONAL MESHES

Parallel Processing Letters 1995年第2期5卷 281-292页

作者： JERRELL WATTS ROBERT VAN DE GEIJN Scalable Concurrent Programming Laboratory California Institute of Technology Pasadena California 91125 USA Department of Computer Sciences University of Texas at Austin Austin Texas 78712 USA

We address the problem of performing a pipelined broadcast on a mesh architecture. Meshes require a different approach than other topologies, and their very nature puts a tighter bound on the performance that one can hope to achieve. By using the appropriate techniques, however, one can obtain excellent performance for sufficiently long messages. The resulting algorithm will work on meshes of any dimension with any number of nodes. Our model assumes that the mesh is a torus and/or that it has bidirectional links and uses wormhole routing. Performance data from the Cray T3D are included.

关键词： Broadcast pipelining communication mesh torus

来源：评论

学校读者我要写书评

暂无评论

Supporting mobility in content-based publish/subscribe middleware 03

Supporting mobility in content-based publish/subscribe middl...

引用

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware

作者： Ludger Fiege Felix C. Gärtner Oliver Kasten Andreas Zeidler Darmstadt University of Technology (TUD) Darmstadt Germany Distributed Programming Laboratory Lausanne Switzerland Swiss Federal Institute of Technology (ETH Zurich) Zurich Switzerland

ISBN: (纸本)9783540403173

Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for static systems where users as well as the underlying system structure were rather fixed. We study the question whether existing pub/sub middleware can be extended to support mobile and location-dependent applications. We first analyze the requirements of such applications and distinguish two orthogonal forms of mobility: the system-centric physical mobility and an application-centric logical mobility (where users are aware that they are changing location). We introduce location-dependent subscriptions as a suitable means to exploit the power of the event-based paradigm in mobile applications. Briefly spoken, location-dependency refines a subscription to accept only events related to a mobile user's current location. Implementations for both forms of mobility are presented within the content-based pub/sub middleware Rebeca, drawing from its refined routing capabilities (namely, covering and merging).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Characterization and analysis of HMMER and SVM-RFE parallel bioinformatics applications

Characterization and analysis of HMMER and SVM-RFE parallel ...

引用

IEEE International Workshop/Symposium on Workload Characterization

作者： U. Srinivasan Peng-Sheng Chen Qian Diao Chu-Cheow Lim E. Li Yongjian Chen R. Ju Yimin Zhang Programming Systems Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA Architecture Research Laboratoryoratory Microprocessor Technology Laboratory Intel Corporation Santa Clara CA USA

Bioinformatics applications constitute an emerging data-intensive, high-performance computing (HPC) domain. While there is much research on algorithmic improvements, (2004), the actual performance of an application also depends on how well the program maps to the target hardware. This paper presents a performance study of two parallel bioinformatics applications HMMER (sequence alignment) and SVM-RFE (gene expression analysis), on Intel x86 based hyperthread-capable (2002) shared-memory multiprocessor systems. The performance characteristics varied according to the application and target hardware characteristics. For instance, HMMER is compute intensive and showed better scalability on a 3.0 GHz system versus a 2.2 GHz system. However, SVM-RFE is memory intensive and showed better absolute performance on the 2.2 GHz machine which has better memory bandwidth. The performance is also impacted by processor features, e.g. hyperthreading (HT) (2002) and prefetching. With HMMER we could obtain -75% of the performance with HT enabled with respect to doubling the number of CPUs. While load balancing optimizations can provide speedup of -30% for HMMER on a hyperthreading-enabled system, the load balancing has to adapt to the target number of processors and threads. SVM-RFE benefits differently from the same load-balancing and thread scheduling tuning. We conclude that compiler and runtime optimizations play an important role to achieve the best performance for a given bioinformatics algorithm.

关键词： Hidden Markov models Bioinformatics Hardware Load management Yarn Gene expression Performance analysis Multiprocessing systems Scalability Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Characterizing carrier envelope phase of an isolated attosecond pulse with annular photoionization momentum spectra

引用

Chinese Optics Letters 2017年第11期15卷 1-5页

作者：李猛张贵忠赵天琪丁欣姚键铨 College of Precision Instrument and Optoelectronics Engineering Tianjin University Tianjin 300072 China Civil Aviation Meteorological Institute Key Laboratory of Operation Programming and Safety Technology of Air Traffic Management Civil Aviation University of China Tianjin 300300 China

The carrier envelope phase（CEP） has a direct impact on the physical properties of an isolated attosecond pulse（IAP） and many strong field processes,but it is difficult to measure in *** at obtaining more accurate and complete characterization of CEP,we numerically investigate the annular photoelectron momentum spectra of the hydrogen atom ionized by overlapped fields of an IAP and an infrared（IR） *** defining an overlapping parameter,the momentum patterns are classified and optimized for unambiguously measuring the rotation angle of a momentum pattern versus the CEP value.A series of simulations verify its robustness.

关键词： momentum annular overlapping photoelectron robustness overlapped rotation envelope verify reality

来源：评论

学校读者我要写书评

暂无评论

On-demand content delivery grid

On-demand content delivery grid

引用

5th International Conference on Information technology and Applications, ICITA 2008

作者： Luk, Vincent Wing-Hei Chan, Jacky Ng, Kam-Wing Wong, Albert Kai-Sun Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong Programming Practices Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong

ISBN: (纸本)9780980326727

In this paper, we propose an On-Demand Content Delivery Grid system that supplements the traditional content delivery network to deal with problems such as the huge influx of network traffic in a short period of time and the high cost in renting a fixed number of servers. We present its system architecture and describe its implementation in details. An experimental high-definition movie streaming site was setup using our content delivery grid system to demonstrate its capabilities with performance analysis.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Using the Topological Characterization of Synchronous Models 1

引用

Electronic Notes in Theoretical Computer Science 2003年 81卷 36-47页

作者： Giovanni Adagio Distributed Programming Laboratory School of Computer Science and Communication Systems Swiss Federal Institute of Technology in Lausanne (EPFL) Institute of Mathematics School of Basic Sciences Swiss Federal Institute of Technology in Lausanne (EPFL) Switzerland

This paper contributes to the characterization of synchronous models of distributed computing using topological techniques. We consider a generic synchronous model with send-omission failures and use a topological structure corresponding to a bounded number of rounds of the model. We observe some nice properties of the structure and derive from these properties necessary and sufficient conditions to solve consensus in this model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs

引用

Formal Aspects of Computing 1997年第2期9卷 149-174页

作者： Xu, Qiwen De Roever, Willem-Paul He, Jifeng Inst. Informatik Praktische M. Chrstn.-Albrechts-Univ. zu Kiel Kiel Germany Programming Research Group Oxford Univ. Computing Laboratory Oxford United Kingdom Intl. Inst. for Software Technology United Nations University PO Box 3058 Macao

Compositional proof systems for shared variable concurrent programs can be devised by including the interference information in the specifications. The formalism falls into a category called rely-guarantee (or assumption-commitment), in which a specification is explicitly (syntactically) split into two corresponding parts. This paper summarises existing work on the rely-guarantee method and gives a systematic presentation. A proof system for partial correctness is given first, thereafter it is demonstrated how the relevant rules can be adapted to verify deadlock freedom and convergence. Soundness and completeness, of which the completeness proof is new, are studied with respect to an operational model. We observe that the rely-guarantee method is in a sense a reformulation of the classical non-compositional Owicki & Gries method, and we discuss throughout the paper the connection between these two methods.

关键词： Compositionality Concurrency Deadlock freedom Partial and total correctness Rely-Guarantee formalism Soundness and completeness Specification and verification

来源：评论

学校读者我要写书评

暂无评论

Automated support for framework-based software

Automated support for framework-based software

引用

International Conference on Software Maintenance (ICSM)

作者： T. Tourwe T. Mens Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium Service de Gnie Logiciel Universit de Mons-Hainaut Mons Belgium

In this paper, we show how elaborate support for framework-based software evolution can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. Such support includes high-level transformations that guide a developer when instantiating applications from a framework by propagating the necessary changes, as well as application upgrading facilities based on these transformations. The approach relies on active declarative documentation of the design and evolution of the framework's hot spots, by means of metapatterns and their associated transformations.

关键词： Application software Documentation Error correction Genetic programming Logic programming Object oriented programming Mars Software engineering Scalability Concrete

来源：评论

学校读者我要写书评

暂无评论

An analysis of inline substitution for a structured programming language

引用

Communications of the ACM 1977年第9期20卷 647-654页

作者： Scheifler, Robert W. Programming Methodology Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA 02139 United States

An optimization technique known as inline substitution is analyzed. The optimization consists of replacing a procedure invocation by a modified copy of the procedure body. The general problem of using inline substitution to minimize execution time subject to size constraints is formulated, and an approximate algorithmic solution is proposed. The algorithm depends on run-time statistics about the program to be optimized. Preliminary results for the CLU structured programming language indicate that, in programs with a low degree of recursion, over 90 percent of all procedure calls can be eliminated, with little increase in the size of compiled code and a small savings in execution time. Other conclusions based on these results are also presented. © 1977, ACM. All rights reserved.

关键词： compilers inline substitution open coding open compilation program optimization run-time statistics structured programming languages

来源：评论

学校读者我要写书评

暂无评论

Correspondence

引用

The Computer Journal 1975年第2期18卷 190-191页

作者： Campbell, J. L. Programming Technology Department DP Product Test Laboratory IBM United Kingdom Laboratories Limited Hursley Park Winchester Hampshire SO21 2JN

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：