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

IEEE International Conference on Field-Programmable technology (FPT)

作者： Ying Wang Jian Yan Xuegong Zhou Lingli Wang Wayne Luk Chenglian Peng Jiarong Tong State Key Laboratory of ASIC and System Fudan University Shanghai China Department of Computing Imperial College London London United Kingdom School of Computer Science and Technology Fudan University Shanghai China

As a promising computing platform for stream processing, partially reconfigurable systems have shown their hardware efficiency and reconfiguration flexibility. This paper presents a partially reconfigurable architecture supporting hardware threads. It gives a unified software/hardware thread interface and high throughput point-to-point streaming structure. Dynamic computing resource allocation and streaming-based multi-threaded management are also provided at operating system level. It is easy for programmers to exploit the inherent thread, data and pipeline parallelism in a unified view of threads, enhancing hardware efficiency while improving productivity. The experimental results on a cryptography application demonstrate the feasibility and superior performance. Moreover, the parallelized AES, DES and 3DES hardware threads on field-programmable gate arrays show 1.61-4.59 times higher power efficiency than their implementations on state-of-the-art graphics processing units.

关键词： Hardware Instruction sets computer architecture Runtime Kernel

来源：评论

学校读者我要写书评

暂无评论

VMStore: Distributed storage system for multiple virtual machines

引用

science China(Information sciences) 2011年第6期54卷 1104-1118页

作者： LIAO XiaoFei, LI He, JIN Hai , HOU HaiXiang, JIANG Yue & LIU HaiKun services computing technology and system Lab, Cluster and Grid computing Lab, school of computer science and technology, Huazhong University of science and technology, Wuhan 430074, China 1. Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

Desktop virtualization is a very hot concept in both industry and academic communities. Since virtualized desktop system is based on multiple virtual machines (VM), it is necessary to design a distributed storage system to manage the VM images. In this paper, we design a distributed storage system, VMStore, by taking into account three important characteristics: high performance VM snapshot, booting optimization from multiple images and redundancy removal of images data. We adopt a direct index structure of blocks for VM snapshots to speed up VM booting performance significantly; provide a distribute storage structure with good bandwidth scalability by dynamically changing the number of storage nodes; and propose a data preprocessing strategy with intelligent object partitioning techniques, which would eliminate duplication more effectively. Performance analysis for VMStore focuses on two metrics: the speedup of VM booting and the overhead of de-duplication. Experimental results show the efficiency and effectiveness of VMStore.

关键词： virtualization virtualized desktop distributed storage

来源：评论

学校读者我要写书评

暂无评论

A generalised diffusion-based file replication scheme for load balancing in P2P file-sharing networks

A generalised diffusion-based file replication scheme for lo...

引用

作者： Takaoka, Masanori Uchida, Masato Ohnishi, Kei Oie, Yuji NCOS Laboratory NEC Communication Systems 1753 Shimonumabe Nakahara-ku Kawasaki Kanagawa 211-8666 Japan Department of Electrical Electronics and Computer Engineering Faculty of Engineering Chiba Institute of Technology 2-17-1 Tsudanuma Narashino-shi Chiba 275-0016 Japan Graduate School of Computer Science and System Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan

We propose a generalised diffusion-based file replication scheme for load balancing in unstructured P2P file-sharing networks. The generalised method is derived by replacing the replication probability of a peer used in our previous study with a new expression. In the previous expression, the replication probability is defined to be proportional to the difference between its own load and the average load of its neighbour peers. We show here that the replication probability can instead be expressed as a simple average of one defined to be negatively proportional to its own load and one defined to be proportional to the average load of its neighbour peers. The generalised method (a) includes the above three methods as special cases, (b) can control the trade-off between search and load balancing performances, (c) has a physical analogy to diffusion phenomena, and (d) achieves a good balance in the trade-off differently from our previous method. Copyright © 2012 Inderscience Enterprises Ltd.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Towards energy-fairness in asynchronous duty-cycling sensor networks

Towards energy-fairness in asynchronous duty-cycling sensor ...

引用

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

作者： Zhenjiang Li Mo Li Yunhao Liu Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China School of Computer Engineering Nanyang Technological University Singapore MOE Key Laboratory for Information System Security School of Software Tsinghua National Laboratory for Information Science and Technology Tsinghua University China

ISBN: (纸本)9781467307734

