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

Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7490 LNCS卷 V-VII页

作者： Träff, Jesper Larsson Benkner, Siegfried Dongarra, Jack Vienna University of Technology Faculty of Informatics Institute of Information Systems Favoritenstr. 16 1040 Vienna Austria University of Vienna Faculty of Computer Science Research Group Scientific Computing Währinger Str. 29/6.21 1090 Vienna Austria University of Tennessee Department of Electrical Engineering and Computer Science Knoxville TN 37996 United States

来源：评论

学校读者我要写书评

暂无评论

A cyclic small-gain condition and an equivalent matrix-like criterion for iISS networks

A cyclic small-gain condition and an equivalent matrix-like ...

引用

IEEE Conference on Decision and Control

作者： Hiroshi Ito Zhong-Ping Jiang Sergey N. Dashkovskiy Björn S. Rüffer Department of Systems Design and Informatics Kyushu Institute of Technology Iizuka Japan Department of Electrical and Computer Engineering Six Metrotech Center Polytechnic Institute of New York University Brooklyn NY USA Department of Civil Engineering University of Applied Sciences Erfurt Germany Signal and System Theory Group EIM-E University of Paderborn Paderborn Germany

ISBN: (纸本)9781467320658

This paper considers nonlinear dynamical networks consisting of individually iISS (integral input-to-state stable) subsystems which are not necessarily ISS (input-to-state stable). Stability criteria for internal and external stability of the networks are developed in view of both necessity and sufficiency. For the sufficiency, we show how we can construct a Lyapunov function of the network explicitly under the assumption that a cyclic small-gain condition is satisfied. The cyclic small-gain condition is shown to be equivalent to a matrix-like condition. The two conditions and their equivalence precisely generalize some central ISS results in the literature. Moreover, the necessity of the matrix-like condition is established. The allowable number of non-ISS subsystems for stability of the network is discussed through several necessity conditions.

关键词： Lyapunov methods Stability criteria Vectors Educational institutions Nickel USA Councils Indium tin oxide

来源：评论

学校读者我要写书评

暂无评论

Theoretical Treatment of Target Coverage in Wireless Sensor Networks

引用

Journal of computer Science & Technology 2011年第1期26卷 117-129页

作者：谷雨赵保华计宇生李颉 School of Computer Science University of Science and Technology of China State Key Laboratory of Networking and Switching Technology Information Systems Architecture Science Research Division National Institute of InformaticsTokyoJapan Department of Computer Science University of TsukubaTsukuba Science CityIbarakiJapan

The target coverage is an important yet challenging problem in wireless sensor networks, especially when both coverage and energy constraints should be taken into account. Due to its nonlinear nature, previous studies of this problem have mainly focused on heuristic algorithms; the theoretical bound remains unknown. Moreover, the most popular method used in the previous literature, i.e., discretization of continuous time, has yet to be justified. This paper fills in these gaps with two theoretical results. The first one is a formal justification for the method. We use a simple example to illustrate the procedure of transforming a solution in time domain into a corresponding solution in the pattern domain with the same network lifetime and obtain two key observations. After that, we formally prove these two observations and use them as the basis to justify the method. The second result is an algorithm that can guarantee the network lifetime to be at least （1 - ε） of the optimal network lifetime, where ε can be made arbitrarily small depending on the required precision. The algorithm is based on the column generation （CG） theory, which decomposes the original problem into two sub-problems and iteratively solves them in a way that approaches the optimal solution. Moreover, we developed several constructive approaches to further optimize the algorithm. Numerical results verify the efficiency of our CG-based algorithm.

关键词： target coverage wireless sensor networks time-dependent solution pattern-based solution column generation

来源：评论

学校读者我要写书评

暂无评论

An Efficient Resource Allocation Algorithm with Carrier Aggregation in LTE Advanced systems

An Efficient Resource Allocation Algorithm with Carrier Aggr...

引用

International Conference on Wireless Communications and Signal Processing

作者： Zanjie Huang Yusheng Ji Baohua Zhao School of Computer Science Univ. of Science and Technology of China Hefei Anhui 230027China Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan

ISBN: (纸本)9781467358309

