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

11th IEEE International Conference on Trust, Security and Privacy in computing and Communications, TrustCom-2012

作者： Fan, Xu Li, Shen Zhiying, Wang State Key Lab. of High Performance Computing School of Computer Science and Technology National University of Defense Technology Changsha 410073 China

ISBN: (纸本)9780769547459

The advent of multicore platform brings a great opportunity to speedup sequential program via thread level parallelism. In this paper we have proposed a novel Thread Level Speculation (TLS) framework HVD-TLS. The framework uses heuristic value prediction to improve the speculation accuracy, reduces the rerolling overhead via value checking based correctness checking mechanism. The framework can partition and schedule task on different processor cores dynamically based on runtime information. We have implemented the HVD-TLS in ANSI C and tested its performance on a 4-core platform. The experiments show that the speedup is 2.2 on the average with a speculation depth equaling to 3. © 2012 IEEE.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Building an e-learning platform by Access Grid and Data Grid technologies

Building an e-learning platform by Access Grid and Data Grid...

引用

Proceedings - 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE 2004

作者： Ho, Hsin-Chuan Yang, Chao-Tung Chang, Chi-Chung High-Performance Computing Lab. Department of Computer Science Tungahi University Taichung 407 Taiwan National Dali Senior High School Taichung 407 Taiwan

ISBN: (纸本)0769520731

Due to overall popularity of the Internet, e-learning has become a hot method of learning in recent years. Through the Internet, learners can freely absorb new knowledge without the restriction of time and place. Many companies have adopted e-learning to train their employees. The e-learning system can make an enterprise more competitive by increasing the knowledge of its employees. As we know, e-learning has become one of the most potential e-commerce businesses. At present, most e-learning environment architectures are in consideration of a single computer or server as its erecting foundation. As soon as its work load increases, the software and hardware need to be updated or renewed;this is a big burden to a company with insufficient budget. Thus, in this research we employ a kind of Grid computing technology, called "Access Grid", to integrate the idle computer resources in an enterprise into an e-learning platform for substituting the purchase of costly high-level server and equipment. The Access Grid supports group-to-group communication via high-speed networking over the Internet. It provides high quality audio and real-time video interactive interface for e-learning users. All the hardware cost is reasonable so that companies or academies can easily set up their own Access Grid Node. By using Access Grid technologies, enterprises can integrate their training materials into knowledge repository such as "Data Grid" as the e-learning VOD platform so that the knowledge can be shared and published more flexibly and widely.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

Verifying ReLU Neural Networks from a Model Checking Perspective

引用

Journal of computer science & Technology 2020年第6期35卷 1365-1381页

作者： Wan-Wei Liu Fu Song Tang-Hao-Ran Zhang Ji Wang College of Computer Science National University of Defense TechnologyChangsha 410073China School of Information Science and Technology ShanghaiTech UniversityShanghai 201210China Shanghai Engineering Research Center of Intelligent Vision and Imaging Shanghai 201210China State Key Laboratory for High Performance Computing Changsha 410073China

Neural networks, as an important computing model, have a wide application in artificial intelligence (AI) domain. From the perspective of computer science, such a computing model requires a formal description of its behaviors, particularly the relation between input and output. In addition, such specifications ought to be verified automatically. ReLU (rectified linear unit) neural networks are intensively used in practice. In this paper, we present ReLU Temporal Logic (ReTL), whose semantics is defined with respect to ReLU neural networks, which could specify value-related properties about the network. We show that the model checking algorithm for theΣ2∪Π2 fragment of ReTL, which can express properties such as output reachability, is decidable in EXPSPACE. We have also implemented our algorithm with a prototype tool, and experimental results demonstrate the feasibility of the presented model checking approach.

关键词： model checking rectified linear unit neural(ReLU)network temporal logic

来源：评论

学校读者我要写书评

暂无评论

HubPPR: Effective indexing for approximate personalized pagerank 43

HubPPR: Effective indexing for approximate personalized page...

引用

43rd International Conference on Very Large Data Bases, VLDB 2017

作者： Wang, Sibo Tang, Youze Xiao, Xiaokui Yang, Yin Li, Zengxiang School of Computer Science and Engineering Nanyang Technological University Singapore College of Science and Engineering Hamad Bin Khalifa University Qatar Institute of High Performance Computing A STAR Singapore