In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. We propose a mathematical model to describe the energy efficiency of such networks and observe that traditional sleep interval setting strategy, i.e., operating sensor nodes with identical sleep intervals, or intuitive control heuristics, i.e., greedily increasing sleep intervals of sensor nodes with high energy consumption rates, hardly perform well in practice. There is an urgent need to develop an efficient sleep interval control strategy for achieving fair and high energy efficiency. To this end, we theoretically formulate the Sleep Interval Control (SIC) problem and find it a convex optimization problem. By utilizing the convex property, we decompose the original problem and propose a distributed algorithm, called GDSIC. In GDSIC, sensor nodes can tune sleep intervals through a local information exchange such that the maximum energy consumption rate in the network approaches to be minimized. The algorithm is self-adjustable to the traffic load variance and is able to serve as a unified framework for a variety of asynchronous duty-cycling MAC protocols. We implement our approach in a prototype system and test its feasibility and applicability on a 50-node testbed. We further conduct extensive trace-driven simulations to examine the efficiency and scalability of our algorithm with various settings.

关键词： Energy consumption Silicon carbide Protocols Receivers Wireless sensor networks Data communication Switching circuits

来源：评论

学校读者我要写书评

暂无评论

Sherlock is around: Detecting network failures with local evidence fusion

Sherlock is around: Detecting network failures with local ev...

引用

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

作者： Qiang Ma Kebin Liu Xin Miao Yunhao Liu Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China MOE Key Laboratory for Information System Security School of Software Tsinghua National Laboratory for Information Science and Technology Tsinghua University China

ISBN: (纸本)9781467307734

Traditional approaches for wireless sensor network diagnosis are mainly sink-based. They actively collect global evidences from sensor nodes to the sink so as to conduct centralized analysis at the powerful back-end. On the one hand, long distance proactive information retrieval incurs huge transmission overhead; On the other hand, due to the coupling effect between diagnosis component and the application itself, sink often fails to obtain complete and precise evidences from the network, especially for the problematic or critical parts. To avoid large overhead in evidence collection process, self-diagnosis injects fault inference modules into sensor nodes and let them make local decisions. Diagnosis results from single nodes, however, are generally inaccurate due to the narrow scope of system performances. Besides, existing self-diagnosis methods usually lead to inconsistent results from different inference processes. How to balance the workload among the sensor nodes in a diagnosis task is a critical issue. In this work, we present a new in-network diagnosis approach named Local-Diagnosis (LD2), which conducts the diagnosis process in a local area. LD2 achieves diagnosis decision through distributed evidence fusion operations. Each sensor node provides its own judgements and the evidences are fused within a local area based on the Dempster-Shafer theory, resulting in the consensus diagnosis report. We implement LD2 on TinyOS 2.1 and examine the performance on a 50 nodes indoor testbed.

关键词： Wireless sensor networks Bayesian methods Measurement Accuracy Reliability computer crashes Protocols

来源：评论

学校读者我要写书评

暂无评论

Model checking cooperative multi-agent systems in BDI logic

引用

Journal of Information and Computational science 2012年第5期9卷 1185-1194页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Xu, Zhaocheng School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

Traditional temporal logics such as LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) have shown tremendous success in specifying and verifying hardware and software systems. However, this kind of logic can only model the dynamic behaviors for a single system, and fall short in capturing the joint and concurrent aspects in the composition of systems, such as the interactions and coordinations of agents in Multi-agent systems. Although ATL (Alternating-time Temporal Logic) can solve the problem to a certain extent, by preceding the temporal operators with a selective path quantifier, to specify that the interactions between entities inside the system can make sure that there is a strategy to reach a certain state, it can not formalize the rational mental attitudes of the agents such as the Belief, Desire and Intention (BDI) which plays an essential role in decision making during cooperation with other agents. This paper will investigate this problem by proposing a logic of ATLBDI (Alternating-time Temporal Logic of Belief Desire and Intention) and discuss the algorithmic issues such as model checking algorithms and the computational complexity, along with examples to show its effectiveness. We conclude that model checking for ATLBDI is completely tractable and is in PTIME-Complete, which is quite an optimistic and promising result for further applications. © 2012 by Binary Information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A cloud-based watermarking method for health data security

A cloud-based watermarking method for health data security

引用

International Conference on High Performance computing & Simulation (HPCS)

作者： Zhiwei Yu Clark Thomborson Chaokun Wang Jianmin Wang Rui Li Department of Computer Science and Technology Tsinghua University Beijing China Department of Computer Science University of Auckland New Zealand School of Software Key Laboratory for Information System Security Ministry of Education Tsinghua National Laboratory for Information Science and Technology(TNList) Tsinghua University Beijing China

