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

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

来源：评论

学校读者我要写书评

暂无评论

Building test cases for use in hypersequential programming

Building test cases for use in hypersequential programming

引用

IEEE International Workshop on Software Engineering for Parallel and distributed systems

作者： Rudram Croll Uchihira Communications and Distributed Systems Research Group Department of Computer Science University of Sheffield UK Research and Development Center Toshiba Corporation Kawasaki Japan

A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functionality being included into a program. This is opposite to traditional software engineering practice, which is to ensure that all unwanted behaviours have been removed. We briefly examine the HSP method with reference to test cases and scenarios. We examine a couple of brief examples and discuss the limitations of test cases, with particular respect to HSP. We conclude that finding a method of ensuring the correct set of test cases is used in development is essential to the success of HSP.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Autonomic SLA-Aware Service Virtualization for distributed systems

Autonomic SLA-Aware Service Virtualization for Distributed S...

引用

Euromicro Conference on Parallel, distributed and Network-Based Processing

作者： Attila Kertész Gábor Kecskeméti Ivona Brandic Computer and Automation Research Institute MTA SZTAKI Budapest Hungary Distributed Systems Group Vienna University of Technology Vienna Austria

Cloud Computing builds on the latest achievements of diverse research areas, such as Grid Computing, Service-oriented computing, business processes and virtualization. Managing such heterogeneous environments requires sophisticated interoperation of adaptive coordinating components. In this paper we introduce an SLA-aware Service Virtualization architecture that provides non-functional guarantees in the form of Service Level Agreements and consists of a three-layered infrastructure including agreement negotiation, service brokering and on demand deployment. In order to avoid costly SLA violations, flexible and adaptive SLA attainment strategies are used with a failure propagation approach. We demonstrate the advantages of our proposed solution with a biochemical case study in a Cloud simulation environment.

关键词： computer architecture Virtual machining Computational modeling Manganese Variable speed drives Cloud computing Protocols

来源：评论

学校读者我要写书评

暂无评论

Experimental Assessment of Containers Running on Top of Virtual Machines

arXiv

引用

arXiv 2024年

作者： Aqasizade, Hossein Ataie, Ehsan Bastam, Mostafa Department of Computer Engineering University of Mazandaran Babolsar Iran Distributed Computing Systems Research Group University of Mazandaran Babolsar Iran

Over the past two decades, the cloud computing paradigm has gradually attracted more popularity due to its efficient resource usage and simple service access model. Virtualization technology is the fundamental element of cloud computing that brings several benefits to cloud users and providers, such as workload isolation, energy efficiency, server consolidation, and cost reduction. This paper examines the combination of operating system-level virtualization (containers) and hardware-level virtualization (virtual machines). To this end, the performance of containers running on top of virtual machines is experimentally compared with standalone virtual machines and containers based on different hardware resources, including the processor, main memory, disk, and network in a real testbed by running the most commonly used benchmarks. Paravirtualization and full virtualization as well as type 1 and type 2 hypervisors are covered in this study. In addition, three prevalent containerization platforms are examined. © 2024, CC BY.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Parallel Computations in the Problem of Identification of Interval Discrete Models based on Swarm Intelligence of a Bee Colony 13

Parallel Computations in the Problem of Identification of In...

引用

13th International Conference on Advanced computer Information Technologies, ACIT 2023

作者： Dyvak, Mykola Kindzerskyi, Oleksandr Dostalek, Libor Stetsko, Mykola Nowak, Joachim West Ukrainian National University Department of Computer Science Ternopil Ukraine Czech Technical University in Prague Computer Networks Research Group Department of Computer Systems Prague Czech Republic West Ukrainian National University Department of Financial Management and Insurance Ternopil Ukraine Catholic University in Ruzomberok Faculty of Theology Ruzomberok Slovakia

The article discusses the problem of parametric identification of interval discrete models of complex objects. A new scheme of parallel computations for solving the problem of parametric identification based on the behavioral model of an artificial bee colony is proposed and justified. The effectiveness of the proposed parallel computing scheme is considered using the example of parametric identification of a mathematical model of the anaerobic microbiological fermentation process in biogas plants. A nonlinear second-order discrete model describes the dynamics of residual organic waste mass in the biogas reactor during fermentation. According to the results of the experiments, a 2-fold acceleration of the algorithm's computational time was achieved. © 2023 IEEE.

关键词： Swarm intelligence

来源：评论

学校读者我要写书评

暂无评论

Real-Time Traffic Congestion Detection for Driver-Centric Applications

Real-Time Traffic Congestion Detection for Driver-Centric Ap...

引用

International Conference on distributed Computing systems Workshop

作者： Philipp Kisters Tim Bauer Wolf Posdorfer Janick Edinger Distributed Operating Systems Universität Hamburg Hamburg Germany Mercedes-Benz Group AG Stuttgart Germany Computer Networks Universität Hamburg Hamburg Germany

