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

37th IEEE International Parallel and Distributed Processing Symposium (IPDPS)

作者： Jin, Zheming Vetter, Jeffrey S. Oak Ridge Natl Lab Oak Ridge TN 37831 USA

ISBN: (纸本)9798350311990

Towards the goal of improving functional and performance portability of SYCL, we study a bioinformatics application that has been accelerated with CUDA and fast pseudorandom number generation on a GPU. We describe the experience of migrating pseudorandom number generation from CUDA to SYCL, evaluate the performance of pseudorandom number generators using the CUDA random number generation library, suggest the support of the XORWOW pseudorandom number generator in the oneAPI math kernel library (oneMKL) interface for performance portability, and identify the performance gap using the MKL interface in SYCL that supports pseudorandom number generation with third-party libraries. We hope that the results are valuable for the development of the SYCL ecosystem.

关键词： Portability programming model Pseudorandom number generation Bioinformatics

来源：评论

学校读者我要写书评

暂无评论

programming Pervasive Spaces 7th

Programming Pervasive Spaces

引用

7th International Conference on Autonomic and Trusted Computing

作者： Helal, Sumi Univ Florida Comp & Informat Sci & Engn Dept Gainesville FL 32611 USA

ISBN: (纸本)9783642163548

In principle, the entire world can exploit ubiquitous and pervasive systems to great societal benefits. In practice, however, there is as yet no fundamental basis or widely accepted programming models for such systems. There is also no established curriculum for teaching pervasive and sensor-based computing. In this talk, I will present our ongoing research efforts in defining and supporting programmable pervasive spaces. I will start by presenting our experience and lessons learnt in building “assistive environments” for the elderly, to demonstrate the need for space programmability and to define critical new requirements particular to pervasive spaces. I will then present ATLAS, a middleware architecture and a sensor platform that supports self-integration and enables SODA – a service-oriented programming model. I will show how ATLAS was used as the foundation on which we built and programmed the Gator Tech Smart House, and how it enabled pervasive application development, and scalable data collection and analysis. I will then delineate the limitations of SODA and present programming model extensions that address space and user safety as well as reliability and scalability. Finally, I will present our views of a possible ecosystem within which our programming models and system support can be used to promote the proliferation of programmable and manageable pervasive systems. © Springer-Verlag Berlin Heidelberg 2010.

关键词： Pervasive spaces programming model assistive environments

来源：评论

学校读者我要写书评

暂无评论

Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT

Tutorial: Detecting Memory Vulnerabilities in the Components...

引用

IEEE Secure Development (IEEE SecDev) Conference

作者： Yavuz, Tuba Bai, Ken (Yihang) Univ Florida ECE Dept Gainesville FL 32611 USA

ISBN: (纸本)9781728183886

Analyzing real-world software is challenging due to complexity of the software frameworks or APIs they depend on. In this paper, we present a tool, PROMPT, that facilitates analysis of software components using programming model guided symbolic execution. PROMPT has a specification component, PROSE, that lets users define a programming model, which consists of a set of data constraints and life-cycle rules that define control-flow constraints among sequentially composed API functions. Given a PROSE model and a software component, PROMPT symbolically executes the component while enforcing the specified programming model. PROMPT has been implemented on top of the KLEE symbolic execution engine and has been applied to Linux device drivers from the video, sound, and network subsystems. PROMPT detected two new and two known memory vulnerabilities in some of the device drivers. The proposed tutorial on PROMPT will empower practitioners as well as researchers in analyzing components of system code for deep memory vulnerabilities.

关键词： symbolic execution memory vulnerabilities component-level analysis programming model

来源：评论

学校读者我要写书评

暂无评论

Extending the SYCL Joint Matrix for Binarized Neural Networks

Extending the SYCL Joint Matrix for Binarized Neural Network...

引用

1st International Conference on Smart Energy Systems and Artificial Intelligence (SESAI)

作者： Jin, Zheming Oak Ridge Natl Lab Oak Ridge TN 37830 USA

ISBN: (纸本)9798350364613;9798350364606