Personalized PageRank (PPR) computation is a fundamental operation in web search, social networks, and graph analysis. Given a graph G, a source s, and a target t, the PPR query π(s, t) returns the probability that a random walk on G starting from s terminates at t. Unlike global PageRank which can be effectively pre-computed and materialized, the PPR result depends on both the source and the target, rendering results materialization infeasible for large graphs. Existing indexing techniques have rather limited effectiveness;in fact, the current state-of-the-art solution, BiPPR, answers individual PPR queries without pre-computation or indexing, and yet it outperforms all previous index-based solutions. Motivated by this, we propose HubPPR, an effective indexing scheme for PPR computation with controllable tradeoffs for accuracy, query time, and memory consumption. The main idea is to pre-compute and index auxiliary information for selected hub nodes that are often involved in PPR processing. Going one step further, we extend HubPPR to answer top-k PPR queries, which returns the k nodes with the highest PPR values with respect to a source s, among a given set T of target nodes. Extensive experiments demonstrate that compared to the current best solution BiPPR, HubPPR achieves up to 10x and 220x speedup for PPR and top-k PPR processing, respectively, with moderate memory consumption. Notably, with a single commodity server, HubPPR answers a top-k PPR query in seconds on graphs with billions of edges, with high accuracy and strong result quality guarantees. © 2016. VLDB Endowment.

关键词： Query processing

来源：评论

学校读者我要写书评

暂无评论

Elastic parity logging for SSD RAID arrays 46

Elastic parity logging for SSD RAID arrays

引用

46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016

作者： Li, Yongkun Chan, Helen H.W. Lee, Patrick P.C. Xu, Yinlong School of Computer Science and Technology University of Science and Technology of China China Collaborative Innovation Center of High Performance Computing National University of Defense Technology China Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong AnHui Province Key Laboratory of High Performance Computing China

ISBN: (纸本)9781467388917

Parity-based RAID poses a design trade-off issue for large-scale SSD storage systems: it improves reliability against SSD failures through redundancy, yet its parity updates incur extra I/Os and garbage collection operations, thereby degrading the endurance and performance of SSDs. We propose EPLOG, a storage layer that reduces parity traffic to SSDs, so as to provide endurance, reliability, and performance guarantees for SSD RAID arrays. EPLOG mitigates parity update overhead via elastic parity logging, which redirects parity traffic to separate log devices (to improve endurance and reliability) and eliminates the need of pre-reading data in parity computations (to improve performance). We design EPLOG as a user-level implementation that is fully compatible with commodity hardware and general erasure coding schemes. We evaluate EPLOG through reliability analysis and trace-driven testbed experiments. Compared to the Linux software RAID implementation, our experimental results show that our EPLOG prototype reduces the total write traffic to SSDs, reduces the number of garbage collection operations, and increases the I/O throughput. In addition, EPLOG significantly improves the I/O performance over the original parity logging design, and incurs low metadata overhead. © 2016 IEEE.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

Building inventory management model for relief supplies based on OGC and SOA

Building inventory management model for relief supplies base...

引用

2011 4th International Symposium on Computational Intelligence and Design, ISCID 2011

作者： Liu, Gang Sha, Yongzhong High Performance Computing Lab. School of Information Science and Engineering Lanzhou University Lanzhou China School of Management Lanzhou University Lanzhou China

ISBN: (纸本)9780769545004

Recently, with more and more disasters occurring in the world, people have increasingly realized the importance of the disaster relief. Many systems occur at this time to provide different functionalities. The different branches of disaster relief may solve different problems when using these systems. SAHANA is a disaster management system used for disaster relief. Using such an IT technology may be a good way to solve the problem, but whether it can do efficiently under special circumstance is still a problem. In this paper, we propose a method: using SOA (serviced-oriented Architecture) based on OGC to model inventory management of relief supplies to make the relief work more flexible, efficient and easier. Experimental results show that this model we designed is effective during the relief effort. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Span-based localizing network for natural language video localization 58

Span-based localizing network for natural language video loc...

引用

58th Annual Meeting of the Association for Computational Linguistics, ACL 2020

作者： Zhang, Hao Sun, Aixin Jing, Wei Zhou, Joey Tianyi School of Computer Science and Engineering Nanyang Technological University Singapore Institute of High Performance Computing A*STAR Singapore Institute for Infocomm Research A*STAR Singapore

ISBN: (纸本)9781952148255

