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

15th Asia-Pacific Web Conference on Web Technologies and Applications, APWeb 2013

作者： Wei, Jinxian Xia, Fan Sha, Chaofeng Xu, Chen He, Xiaofeng Zhou, Aoying Institute of Massive Computing Software Engineering Institute East China Normal University China

ISBN: (纸本)9783642374005

The success of social network services has brought up many interesting Web 2.0 applications, while posed great challenges for human-real-time data management for huge volume of data with unstructured nature. Timeline query is a specific type of queries that are widely used in social network services and analysis. A workload-aware cache scheme for efficient evaluation of home timeline queries in human-real-time manner is proposed in this paper. It utilizes the communities within followship network and considers the high skew of access frequency across users to generate cache units. Thus, timeline queries are transformed to a process of merging cache units. Empirical studies show the superiority of overlapping cache strategy over other three existing strategies. © 2013 Springer-Verlag.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

Understanding the tradeoffs between software-managed vs. hardware-managed caches in GPUs

Understanding the tradeoffs between software-managed vs. har...

引用

IEEE International Symposium on Performance Analysis of Systems and software

作者： Chao Li Yi Yang Hongwen Dai Shengen Yan Frank Mueller Huiyang Zhou Department of Electrical and Computer Engineering North Carolina State University Department of Computing Systems Architecture NEC Laboratories America Institute of Software North Carolina State University Department of Computer Science North Carolina State University

On-chip caches are commonly used in computer systems to hide long off-chip memory access latencies. To manage on-chip caches, either software-managed or hardware-managed schemes can be employed. State-of-art accelerators, such as the NVIDIA Fermi or Kepler GPUs and Intel's forthcoming MIC “Knights Landing” (KNL), support both software-managed caches, aka. shared memory (GPUs) or near memory (KNL), and hardware-managed L1 data caches (D-caches). Furthermore, shared memory and the L1 D-cache on a GPU utilize the same physical storage and their capacity can be configured at runtime (same for KNL). In this paper, we present an in-depth study to reveal interesting and sometimes unexpected tradeoffs between shared memory and the hardware-managed L1 D- caches in GPU architecture. In our study, the kernels utilizing the L1 D-caches are generated from those leveraging shared memory to ensure that the same optimizations such as tiling are applied equally in both versions. Our detailed analyses reveal that rather than cache hit rates, the following tradeoffs often have more profound performance impacts. On one hand, the kernels utilizing the L1 caches may support higher degrees of thread-level parallelism, offer more opportunities for data to be allocated in registers, and sometimes result in lower dynamic instruction counts. On the other hand, the applications utilizing shared memory enable more coalesced accesses and tend to achieve higher degrees of memory-level parallelism. Overall, our results show that most benchmarks perform significantly better with shared memory than the L1 D-caches due to the high impact of memory-level parallelism and memory coalescing.

关键词： Graphics processing units Tiles Kernel Prefetching Computer architecture Parallel processing

来源：评论

学校读者我要写书评

暂无评论

DIV： Dynamic Integrity Validation Framework for Detecting Compromises on Virtual Machine Based Cloud Services in Real Time

引用

China Communications 2014年第8期11卷 15-27页

作者： WANG Chunlu LIU Chuanyi LIU Bin DONG Yingfei School of Computer Science Beijing University of Posts and Telecommunications Beijing 100876 P. R. China School of Software Engineering Beijing University of Posts and Telecommunications Beijing 100876 P. R. China Key Laboratory of Trustworthy Distributed Computing and Service (BUPT) Ministry of Education Beijing 100876 P. R. China Department of Electrical Engineering University of Hawaii Honolulu Hawaii U.S.

with the increasing popularity of cloud services,attacks on the cloud infrastructure also increase ***,how to monitor the integrity of cloud execution environments is still a difficult *** this paper,a real-time dynamic integrity validation(DIV) framework is proposed to monitor the integrity of virtual machine based execution environments in the *** can detect the integrity of the whole architecture stack from the cloud servers up to the VM OS by extending the current trusted chain into virtual machine's architecture *** introduces a trusted third party(TTP) to collect the integrity information and detect remotely the integrity violations on VMs periodically to avoid the heavy involvement of cloud tenants and unnecessary information leakage of the cloud *** evaluate the effectiveness and efficiency of DIV framework,a prototype on KVM/QEMU is implemented,and extensive analysis and experimental evaluation are *** results show that the DIV can efficiently validate the integrity of files and loaded programs in real-time,with minor performance overhead.