In contrast to the warp matrix-multiplication application-programming interface (WMMA) for tensor hardware programming in Compute Unified Device Architecture (CUDA), the SYCL joint matrix extension is an experimental feature for devices that contain a matrix hardware. While the WMMA defines 1-bit precision and bit arithmetic operations as an experimental feature for applications such as binarized neural networks (BNNs), the SYCL joint matrix extension lacks such support. This paper describes the extension to the SYCI. matrix interface to leverage bit-capability of the tensor hardware. Then, we share the experience of migrating BNNs from CUDA to SYCL. Filially, we evaluate the performance of BNNs in CUDA and SYCI, on graphics processing units. We hope that the results will be useful for improving portability of the SYCL programming model.

关键词： GPU Tensor hardware programming model BAN

来源：评论

学校读者我要写书评

暂无评论

Designing an architecture for distributed shared data on the grid

Designing an architecture for distributed shared data on the...

引用

8th International Conference on Algorithms and Architectures for Parallel Processing

作者： Tudor, Dacian Cretu, Vladimir Schreiner, Wolfgang Politehn Univ Timisoara Dept Comp Sci & Engn Vasile Parvan St 2 Timisoara 300223 Romania Johannes Kepler Univ Linz RISC A-4040 Linz Austria

ISBN: (纸本)9783540695004

Despite the continuous advances of the last years in grid computing, the grid computing programming paradigms are dominated by the message passing concept. There is little support for other paradigms such as shared data or associative programming. In this paper we analyze some of the existing solutions for grid shared data programming and highlight some of their drawbacks. We propose a new architecture and its core features as well as new evaluation means of its behavior in various scenarios including the next generation grid systems. In addition to the simplicity of our solution, we believe that it would allow us to easily apply further extensions.

关键词： grid computing distributed shared data programming model

来源：评论

学校读者我要写书评

暂无评论

Big data analytics:a literature review

引用

Journal of Management Analytics 2015年第3期2卷 175-201页

作者： Dazhi Chong Hui Shi Department of Information Technology&Decision Sciences Old Dominion UniversityNorfolkUSA Department of Management and Information Sciences University of Southern IndianaEvansvilleUSA

AbstractWith more and more data generated,it has become a big challenge for traditional architectures and infrastructures to process large amounts of data within an acceptable time and *** order to efficiently extract value from these data,organizations need to find new tools and methods specialized for big data *** this reason,big data analytics has become a key factor for companies to reveal hidden information and achieve competitive advantages in the ***,enormous publications of big data analytics make it difficult for practitioners and researchers to find topics they are interested in and track up to *** paper aims to present an overview of big data analytics’content,scope and findings as well as opportunities provided by the application of big data analytics.

关键词： big data analytics programming model storage application

来源：评论

学校读者我要写书评

暂无评论

Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture (WIP Paper) 2021

Automatic Mapping and Code Optimization for OpenCL Kernels o...

引用

22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

作者： Zhao, Xiaolei Wen, Mei Chen, Zhaoyun Shi, Yang Zhang, Chunyuan Natl Univ Def Technol Changsha Peoples R China

ISBN: (纸本)9781450384728

FT-Matrix is a typical vector-SIMD architecture that refines the cooperation between scalar and vector units. This approach is widely used in digital signal processing, high-performance computing, and artificial intelligence, among other fields. FT-Matrix currently adopts C vector extension as the main programming model, improving the utilization efficiency of SIMD by providing explicit vector extension API. Moreover, it is difficult to efficiently transplant parallel programs (OpenCL, CUDA) adopted by users. This paper proposes an automatic mapping and code optimization method for OpenCL kernels on FT-Matrix architecture. The proposed approach solves these challenges by means of work item coalescing, slicing and rotation, and instruction-level code optimization. Preliminary results show that our method can achieve high performance and good hardware utilization for OpenCL kernels, as well as decreasing the programming difficulty on FT-Matrix.

关键词： FT-Matrix OpenCL programming model automated mapping

来源：评论

学校读者我要写书评

暂无评论

Outline of a Thick Control Flow Architecture 28

Outline of a Thick Control Flow Architecture

引用

28th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

