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

International Symposium on Systems and computer Technology, ISSCT 2014

作者： Jian, Song-lei Lu, Kai Wang, Xiao-ping Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781138028722

Functional programming languages have a long history and receive more and more attention today. The paper focuses on the development of functional languages and aims to introduce the concepts, such as higher-order functions, lazy evaluation, data type, and pattern matching. We also review the evolution of functional programming languages from lambda calculus, Lisp to Haskell. Based on the analysis of leading papers published on ACM conferences, we survey 5 active research areas: monads, verification, type system, data parallelism, and application of functional programming languages and discuss the limitation of functional programming languages. © 2015 Taylor & Francis Group, London.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Maximizing Uniform Multicast Throughput in Multi-Channel Dense Wireless Sensor Networks

Maximizing Uniform Multicast Throughput in Multi-Channel Den...

引用

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

作者： Xianlong Jiao Guirong Chen Xiaodong Wang Yuli Chen Li Yang College of Information System and Management National University of Defense Technology Changsha Information and Navigation College Air Force Engineering University Xi'an Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha Chongqing Guanyinqiao Elementary School Chongqing Chongqing Liangjiangxinqu Renhe Experimental School Chongqing

ISBN: (纸本)9781509056972

This paper investigates the problem of maximizing uniform multicast throughput (MUMT) for multi-channel dense wireless sensor networks, where all nodes locate within one-hop transmission range and can communicate with each other on multiple orthogonal channels. This kind of networks show wide application in the real world, and maximizing uniform multicast throughput for these networks is worth deep studying. Previous researches have proved MUMT problem is NP-hard. However, previous researches are either hard to implement, or use too many relay nodes to complete the multicast task, and thus incur high overhead or poor performance. To efficiently solve MUMT problem, we adopt the concept of the maximum independent set with the size constraint, and present one novel Single-Broadcast based Multicast algorithm called SBM based on the concept. We prove that SBM algorithm achieves a constant ratio to the theoretical throughput upper bound. Extensive experimental results demonstrate that, SBM performs better than existing work in terms of both the uniform multicast throughput and the total number of transmissions.

关键词： Throughput Wireless sensor networks Approximation algorithms Schedules Data communication Algorithm design and analysis Relays

来源：评论

学校读者我要写书评

暂无评论

SASLL: A System Annotating Semantic Label of Location

SASLL: A System Annotating Semantic Label of Location

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC

作者： Ruosong Yang Dianxi Shi Han Li Xiaoyun Mo School of Computer Science National Laboratory for Parallel and Distributed Processing Changsha Hunan

ISBN: (纸本)9781467372121

Nowadays GPS embedded in mobile device such as smartphones can easily identify people's physical locations. However, in daily life people are more concerned about semantic locations (such as dormitories, laboratories, shopping malls, etc.). Usually GPS positioning uses continuous sampling method, which results in a lot of semantically independent sample points. We call these points outliers. How to remove outliers from GPS data and thereby cluster meaningful semantic places is a research challenge in current field of pervasive computing. Aiming at the characteristics of this problem, we first propose a novel approach to add semantic annotations to newly discovered places every day. We use an unsupervised method to discover semantic places, which ensures accuracy of the results and reduces the amount of calculation. Secondly, we discuss the concept of outliers in GPS data collected in daily life, and then eliminate outliers using a density-based method. Moreover, we perform experiments to validate its effectiveness. Thirdly by taking advantage of rule-based inference and reverse geocoding we proposed an approach to calculate the probable semantic labels, which can help user annotate places and reduce the burden on users. Finally, we develop a local System Annotating Semantic Label of Location(SASLL) and by carrying out experiments we demonstrate the validity of our research.

关键词： Semantics Global Positioning System Clustering algorithms Smart phones Roads IEEE 802.11 Standard

来源：评论

学校读者我要写书评

暂无评论

