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

14th International Euro-Par Conference, Euro-Par 2008

作者： Robles-Gómez, Antonio Bermúdez, Aurelio Casado, Rafael Solheim, Åshild Grønstad Universidad de Castilla-La Mancha Spain Simula Research Laboratory Networks and Distributed Systems Group Norway Department of Informatics University of Oslo Norway

ISBN: (纸本)3540854509

Current high-performance distributed systems use a switch-based interconnection network. After the occurrence of a topological change, a management mechanism must reestablish connectivity between network devices. This mechanism discovers the new topology, calculates a new set of routing paths, and updates the routing tables within the network. The main challenge related to network reconfiguration (the change-over from one routing function to another) is avoiding deadlocks. Former reconfiguration techniques significantly reduce network service. In addition, most recent proposals either need extra network resources (such as virtual channels) or their computation complexities are prohibitive. For up*/down*routed networks we propose a new reconfiguration method that supports a virtually unaffected network service at a minor computational cost. This method is suitable for both source and distributed routing networks, and does neither restrict the injection of packets nor the updating of routing tables during the topology-change assimilation. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

An all-optical grooming switch with regenerative capabilities

An all-optical grooming switch with regenerative capabilitie...

引用

International Conference on Transparent Optical networks

作者： J. Leuthold R. Bonk P. Vorreau S. Sygletos D. Hillerkuss W. Freude G. Zarris D. Simeonidou C. Kouloumentas M. Spyropoulou I. Tomkos F. Parmigiani P. Petropoulos D.J. Richardson R. Weerasuriya S. Ibrahim A.D. Ellis C. Meuer D. Bimberg R. Morais P. Monteiro S. Ben Ezra S. Tsadka Institute of Photonics and Quantum Electronics University of Karlsruhe Karlsruhe Germany School of Computer Science and Electronic Engineering University of Essex UK Athens Information Technology Center Athens Greece Optoelectronics Research Centre University of Southampton UK Photonic Systems Group Department of Physics University College Cork Cork Ireland Institute of Solid State Physics University of Berlin Berlin Germany Nokia Siemens Networks Portugal SA Amadora Portugal Finisar Israel Nes Ziona Israel

A regenerative optical grooming switch for interconnecting 130 Gbit/s and 40 Gbit/s networks with switching functionality in time, space and wavelength domain is demonstrated. Lab and field demonstrations show the fea... 详细信息

ISBN: (纸本)9781424448258

关键词： Repeaters Optical wavelength conversion Optical switches Integrated circuit interconnections Telecommunication traffic Microswitches High speed optical techniques Optical network units Clocks Photonics

来源：评论

学校读者我要写书评

暂无评论

Perspectives in component-based software engineering

Perspectives in component-based software engineering

引用

30th International Conference on Software Engineering, ICSE 2008 - 2008 International Workshop on Software Engineering in East and South Europe Workshop, SEESE'08

作者： Adamek, Jiri Hnetynka, Petr Distributed Systems Research Group Faculty of Mathematics and Physics Charles University in Prague Institute of Computer Science Academy of Sciences of the Czech Republic

ISBN: (纸本)9781605580760

Component-based software engineering (CBSE) has become a commonly used development technique. Using it, applications are composed of reusable components with well defined interfaces and behavior. Currently, in the scope of CBSE, research has been driven in huge number of directions and by many research teams. Naturally, such conditions are ideal for mutual cooperation and collaboration. In this paper, we describe our experience with research cooperation, especially in the scope of Europe. We present experience gained during recent joint projects, in which we have participated. Also, we present our research areas and topics and ongoing work on them. Copyright 2008 ACM.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Local broadcasting in the physical interference model 08

Local broadcasting in the physical interference model

引用

5th ACM SIGACT-SIGOPS International Workshop on Foundations of Mobile Computing, DIALM-POMC

作者： Goussevskaia, Olga Moscibroda, Thomas Wattenhofer, Roger Computer Engineering and Networks Laboratory ETH Zurich 8092 Zurich Switzerland Systems and Networking Research Group Microsoft Research Redmond WA 98052 United States

ISBN: (纸本)9781605582443