作者： Forsell, Martti Roivainen, Jussi Leppanen, Ville VTT Comp Platforms Espoo Finland Univ Turku Informat Technol Turku Finland

ISBN: (纸本)9781509048441

The recently invented thick control flow (TCF) model packs together an unbounded number of fibers, thread-like computational entities, flowing through the same control path. This promises to simplify parallel programming by partially eliminating looping and artificial thread arithmetics. In this paper we outline an architecture for efficiently executing programs written for the TCF model. It features scalable latency hiding via replication of instructions, radical synchronization cost reduction via a wave-based synchronization mechanism, and improved low-level parallelism exploitation via chaining of functional units. Replication of instructions is supported by a dynamic multithreading-like mechanism, which saves the fiber-wise data into special replicated register blocks. The architecture facilitates programmers with compact, unbounded notation of fibers and groups of them together with strong synchronous shared memory algorithmics. According to evaluations, the architecture is able to efficiently handle workloads featuring computational elements with the same control flow, independently of the number of elements. In its turn, this pays out as improved performance and lower power consumption due to elimination of redundant parts of computation and machinery.

关键词： parallel computing processor architecture programming model TCF multithreading chaining

来源：评论

学校读者我要写书评

暂无评论

Mimic: UI Compatibility Testing System for Android Apps 19

Mimic: UI Compatibility Testing System for Android Apps

引用

41st IEEE/ACM International Conference on Software Engineering (ICSE)

作者： Ki, Taeyeon Park, Chang Min Dantu, Karthik Ko, Steven Y. Ziarek, Lukasz SUNY Buffalo Dept Comp Sci & Engn Buffalo NY 14260 USA

ISBN: (纸本)9781728108698

This paper proposes Mimic, an automated UI compatibility testing system for Android apps. Mimic is designed specifically for comparing the UI behavior of an app across different devices, different Android versions, and different app versions. This design choice stems from a common problem that Android developers and researchers face how to test whether or not an app behaves consistently across different environments or internal changes. Mimic allows Android app developers to easily perform backward and forward compatibility testing for their apps. It also enables a clear comparison between a stable version of app and a newer version of app. In doing so, Mimic allows multiple testing strategies to be used, such as randomized or sequential testing. Finally, Mimic programming model allows such tests to be scripted with much less developer effort than other comparable systems. Additionally, Mimic allows parallel testing with multiple testing devices and thereby speeds up testing time. To demonstrate these capabilities, we perform extensive tests for each of the scenarios described above. Our results show that Mimic is effective in detecting forward and backward compatibility issues, and verify runtime behavior of apps. Our evaluation also shows that Mimic significantly reduces the development burden for developers.

关键词： Mobile apps UI compatibility testing Parallel testing programming model

来源：评论

学校读者我要写书评

暂无评论

Integrated Optimization for Supply Chain with Facility Disruption

Integrated Optimization for Supply Chain with Facility Disru...

引用

10th IEEE International Conference on Mechatronics and Automation (ICMA)

作者： Wang, Yong Ming Yin, Hong Li Kunming Univ Sci & Technol Fac Management & Econ Kunming 650093 Peoples R China Yunnan Normal Univ Sch Comp Sci & Informat Kunming 650093 Peoples R China

ISBN: (纸本)9781467355605

Supply chain optimization models typically assume that facilities never fail. However, in the real world cases facilities are always subject to disruptions of various sorts due to natural disasters, strikes, machine breakdowns, power outages, and other factors. This paper investigates an integrated supply chain optimization problem that optimizes facility locations, customer allocations, and inventory management decisions when facilities are subject to disruption risks. When a facility fails, its customers may be reassigned to other operational facilities in order to avoid the high penalty costs associated with losing service. The problem is formulated as a mixed integer nonlinear programming to minimize the sum of the expected total costs. The model simultaneously determines the location of distribution centres and the allocation of disruption affected customer to distribution centres. In order to solve the proposed model, an effective solution approach based on genetic algorithm is presented. Finally, computational results for several instances of the problem are given to validate the effectiveness of the proposed model and algorithm.

关键词： Supply chain Facility disruption programming model Genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：