With the increasing time drivers spent behind the wheel, availability of accurate, reliable, and comprehensive information on real-time traffic conditions is becoming increasingly important for individual road users, industry, and traffic authorities. Due to a growing amount of traffic combined with insufficient transportation infrastructure, traffic congestion is one of the major challenges modern society has to face in urban areas. While this results in serious environmental issues such as pollution, congestions also have significant effects on drivers’ stress levels, which further is an essential factor in driver behavior and road safety. In this paper, we analyze real-time traffic situations on a fine-granular level by computing the local congestion factor, which represents traffic conditions on currently traversed route segments. We show that travel time predictions for short- and mid-term routes provided by four major public traffic information providers can be used for computing congestion factors in real-time, which can then be used as input for driver-centric applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Message authentication with one-way hash functions

Message authentication with one-way hash functions

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： G. Tsudik IBM Zurich Research Laboratory GmbH RUschlikon Switzerland Computer Networks and Distributed Systems Laboratory University of Southern California Los Angeles CA USA

The authors introduce encryption-free message authentication based entirely on the use of one-way hash functions. It is shown that fast one-way hash functions such as MD4 can be used as a foundation for some relatively novel implementations of security services. In particular, simple and inexpensive secret prefix and secret suffix methods provide protection against message substitution attacks when used in conjunction with a strong one-way hash function (which itself protects against message modification).< >

关键词： Message authentication Hardware Protocols Costs Laboratories Protection Public key cryptography computer networks High-speed networks Bandwidth

来源：评论

学校读者我要写书评

暂无评论

An Analysis of Formal Languages for Dynamic Adaptation

An Analysis of Formal Languages for Dynamic Adaptation

引用

IEEE International Conference on Engineering of Complex computer systems

作者： Jorge Fox Siobhan Clarke Lero-The Irish Software Engineering Research Centre Distributed Systems Group School of Computer Science and Statistics Trinity College Dublin Ireland

The service-oriented computing paradigm is in widespread use for adaptive systems that face changing conditions in their operational environment as well as the integration of new services. In many domains, adaptations may occur dynamically and in real-time, using services from heterogeneous, possibly unknown sources. This motivates a need to ensure the correct behaviour of the adapted system, and its continuing compliance to time bounds. The complexity of dynamic adaptation (DA) is significant, but unfortunately currently not well understood or formally specified. Formal methods are an attractive option for solving this problem as they provide a means to precisely model a software system. There are many formal languages targeted to different domains, and in this paper, we present the results of our analysis of three languages as potential candidates for modelling our time-constrained DA problem. In particular, we selected JOLIE, PiDuce and COWS for analysis, as they are targeted towards service-based systems and each provide means to model at least some of our requirements. Our results illustrate the strengths and limitations of each, and justify our selection of COWS as the best-fit, though limited, language for our purposes.

关键词： Vehicles Formal languages Calculus Engines Adaptation model Protocols Runtime

来源：评论

学校读者我要写书评

暂无评论

Business aware policy-based management

Business aware policy-based management

引用

First IEEE/IFIP International Workshop on Business-Driven IT Management, BDIM 2006

作者： Aib, Issam Sallé, Mathias Bartolini, Claudio Boulmakoul, Abdel Boutaba, Raouf Pujolle, Guy Networks and Distributed Systems Laboratory Univ. Waterloo Canada HP Research Labs 1501 Page Mill Rd Palo Alto CA 94304 United States HP Research Labs Bristol BS34 8QZ United Kingdom PHARE Group LIP6 Laboratory Univ. Paris 6 France

ISBN: (纸本)1424401763

In this paper, we introduce a business aware framework for the policy-based management of IT systems and its application to utility computing environments. The framework couples two main subsystems on top of an IETF-like policy-based resource control layer. They are MBO (Management by Business Objectives) where the decision ability supported by analysis of business objectives resides, and GSLA (Generalized SLA), an advanced framework for SLA driven management that lends itself quite naturally to the derivation of IT management policies from the SLAs that the enterprise has contracted. We discuss the advantages and the limitations of the state-of-art policy-based approach to systems management, mainly the lack of business and service level context to drive policy-related decisions at system runtime. We then explain how this is remedied in our framework through the interaction mechanism between the reactive policy-based resource control layer and the more proactive business driven decision making engine. © 2006 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Dynamic forecasting and adaptation for demand optimization in the Smart Grid

Dynamic forecasting and adaptation for demand optimization i...

引用

International Workshop on Software Engineering for the Smart Grid (SE4SG)

作者： Eamonn O'Toole Siobhán Clarke Lero-The Irish Software Engineering Research Centre Distributed Systems Group School of Computer Science and Statistics Trinity College Dublin Ireland

The daily peaks and valleys in energy demand create inefficiencies and expense in the operation of the electricity grid. Valley periods force utilities to curtail renewable energy sources such as wind as their unpredictable nature makes it difficult to maintain line frequency across the network within target bounds. Peak periods require additional generators that remain dormant during other periods. Smoothing this demand cycle is one of the fundamental challenges of the Smart Grid, requiring flexibility and coordination between actors throughout the Grid. This paper describes the Smart Grid as a multi-layered system and proposes a cross-layered dynamic adaptation approach to facilitate this flexibility and coordination. This method uses a hierarchical taxonomy to identify appropriate adaptation actions in response to identified mismatches, supported by a run-time predictive statistical framework to predict mismatches, enabling timely adaptations to be triggered.

关键词： Smart grids Generators Electricity Production Renewable energy resources Optimization Wind energy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：