Private health information once confined to local medical institutions is migrating onto the Internet as an Electronic Health Record (EHR) that is accessed by cloud computing. No matter where it is hosted, health data is subject to security breaches, privacy abuses, and access control violations. However, novel technologies have new vulnerabilities, and allow new mitigations. In this paper, we propose a watermarking method in the architecture of cloud computing, to mitigate the risks of insider disclosures. Our design and preliminary implementation are accomplished by exploiting the MapReduce mechanism in the cloudlet we built. Our evaluation shows that our proposal addresses all of the requirements of the Cloud Oriented Architecture (COA) framework of the Jericho Forum.

关键词： Watermarking Medical services Cloud computing computer architecture Cryptography Organizations

来源：评论

学校读者我要写书评

暂无评论

Generating Profiles for a Lurking User by its Followees' Social Context in Microblogs

Generating Profiles for a Lurking User by its Followees' Soc...

引用

Web Information systems and Applications Conference (WISA)

作者： Zhao Zhang Bin Zhao Weining Qian Aoying Zhou Institute of Massive Computing Software Engineering Institute Shanghai Key Laboratory of Trustworthy Computing East China Normal University China School of Computer Science and Technology Nanjing Normal University China

Microblogs, a mixture of new media and social networks, is a hotbed of lurking users. It is meaningful to capture profiles for a lurking user in customized applications because a lurking user can receive all messages except for sending few messages in microblogs. However, it is difficult to capture profiles for a lurking user because of lacking its user-generated contents. In this paper, we propose an approach to generate the lurking user's profiles by its followees' activities. In addition, we present a unified social context graph model to represent the lurking user's followees' activities. And the RWR algorithm is used to generate profiles of the lurking user in this graph model. Extensive experiments show that our approach can effectively determine profiles for lurking users.

关键词： Context Social network services Mathematical model Equations Educational institutions Media Context modeling

来源：评论

学校读者我要写书评

暂无评论

Integrating hard and soft information sources for D2D using controlled natural language

Integrating hard and soft information sources for D2D using ...

引用

15th International Conference on Information Fusion, FUSION 2012

作者： Preece, Alun Pizzocaro, Diego Braines, Dave Mott, David De Mel, Geeth Pham, Tien School of Computer Science and Informatics Cardiff University Cardiff United Kingdom Emerging Technology Services IBM United Kingdom Ltd. Hursley Park Winchester United Kingdom IBM TJ Watson Research Center Hawthorne NY United States US Army Research Laboratory Adelphi MD United States

ISBN: (纸本)9780982443859

We introduce an approach to integrating access to hard and soft information sources to provide better exploitation of all available sources in the context of coalition data-to-decision (D2D) chains. In terms of hard (sensor-based) sources we show how intelligence, surveillance, and reconnaissance (ISR) assets can be represented at a relatively high level in controlled natural language, and how this allows the automatic assignment of sensing assets to D2D tasks. We demonstrate how the use of Controlled English (CE) - a type of controlled natural language designed to be readable by a native English speaker whilst representing information in a structured, unambiguous form - supports the informed sharing of D2D tasks and assets between collaborating users in a coalition environment. Moreover, we show how CE can be used in the automatic extraction of information from unstructured and semi-structured text information sources, providing us with a uniform way to integrate these soft sources with the aforementioned hard sources. © 2012 ISIF (Intl Society of Information Fusi).

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

Practical privacy for value-added applications in vehicular ad hoc networks 5th

引用

5th International Conference on Internet and Distributed computing systems, IDCS 2012

作者： Zhang, Lei Wu, Qianhong Qin, Bo Domingo-Ferrer, Josep Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai China UNESCO Chair in Data Privacy Dept. of Comp. Eng. and Maths Universitat Rovira i Virgili TarragonaCatalonia Spain Key Lab. of Aerospace Information Security and Trusted Computing Ministry of Education Wuhan University School of Computer China Department of Maths School of Science Xi’an University of Technology China

ISBN: (纸本)9783642348822

Advances in mobile networking and information processing technologies have triggered vehicular ad hoc networks (VANETs) for traffic safety and value-added applications. Most efforts have been made to address the security concerns while little work has been done to investigate security and privacy for value-added applications in VANETs. To fill this gap, we propose a value-added application, specifically, a security and privacy preserving location-based service (LBS) scheme for VANETs. For each LBS transaction, the scheme provides authentication, integrity and non-repudiation for both the service provider and the user. A user can obtain the service in an anonymous way and hence user privacy is well protected. However, a tracing procedure can be invoked to find malicious users, thereby efficiently preventing users from abusing the anonymity provided by the system. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Location based services

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：