In this work we analyze the complexity of local broadcasting in the physical interference model. We present two distributed randomized algorithms: one that assumes that each node knows how many nodes there are in its geographical proximity, and another, which makes no assumptions about topology knowledge. We show that, if the transmission probability of each node meets certain characteristics, the analysis can be decoupled from the global nature of the physical interference model, and each node performs a successful local broadcast in time proportional to the number of neighbors in its physical proximity. We also provide worst-case optimality guarantees for both algorithms and demonstrate their behavior in average scenarios through simulations. © 2008 ACM.

关键词： Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

On the Potential of NoC Virtualization for Multicore Chips

On the Potential of NoC Virtualization for Multicore Chips

引用

International Conference on Complex, Intelligent and Software Intensive systems, CISIS

作者： Jose Flich Samuel Rodrigo Jose Duato Thomas Sødring Åshild Grønstad Solheim Tor Skeie Olav Lysne Parallel Architectures Group Technical University of Valencia Spain Networks and Distributed Systems Simula Research Laboratory Norway Department of Informatics University of Oslo Norway

As the end of Moores-law is on the horizon, power becomes a limiting factor to continuous increases in performance gains for single-core processors. Processor engineers have shifted to the multicore paradigm and many-core processors are a reality. Within the context of these multi-core chips, three key metrics point themselves out as being of major importance, performance, fault-tolerance (including yield), and power consumption. A solution that optimizes all three of these metrics is challenging. As the number of cores increases the importance of the interconnection network-on-chip (NoC) grows as well, and chip designers should aim to optimize these three key metrics in the NoC context as well. In this paper we identify and discuss the main properties that a NoC must exhibit in order to enable such optimizations. In particular, we propose the use of virtualization techniques at the NoC level. AS a major finding, we identify the implementation of routing algorithms to become a key design parameter in order to achieve an effective virtualization of the chip should also supporting broadcast within the virtualized context. The intention behind this paper is for it to serve as a position paper on the topic of virtualization for NoC and the challenges that should be met at the routing layer in order to maximize performance, fault-tolerance and power consumption in multicore chips.

关键词： Magnetic cores Routing Resource management Power demand Topology Fault tolerance Fault tolerant systems

来源：评论

学校读者我要写书评

暂无评论

On the potential of NoC virtualization for multicore chips

引用

Scalable Computing 2008年第3期9卷 165-177页

作者： Flich, J. Rodrigo, S. Duato, J. Sødring, T. Solheim, A.G. Skeie, T. Lysne, O. Parallel Architectures Group Technical University of Valencia Spain Networks and Distributed Systems Department Simula Research Laboratory University College Oslo Norway Department of Journalism Library and Information Science University College Oslo Norway Department of Informatics University of Oslo Norway

As the end of Moores-law is on the horizon, power becomes a limiting factor to continuous increases in performance gains for single-core processors. Processor engineers have shifted to the multicore paradigm and many-core processors are a reality. Within the context of these multicore chips, three key metrics point themselves out as being of major importance, performance, fault-tolerance (including yield), and power consumption. A solution that optimizes all three of these metrics is challenging. As the number of cores increases the importance of the interconnection network-on-chip (NoC) grows as well, and chip designers should aim to optimize these three key metrics in the NoC context as well. In this paper we identify and discuss the main properties that a NoC must exhibit in order to enable such optimizations. In particular, we propose the use of virtualization techniques at the NoC level. As a major finding, we identify the implementation of unicast and broadcast routing algorithms to become a key design parameter in order to achieve an effective virtualization of the chip. The intention behind this paper is for it to serve as a position paper on the topic of virtualization for NoC and the challenges that should be met at the routing layer in order to optimize performance, fault-tolerance and power consumption in multicore chips. © 2008 SCPE.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

Checking Session-Oriented Interactions between Web Services

Checking Session-Oriented Interactions between Web Services

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Pavel Parizek Jiri Adamek Faculty of Mathematics and Physics Department of Software Engineering Distributed Systems Research Group Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Czech Republic