Given an untrimmed video and a text query, natural language video localization (NLVL) is to locate a matching span from the video that semantically corresponds to the query. Existing solutions formulate NLVL either as a ranking task and apply multimodal matching architecture, or as a regression task to directly regress the target video span. In this work, we address NLVL task with a span-based QA approach by treating the input video as text passage. We propose a video span localizing network (VSLNet), on top of the standard span-based QA framework, to address NLVL. The proposed VSLNet tackles the differences between NLVL and span-based QA through a simple and yet effective query-guided highlighting (QGH) strategy. The QGH guides VSLNet to search for matching video span within a highlighted region. Through extensive experiments on three benchmark datasets, we show that the proposed VSLNet outperforms the state-of-the-art methods;and adopting span-based QA framework is a promising direction to solve NLVL. © 2020 Association for Computational Linguistics

关键词：

来源：评论

学校读者我要写书评

暂无评论

Federated database services for wind tunnel experiment workflows

引用

Scientific Programming 2006年第3-4期14卷 173-184页

作者： Paventhan, A. Takeda, Kenji Cox, Simon J. Nicole, Denis A. Microsoft Institute for High Performance Computing School of Engineering Sciences University of Southampton SO17 1BJ United Kingdom School of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom

Enabling the full life cycle of scientific and engineering workflows requires robust middleware and services that support effective data management, near-realtime data movement and custom data processing. Many existing solutions exploit the database as a passive metadata catalog. In this paper, we present an approach that makes use of federation of databases to host data-centric wind tunnel application workflows. The user is able to compose customized application workflows based on database services. We provide a reference implementation that leverages typical business tools and technologies: Microsoft SQL Server for database services and Windows Workflow Foundation for workflow services. The application data and user's code are both hosted in federated databases. With the growing interest in XML Web Services in scientific Grids, and with databases beginning to support native XML types and XML Web services, we can expect the role of databases in scientific computation to grow in importance. © 2006 - IOS Press and the authors. All rights reserved.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

The Design of Discrete Memory-Accessing Library of Unstructured-grid for Domestic Heterogeneous Many-Core Architecture 4

The Design of Discrete Memory-Accessing Library of Unstructu...

引用

4th International Conference on Imaging, Signal Processing and Communications, ICISPC 2020

作者： Dexun, Chen Fang, Li Xin, Liu Heng, Guo Tsinghua University School of High Performance Computing Beijing China National Super Computing Center in Wuxi Software Lab Wuxi China Tsinghua University School of Computer Science and Technology Beijing China

ISBN: (纸本)9781728185484

Based on the 'SunWay TaihuLight' system, it designs high performance batch-processing algorithm of unstructured-grid discreted accessing memory, which is suitable for different application scenarios. This method uses coordinate preprocessing technology to improve the bandwidth utilization of the slave core on-chip array by establishing a grouped message queue model, and uses barrier-free data distribution technology to make full used of the network performance of the domestic heterogeneous many-core architecture. Through testing different types of applications and combining performance models and experimental results to verify, it is found that the average effective memory bandwidth utilization of the algorithm is more than 70% under different grid models and scales, which is an average of 10 times and the highest performance acceleration is of up to 45 times compared with the master-core serial algorithm. The test and analysis of the application in many different fields have proved the universality of the algorithm, and though a large number of experimental results show that the algorithm has good acceleration performance for different grid types and scales in different application fields. © 2020 IEEE.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Real-time Java processor optimized for RTSJ

Proceedings of the ACM Symposium on Applied Computing

引用

Proceedings of the ACM Symposium on Applied computing 2007年 1540-1544页

作者： Chai, Zhilei Zhao, Wenke Xu, Wenbo Center of Intelligent and High Performance Computing School of Information Technology Southern Yangtze University Wuxi 214122 China Department of Computer Science and Engineering Fudan University 220# of Handan Rd. Shanghai 200433 China

ISBN: (纸本)1595934804;9781595934802

Due to the preeminent work of the real-time specification for Java(RTSJ), Java is increasingly expected to become the leading programming language in real-time systems. To provide a Java platform suitable for real-time applications, a real-time Java processor can execute Java bytecode directly is proposed in this paper. This processor provides efficient support in hardware for mechanisms specified in the RTSJ and offers a simpler programming model through ameliorating the scoped memory of the RTSJ. The most important characteristic of the processor is that its WCET(worst case execution time) of the bytecode execution is predictable. It is vital for the real-time systems. Copyright 2007 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：