Accelerating FDTD simulation of microwave pulse coupling into narrow slots on the Intel MIC architecture

Accelerating FDTD simulation of microwave pulse coupling int...

引用

IEEE Pacific Rim Conference on Communications, computers and Signal processing, PACRIM 2015

作者： Wang, Qinglin Liu, Jie Cui, Xiantao Fu, Guitao Gong, Chunye Xing, Zuocheng Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha410073 China School of Computer Science National University of Defense Technology Changsha410073 China Beijing Satellite Navigation Center Beijing100094 China

ISBN: (纸本)9781467377881

The coupling of microwaves into apertures plays an important part in many electromagnetic physics and engineering fields. When the width of apertures is very small, Finite Difference Time Domain (FDTD) simulation of the coupling is very time-consuming. As a many-core architecture, the Intel's Many Integrated Core (MIC) architecture owns 512-bit vector units and more than 200 threads. In this paper, we parallelize FDTD simulation of microwave pulse coupling into narrow slots on the Intel MIC architecture. In the implementation, the parallel programming model OpenMP is used to exploit thread parallelism while loop unrolling and SIMD intrinsic functions are utilized to accomplish vectorization. Compared with the serial version on Intel Xeon E5-2670 CPU, the implementation on the MIC coprocessor including 57 cores obtains a speedup of 11.57 times. The experiment results also demonstrate that the parallelization has good scalability in performance. Additionally, how binding relationship between OpenMP threads and hardware threads in MIC influences performance is also reported. © 2015 IEEE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Partial Clones for Stragglers in MapReduce

Partial Clones for Stragglers in MapReduce

引用

International Conference of Young computer Scientists, Engineers and Educators, ICYCSEE 2015

作者： Jia Li Changjian Wang Dongsheng Li Zhen Huang National Laboratory for Parallel and Distributed Processing School of Computer ScienceNational University of Defense Technology

Stragglers can temporize jobs and reduce cluster efficiency *** researches have been contributed to the solution,such as Blacklist[8],speculative execution[1,6],Dolly[8].In this paper,we put forward a new approach for mitigating stragglers in Map Reduce,name *** starts task clones only for high-risk delaying *** experiments have been carried and results show that it can decrease the job delaying risk with fewer resources *** small jobs,Hummer also improves job completion time by 48% and 10% compared to LATE and Dolly.

关键词： MapReduce mitigating stragglers task clones

来源：评论

学校读者我要写书评

暂无评论

Efficient distributed Data Clustering on Spark

Efficient Distributed Data Clustering on Spark

引用

IEEE International Conference on Cluster Computing

作者： Jia Li Dongsheng Li Yiming Zhang National Laboratory for Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha China

ISBN: (纸本)9781467365994

Data clustering is usually time-consuming since it by default needs to iteratively aggregate and process large volume of data. Approximate aggregation based on sample provides fast and quality ensured results. In this paper, we propose to leverage approximation techniques to data clustering to obtain the trade-off between clustering efficiency and result quality, along with online accuracy estimation. The proposed method is based on the bootstrap trials. We implemented this method as an Intelligent Bootstrap Library (IBL) on Spark to support efficient data clustering. Intensive evaluations show that IBL can provide a 2x speed-up over the state of art solution with the same error bound.

关键词： Sparks Accuracy Data mining Estimation error distributed databases Approximation methods

来源：评论

学校读者我要写书评

暂无评论

Chameleon: Adaptive energy-efficient heterogeneous network-on-chip

Chameleon: Adaptive energy-efficient heterogeneous network-o...

引用

IEEE International Conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： Ji Wu Dezun Dong Xiangke Liao Li Wang National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha China