Although Web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the Web services often work as front-ends to enterprise systems and are used in a session-oriented way by the clients. Contrary to the case of stateless services, for a stateful Web service there exist constraints to the order in which the operations of the service may be invoked. However, specification of such constraints is not a standard part of a Web service interface, and compliance with such constraints is not checked by the standard Web service development tools. Therefore, we propose in this paper to extend a web service interface by a constraint definition that is based on behavior protocols. Also, we implemented a tool that checks whether a given BPEL code complies with the constraints of all stateful web services it communicates with. The key idea behind the tool is to translate the BPEL code into Java and then to check the Java program using Java PathFinder with behavior protocol extension.

关键词： Web services Java Software engineering Simple object access protocol Standards development XML Application software Mathematics Physics computer science

来源：评论

学校读者我要写书评

暂无评论

An Anisotropic Diffusion Filtering Implementation to Execute in Parallel distributed systems

An Anisotropic Diffusion Filtering Implementation to Execute...

引用

IEEE International Conference on Computational Science and Engineering Workshops (CSEWORKSHOPS)

作者： Antonio C. Sobieranski Leandro Coser M.A.R. Dantas Aldo v. Wangenheim Eros Comunello LAPIX-Image Processing and Graphic Computing Lab The Cyclops Group Federal University of Santa Catarina Brazil LaPeSD-Distributed Systems Research Laboratory Federal University of Santa Catarina Brazil Graduate Program Applied Computer Science Universidade do Vale do Itajaí Brazil

ISBN: (纸本)9780769532578

In this paper, we present a parallelization of a filtering algorithm related to non-linear anisotropic diffusion, used to enhance the performance of an application in a parallel distributed system. The anisotropic diffusion is a well-established technique for image enhancement by means of diffusivity functions, which act as border attenuators. However, it requires a high computational cost when a large amount of data is used. The proposed implementation was parallelized considering both point-to-point and collective communications, adopting the MPI paradigm. Results from both approaches indicate that the proposed algorithm has reached interesting levels of performance (81% and 93% of efficiency, respectively) when compared to the execution of one process in a single computer node. In addition, our results indicate an enhancement of around 21% utilizing the collective communication strategy when compared to point-to-point communication.

关键词： Filtering Magnetic separation Anisotropic magnetoresistance Ions Kernel Maximum likelihood detection Pixel

来源：评论

学校读者我要写书评

暂无评论

Routing-contained virtualization based on Up*/down* forwarding

引用

14th International Conference on High-Performance Computing, HiPC 2007

作者： Solheim, Åshild Grønstad Lysne, Olav Sødring, Thomas Skeie, Tor Libak, Jakob Aleksander Networks and Distributed Systems Group Simula Research Laboratory Lysaker Norway Department of Informatics University of Oslo Oslo Norway

ISBN: (纸本)9783540772194

Virtualization of computing resources is becoming increasingly important both for high-end servers and multi-core CPUs. In a virtualized system, the set of resources that constitute a virtual compute entity should be spatially separated from each other. Dividing the cores on a chip, or the CPUs in a high end server into disjoint sets for each task is a trivial problem. Ensuring that they use disjoint parts of the interconnection network is, however, complex, and in existing methods the requirement of routing-containment of each virtual partition severely degrades the utilization of the system. In this paper, we present an allocation strategy that is based on Up*/Down* routing. Through simulations, we demonstrate increases (in some cases above 30%) in system utilizar tion relative to state-of-the-art in a Dimension Order routed mesh - a topology that is assumed to be widely deployed in networks on Chip. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

Improving the stability of transmission in Mobile Ad Hoc networks

Improving the stability of transmission in Mobile Ad Hoc NET...

引用

5th New Zealand computer Science research Student Conference, NZCSRSC 2007

作者： Zhang, Yifan Komisarczuk, Peter Distributed Systems Research Group School of Mathematics Statistics and Computer Science Victoria University of Wellington Kelburn Parade Wellington New Zealand

Protocol development in Mobile Ad hoc networks (MANET) has been a hot topic for many years, yet the performance exhibited from recent deployments [1] is still not optimal and not suitable for large scale practical use. Stability of transmission is a critical aspect in mobile ad hoc networks, as by improving the stability of end-to-end transmission, the network could deliver more consistent service and achieve efficiency gains. We propose a protocol architecture which aims to improve the stability of transmission inside MANET using limited additional information based on the location of wireless nodes. The draft architecture and the initial progress in this project are also presented in this paper.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：