To achieve a higher data transmission rate, carrier aggregation (CA) technology has been included in the LTE Advanced standard. Allocating resources with CA is a crucial and challenging task due to the different types of user equipment (UE) that have different bandwidth capacities and operate under the same base station (BS). We have formulated the downlink resource allocation problem joining both carrier component (CC) allocation and resource block (RB) allocation to achieve proportional fairness in the long term. We also develop a maximum system utility (MSU) algorithm. Each time this algorithm tries to allocate the best CC to an narrow-band UE in which the number of CCs it is assigned does not exceed the number of CCs supported, maximizing the total utility until it can no longer grow. Importantly, NB UEs which can support more than one CCs are considered in this paper. Simulation results show that the proposed algorithm can significantly improve total throughput compared with the existing algorithm both with and without fairness consideration.

关键词： An Efficient Resource

来源：评论

学校读者我要写书评

暂无评论

A High-Level Power Model for MPSoC on FPGA

A High-Level Power Model for MPSoC on FPGA

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Roberta Piscitelli Andy D. Pimentel Computer Systems Architecture group Informatics Institute University of Amsterdam Netherlands

This paper presents a framework for high-level power estimation of multiprocessor systems-on-chip (MPSoC) architectures on FPGA. The technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, e.g., commonly-used instruction-set simulator (ISS) based power estimation methods and should thus be capable of achieving good evaluation performance. As a consequence, the technique can be very useful in the context of early system-level design space exploration. We integrated the power estimation technique in a system-level MPSoC synthesis framework. Subsequently, using this framework, we designed a range of different candidate architectures which contain different numbers of Micro blaze processors and compared our power estimation results to those from real measurements on a Virtex-6 FPGA board.

关键词： Computational modeling Estimation Program processors Table lookup Power demand Clocks

来源：评论

学校读者我要写书评

暂无评论

An integrated approach for identity and access management in a SOA context 11

An integrated approach for identity and access management in...

引用

Proceedings of the 16th ACM symposium on Access control models and technologies

作者： Hummer, Waldemar Gaubatz, Patrick Strembeck, Mark Zdun, Uwe Dustdar, Schahram Distributed Systems Group Information Systems Institute Vienna University of Technology Austria Software Architecture Group Faculty of Computer Science University of Vienna Austria Information Systems Institute Vienna University of Economics and Business Austria

ISBN: (纸本)9781450307215

In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we defined a domainspecific language (DSL) for role-based access control (RBAC) that allows for the definition of IAM policies for SOAs. For the application in a SOA context, our DSL environment automatically produces WS-BPEL (Business Process Execution Language for Web services) specifications from the RBAC models defined in our DSL. We use the WS-BPEL extension mechanism to annotate parts of the process definition with directives concerning the IAM policies. At deployment time, the WS-BPEL process is instrumented with special activities which are executed at runtime to ensure its compliance to the IAM policies. The algorithm that produces extended WS-BPEL specifications from DSL models is described in detail. Thereby, policies defined via our DSL are automatically mapped to the implementation level of a SOA-based business process. This way, the DSL decouples domain experts' concerns from the technical details of IAM policy specification and enforcement. Our approach thus enables (non-technical) domain experts, such as physicians or hospital clerks, to participate in defining and maintaining IAM policies in a SOA context. Based on a prototype implementation we also discuss several performance aspects of our approach. © 2011 ACM.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Design metrics and visualization techniques for analyzing the performance of MOEAs in DSE

Design metrics and visualization techniques for analyzing th...

引用

International Conference on Embedded computer systems: architectures, Modeling and Simulation (IC-SAMOS)

作者： Toktam Taghavi Andy D. Pimentel Computer Systems Architecture Group Informatics Institute University of Amsterdam Amsterdam Netherlands

VMODEX is an interactive visualization tool to support system-level Design Space Exploration (DSE) of MPSoC architectures. It was initially developed to help designers to get insight into the search process of Multi-Objective Evolutionary Algorithms (MOEAs) that are typically used in the DSE process, and facilitates the analysis of the DSE results. In this paper, we extend VMODEX to help algorithm developers as well. Since there are many different MOEAs to search a design space and there is no conclusive answer regarding which algorithm is the best for a specific problem, finding the best optimization algorithm is a big challenge. However, using VMODEX, algorithm developers can easily evaluate and compare the results of different searching algorithms, for a given problem, with respect to their efficiency and effectiveness, in order to find the best optimization algorithm. Then, the best optimization results are delivered to the designers for analyzing the design space exploration process.

关键词： Measurement Visualization Pareto optimization Color Algorithm design and analysis Space exploration

来源：评论

学校读者我要写书评