Multi-NoC (multiple network-on-chip) has demonstrated its advantages in power gating for reducing leakage power. This work presents Chameleon, a novel heterogeneous Multi-NoC design. Chameleon employs a fine-grained power gating algorithm which exploits power saving opportunities at different levels of granularity simultaneously. Integrated with a performance-aware traffic allocation policy, Chameleon is able to achieve both high power efficiency and good performance at varying network utilization. Our experimental results show that Chameleon delivers an average of 3.39% higher performance than Catnap, the best in the literature. More importantly, Chameleon consumes an average of 17.16% less power than Catnap.

关键词： Resource management Routing Algorithm design and analysis Optimization Logic gates computers Power demand

来源：评论

学校读者我要写书评

暂无评论

MABP: an optimal resource allocation approach in data center networks

引用

science China(Information sciences) 2014年第10期57卷 230-245页

作者： LI XiaoLing WANG HuaiMin DING Bo LI XiaoYong National Key Laboratory for Parallel and Distributed Processing School of ComputerNational University of Defense Technology

In data center networks, resource allocation based on workload is an effective way to allocate the infrastructure resources to diverse cloud applications and satisfy the quality of service for the users, which refers to mapping a large number of workloads provided by cloud users/tenants to substrate network provided by cloud providers. Although the existing heuristic approaches are able to find a feasible solution, the quality of the solution is not guaranteed. Concerning this issue, based on the minimum mapping cost, this paper solves the resource allocation problem by modeling it as a distributed constraint optimization problem. Then an efficient approach is proposed to solve the resource allocation problem, aiming to find a feasible solution and ensuring the optimality of the solution. Finally, theoretical analysis and extensive experiments have demonstrated the effectiveness and efficiency of our proposed approach.

关键词： data center network resource allocation workload substrate network optimality distributed constraint optimization

来源：评论

学校读者我要写书评

暂无评论

Feverfew: a scalable coverage-based hybrid overlay for Internet-scale pub/sub networks

引用

science China(Information sciences) 2014年第5期57卷 51-64页

作者： MA XingKong WANG YiJie SUN WeiDong National Key Laboratory for Parallel and Distributed Processing School of ComputerNational University of Defense Technology

The publish/subscribe(pub/sub)paradigm is a popular communication model for data dissemination in large-scale distributed ***,scalability comes with a contradiction between the delivery latency and the memory *** one hand,constructing a separate overly per topic guarantees real-time dissemination,while the number of node degrees rapidly increases with the number of *** the other hand,maintaining a bounded number of connections per node guarantees small memory cost,while each message has to traverse a large number of uninterested nodes before reaching the *** this paper,we propose Feverfew,a coverage-based hybrid overlay that disseminates messages to all subscribers without uninterested nodes involved in,and increases the average number of node connections slowly with an increase in the number of subscribers and *** major novelty of Feverfew lies in its heuristic coverage mechanism implemented by combining a gossip-based sampling protocol with a probabilistic searching *** on the practical workload,our experimental results show that Feverfew significantly outperforms existing coverage-based overlay and DHT-based overlay in various dynamic network environments.

关键词： publish/subscribe coverage-based data dissemination topic-based gossip

来源：评论

学校读者我要写书评

暂无评论

Comparison of heavy-ion induced SEU for D- and TMR-flip-flop designs in 65-nm bulk CMOS technology

引用

science China(Information sciences) 2014年第10期57卷 223-229页

作者： HE YiBai CHEN ShuMing School of Computer Science National University of Defense Technology Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology

Heavy ion experiments were performed on D flip-flop(DFF) and TMR flip-flop(TMRFF) fabricated in a 65-nm bulk CMOS process. The experiment results show that TMRFF has about 92% decrease in SEU crosssection compared to the standard DFF design in static test mode. In dynamic test mode, TMRFF shows much stronger frequency dependency than the DFF design, which reduces its advantage over DFF at higher operation frequency. At 160 MHz, the TMRFF is only 3.2× harder than the standard DFF. Such small improvement in the SEU performance of the TMR design may warrant reconsideration for its use in hardening design.

关键词： SEU flip-flop TMR heavy-ion frequency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：