关键词： cloud security remote attestation trusted computing cloud trustworthiness

来源：评论

学校读者我要写书评

暂无评论

Almost Optimal Channel Access in Multi-Hop Networks with Unknown Channel Variables

Almost Optimal Channel Access in Multi-Hop Networks with Unk...

引用

International Conference on Distributed computing Systems

作者： Yaqin Zhou Qiuyuan Huang Fan Li Xiang-Yang Li Min Liu Zhongcheng Li Zhiyuan Yin Institute of Computing Technology Chinese Academy of Sciences Beijing China Department of Electrical and Computer Engineering University of Florida Gainesville FL USA School of Computer Science Beijing Institute of Technology School of Software and TNLIST Tsinghua University China

We consider the problem of online dynamic channel accessing in multi-hop cognitive radio networks. Previous works on online dynamic channel accessing mainly focus on single-hop networks that assume complete conflicts among all secondary users. In the multi-hop multi-channel network settings studied here, there is more general competition among different communication pairs. A simple application of models for single-hop case to multi-hop case with N nodes and M channels leads to exponential time/space complexity O (M N ), and poor theoretical guarantee on throughput performance. We thus novelly formulate the problem as a linearly combinatorial multi-armed bandits (MAB) problem that involves a maximum weighted independent set (MWIS) problem with unknown weights. To efficiently address the problem, we propose a distributed channel access algorithm that can achieve 1/ρ of the optimum averaged throughput where each node has communication complexity O (r 2 +D) and space complexity O (m) in the learning process, and time complexity O (D m ρr ) in strategy decision process for an arbitrary wireless network. Here ρ = 1 + ε is the approximation ratio to MWIS for a local r-hop network with m

关键词： Throughput Robustness Approximation methods Spread spectrum communication Complexity theory Approximation algorithms Interference

来源：评论

学校读者我要写书评

暂无评论

Configuring software for reuse with VCL 13

Configuring software for reuse with VCL

引用

13th Symposium on Programming Languages and software Tools, SPLST 2013

作者： Daniel, Dan Jarzabek, Stan Ferenc, Rudolf Department of Software Engineering University of Szeged Hungary School of Computing National University of Singapore Singapore

ISBN: (纸本)9789633062289

Preprocessors such as cpp are often used to manage families of programs from a common code base. The approach is simple, but code instrumented with preprocessing commands may become unreadable and dificult to work with. We describe a system called VCL (variant configuration language) that enhances cpp to provide a better solution to the same problem. The main extensions have to do with propagation of parameters across source files during VCL processing, the ability to adapt source files for reuse depending on the reuse context, and the ability to form general templates to represent any group of similar program structures (methods, functions, classes, files, directories) in generic, adaptable form. In the paper, we describe salient features of VCL, explain how they alleviate some of the problems of cpp, and illustrate reuse capabilities of VCL with an example.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Classifying and clustering in negative databases

引用

Frontiers of Computer Science 2013年第6期7卷 864-874页

作者： Ran LIU Wenjian LUO Lihua YUE School of Computer Science and Technology University of Science and Technology of China Hefei 230027 China Anhui Province Key Laboratory of Software Engineering in Computing and Communication University of Science and Technology of China Hefei 230027 China

Recently, negative databases （NDBs） are proposed for privacy protection. Similar to the traditional databases, some basic operations could be conducted over the NDBs, such as select, intersection, update, delete and so on. However, both classifying and clustering in negative databases have not yet been studied. Therefore, two algorithms, i.e., a k nearest neighbor （kNN） classification algorithm and a k-means clustering algorithm in NDBs, are proposed in this paper, respectively. The core of these two algorithms is a novel method for estimating the Hamming distance between a binary string and an NDB. Experimental results demonstrate that classifying and clustering in NDBs are promising.

关键词： negative databases classification clustering k nearest neighbor k-means hamming distance

来源：评论

学校读者我要写书评

暂无评论

Hybrid MARTE statecharts

引用

Frontiers of Computer Science 2013年第1期7卷 95-108页