暂无评论

Selecting the optimal system: Automated design of application-specific systems-on-chip

Selecting the optimal system: Automated design of applicatio...

引用

4th International Workshop on Network on Chip architectures, NoCArc 2011, in Conjunction with the 44th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO44

作者： Almer, Oscar Gould, Miles Topham, Nigel Franke, Björn Institute for Computer Systems Architecture School of Informatics University of Edinburgh 10 Crichton Street EH9 8AB Edinburgh United Kingdom

ISBN: (纸本)9781450309479

Specialising systems-on-Chip (SOCs) for a particular application is an effective way of increasing the performance achievable for a given level of energy consumption. In fact, silicon manufacture costs are low enough that small, custom, entirely digital designs, up to and including multi-core microprocessor designs, can be manufactured cheaply in short manufacturing runs. Non-recurring engineering (Nre) costs are still prohibitive due to the high level of experience required from the design engineer and the vast size of the design space. This is even true when only pre-verified Commercial Off-the-Shelf (Cots) Intellectual Property (ip) blocks are used in the SoC design. In this paper we present a novel machine-learning based method of generating an application-specific SoC design and configuration. This approach is fully automated and can generate near-optimal application-specific SoC designs within hours rather than weeks and, hence, reduce both Nre costs and time-to-market significantly. Our methodology profiles key application characteristics using simulation of a small number of test systems and machine-learning based prediction to find likely optimal system designs for a given target application. We demonstrate the effectiveness of our automated design methodology using 82 workload applications, generate SoC designs with up to 10 cores and 8 memory banks, and show that our classifier averages up to 92% of the optimal design performance across our applications. © 2011 ACM.

关键词： Network-on-chip

来源：评论

学校读者我要写书评

暂无评论

CRDMAC: An effective circular RTR directional MAC protocol for wireless ad hoc networks

CRDMAC: An effective circular RTR directional MAC protocol f...

引用

2011 7th International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2011

作者： Lu, Huang Li, Jie Dong, Zhongping Ji, Yusheng Department of Computer Science University of Tsukuba Tsukuba Science City Japan Information Systems Architecture Science Research Div. National Institute of Informatics Tokyo Japan

ISBN: (纸本)9780769546100

Directional antennas in wireless ad hoc networks (WANETs) offer great potential to reduce the radio interference, and improve the communication throughput. Using directional antennas, however, introduces a new problem in the wireless media access control (MAC), deafness, which may cause severe performance degradation. To solve the deafness problem, in this paper, we propose a novel CRDMAC protocol by using a sub-transmission channel and RTR (Ready To Receive) packets, which modifies the IEEE 802.11 distributed coordinated function. The sub-channel avoids collisions to other ongoing transmission and the RTR packets notify the neighbors that the mutual transmission has finished. The proposed MAC protocol decreases the binary exponential back off time of the waiting nodes. We evaluate our protocol through simulations. Simulation results show that the proposed protocol outperforms the existing DMAC (directional MAC) protocol and the CRCM (Circular RTS and CTS MAC) protocol in terms of throughput and packet drop rate. © 2011 IEEE.

关键词： Medium access control

来源：评论

学校读者我要写书评

暂无评论

VoIP quality monitoring in LTE femtocells

VoIP quality monitoring in LTE femtocells

引用

12th IFIP/IEEE International Symposium on Integrated Network Management, IM 2011

作者： Olariu, Cristian Foghlú, Mícheál Ó. Perry, Philip Murphy, Liam Telecommunication Software and Systems Group Waterford Institute of Technology Cork Road Waterford Ireland School of Computer Science and Informatics University College Dublin Belfield 4 Ireland

ISBN: (纸本)9781424492213

The increasing number of users demanding voice and data communication through cellular networks has driven the need for higher network throughput rates and lower latency. LTE femtocells address this pressing problem by offloading cellular service providers networks and increase both coverage and capacity for their users. Assuming a wired DSL backhaul for these femtocells, this paper shows simulations exploring a case where the DSLAM represents the main bottleneck when the cellular network operator and the DSL provider do not collaborate. This paper introduces the concept of Intermediary Mean Opinion Score which may be employed at femtocell gateways to isolate network problems and feed into customer experience management. We also propose and investigate a technique of mapping the human audio recency into the MOS calculation. Results are presented to illustrate the information that can be extracted from a lightweight monitor in the network. © 2011 IEEE.

关键词： Network management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：