作者： Jing LIU Ziwei LIU Jifeng HE Freederic MALLET Zuohua DING Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China INRIA Sophia Antipolis M6diterran6e Sophia Antipolis 06902 France Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou 310018 China

The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.

关键词： UML MARTE hybrid automata hybrid MARTE statechart train control system

来源：评论

学校读者我要写书评

暂无评论

Cloudsme: Developing a cloud computing-based platform for simulation in manufacturing and engineering

Cloudsme: Developing a cloud computing-based platform for si...

引用

2014 Operational Research Society Simulation Workshop, SW 2014

作者： Taylor, Simon J. E. Kiss, Tamas Kacsuk, Peter Terstyanszky, Gabor Nicola, Fantini Department of Information Systems and Computing Brunel University Uxbridge MiddlesexUB8 3PH United Kingdom Centre for Parallel Computing Department of Business Information Systems University of Westminster 115 New Cavendish St LondonW1W 6UW United Kingdom MTA SZTAKI Victor Hugo u. 18-22 Budapest1132 Hungary Department of Computer Science and Software Engineering Faculty of Science and Technology University of Westminster LondonW1W 6UW United Kingdom Huobstrasse 10 Pfäffikon8808 Switzerland

There is a demand from simulation users for speed, the ability to obtain quickly results from simulation runs. Cloud computing offers the potential for scalable, on-demand access to resources that can be used to speed up simulation. However, developing cloud computing solutions for industry is difficult without appropriate expertise. This paper introduces the CloudSME project that is dedicated to developing cloud computing solutions for simulation in industry and presents an overview of the CloudSME Simulation Platform that is being used to support an initial set of Cloud-based versions of Simul8's discrete-event simulation environment, Ascomp's TransAT computational fluid dynamics application, Ingecon's 3D Scan Insole Designer tool and 2MORO's Bfly software for aircraft maintenance logistics. The paper presents an overview of cloud computing, the CloudSME project, the architecture of the CloudSME Simulation Platform and its two key elements: gUse and CloudBroker.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Lessons from a Pilot Implementation of ISO/IEC 29110 in a Group of Very Small Irish Companies

Lessons from a Pilot Implementation of ISO/IEC 29110 in a Gr...

引用

13th International Conference on software Process Improvement and Capability dEtermination, SPICE 2013

作者： O'Connor, Rory V. Sanders, Marty School of Computing Dublin City University Ireland Lero the Irish Software Engineering Research Centre Ireland

ISBN: (纸本)9783642388323

This paper presents an overview of a pilot implementation of the ISO/IEC 29110 standard, with a group of very small software development companies based in Ireland. This paper may serve as guidance for both researchers and practitioners wishing to understand the issues of process standards adoption by very small companies and ISO/IEC 29110 in particular. © Springer-Verlag Berlin Heidelberg 2013.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

MobiIO: Push the limit of indoor/outdoor detection through human's mobility traces

MobiIO: Push the limit of indoor/outdoor detection through h...

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Hongwei Jia Shuai Su Weihao Kong Haiyong Luo Guoqiang Shang Beijing University of Posts and Telecommunications Beijing Beijing CN School of Software Beijing University of Posts and Telecommunications Beijing China Chinese Academy of Sciences Institute of Computing Technology Beijing China School of Electronic and Information Engineering of Beihang University Beijing China

Presently existing lightweight indoor/outdoor detection schemes on phones acquire accuracy by sensing variations of ambient physical environmental properties with inherent sensors on mobile phones, with which, however, the detection scheme cannot work well in some ambient environments, where the variations are not very observable. This detection scheme is with very high dependency on light. The I/O detector does not work well in poor lighting or fast changing lighting settings, therefore the I/O detection is very much challenged at times like dawn, dusk, or night. The target of this paper is finding a pervasive detection scheme independent of physical environments. In this paper, we present MobiIO, an lightweight indoor and outdoor detection scheme based on analyses of human activities. By recording human indoor and outdoor motion activities with sensors, typical features of their activities are extracted. We compare assorted combinations or groupings of various properties with SVM classifier. We classify indoor/outdoor settings through classifiers like SVM, Bayes, decision trees, HMM and compare the effects of classification in between various classifying algorithms.

关键词： Hidden Markov models Feature extraction Accuracy Legged locomotion Sensor phenomena and characterization Support vector machines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：