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

2010 International Conference on computer Information Systems and Industrial Management Applications, CISIM 2010

作者： Chen, Zhenxiang Ma, Kun Abraham, Ajith Yang, Bo Sun, Runyuan Shandong Provincial Key Laboratory of Network Based Intelligent Computing University of Jinan Jinan China School of Computer Science and Technology Shandong University Jinan China Scientific Network for Innovation and Research Excellence United States

ISBN: (纸本)9781424478170

In this paper, a novel platform-specific executable business model called xBM is proposed to sufficiently represent the business logic process. The metamodel of xBM have been analysed, formalised and illustrated. Traditional version control idea based on the copy-modify-merge approach is also applied in xBM. Moreover, our approach for model development approach based on xBM is presented for generic web applications. Finally a case study of simplified Provincial Excellent Academic Degree Thesis Review System is demonstrated how to build xBMs and transform them into the final system. ©2010 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Direct GPU Compilation and Execution for Host Applications with OpenMP Parallelism 8

Direct GPU Compilation and Execution for Host Applications w...

引用

8th IEEE/ACM Annual Workshop on the LLVM Compiler Infrastructure in HPC, LLVM-HPC 2022

作者： Tian, Shilei Huber, Joseph Parasyris, Konstantinos Chapman, Barbara Doerfert, Johannes Stony Brook University Department of Computer Science Stony Brook United States Advanced Micro Devices Austin United States Lawrence Livermore National Laboratory Center for Applied Scientific Computing Livermore United States

ISBN: (纸本)9781665475587

Currently, offloading to accelerators requires users to identify which regions are to be executed on the device, what memory needs to be transferred, and how synchronization is to be resolved. On top of these manual tasks, many standard (C/C++ library) functions, such as file I/O or memory manipulation, cannot be directly executed on the device and need to be worked around by the user explicitly. This makes it challenging to port programs in the first place and hinders developers from testing features on the GPU and within the GPU compilation pipeline. Existing tests and test suites for the host are effectively unusable for accelerators and need to be manually ported to provide the same benefits for the devices as they do on the host. In this paper, we propose a direct GPU compilation scheme that leverages the portable target offloading interface provided by LLVM/OpenMP. Utilizing this infrastructure allows us to compile an existing host application for the GPU and execute it there with only a minimal wrapper layer for the user code, command line arguments, and a compiler provided GPU implementation of C/C++ standard library functions. The C/C++ library functions are partially implemented for direct device execution and otherwise fallback to remote procedure call (RPC) to call host functions transparently. Our proposed prototype will allow users to quickly compile for, and test on, the GPU without explicitly handling kernel launches, data mapping, or host-device synchronization. We evaluate our implementation using three proxy applications with host OpenMP parallelism and three microbenchmarks to test the correctness of our prototype GPU compilation. © 2022 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

The fusion of image and range flow 10th

The fusion of image and range flow

引用

10th International Workshop on Theoretical Foundations of computer Vision, 2000

作者： Barron, John L Spies, Hagen Dept. of Computer Science University of Western Ontario LondonONN6A 5B7 Canada Interdisciplinary Center for Scientific Computing University of Heidelberg INF 368 Heidelberg69121 Germany

ISBN: (纸本)354042122X

We present quantitative results for computing local least squares and global regularized range flow using both image and range data. We first review the computation of local least squares range flow and then show how its computation can be cast in a global Horn and Schunck like regularization framework [15]. These computations are done using both range data only and using a combination of image and range data [14]. We present quantitative results for these two least squares range flow algorithms and for the two regularization range flow algorithms for one synthetic range sequence and one real range sequence, where the correct 3D motions are known a priori. We show that using both image and range data produces more accurate and more dense range flow than the use of range flow alone. © Springer-Verlag Berlin Heidelberg 2001.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

A class of parallel multilevel sparse approximate inverse preconditioners for sparse linear systems

引用

Scalable computing 2006年第2期7卷 93-106页

作者： Wang, Kai Zhang, Jun Shen, Chi Laboratory for High Performance Scientific Computing and Computer Simulation Department of Computer Science University of Kentucky LexingtonKY40506-0046 United States

We investigate the use of the multistep successive preconditioning strategies (MSP) to construct a class of parallel multilevel sparse approximate inverse (SAI) preconditioners. We do not use independent set ordering, but a diagonal dominance based matrix permutation to build a multilevel structure. The purpose of introducing multilevel structure into SAI is to enhance the robustness of SAI for solving difficult problems. Forward and backward preconditioning iteration and two Schur complement preconditioning strategies are proposed to improve the performance and to reduce the storage cost of the multilevel preconditioners. One version of the parallel multilevel SAI preconditioner based on the MSP strategy is implemented. Numerical experiments for solving a few sparse matrices on a distributed memory parallel computer are reported. © 2006 SWPS.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

ML-based Modeling to Predict I/O Performance on Different Storage Sub-systems 31

ML-based Modeling to Predict I/O Performance on Different St...

引用

31st Annual IEEE International Conference on High Performance computing, Data, and Analytics, HiPC 2024

作者： Xu, Yiheng Sivaraman, Pranav Devarajan, Hariharan Mohror, Kathryn Bhatele, Abhinav Palantir Technologies Inc. Denver United States Department of Computer Science University of Maryland College Park United States Center for Applied Scientific Computing Lawrence Livermore National Laboratory Livermore United States

ISBN: (纸本)9798331509095

Parallel applications can spend a significant amount of time performing I/O on large-scale supercomputers. Fast near-compute storage accelerators called burst buffers can reduce the time a processor spends performing I/O and mitigate I/O bottlenecks. However, determining if a given application could be accelerated using burst buffers is not straightforward even for storage experts. The relationship between an application’s I/O characteristics (such as I/O volume, processes involved, etc.) and the best storage sub-system for it can be complicated. As a result, adapting parallel applications to use burst buffers efficiently is a trial-and-error process. In this work, we present a Python-based tool called PrismIO that enables programmatic analysis of I/O traces. Using PrismIO, we identify performance bottlenecks when using burst buffers and parallel file systems, and explain why certain I/O patterns perform poorly. Further, we use machine learning to model the relationship between I/O characteristics and file system selections. We use IOR, an I/O benchmark to gather performance data for training the machine learning model. Our model can predict the better performing storage system for unseen IOR scenarios with an accuracy of 94.47% and for four real applications with an accuracy of 95.86%. © 2024 IEEE.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Debates with small transparent quantum verifiers

Debates with small transparent quantum verifiers

引用

18th International Conference on Developments in Language Theory, DLT 2014

作者： YakaryIlmaz, Abuzer Say, A. C. Cem Demirci, H. Gökalp Faculty of Computing University of Latvia Raina bulv. 19 Riga LV-1586 Latvia National Laboratory for Scientific Computing Petrópolis RJ 25651-075 Brazil Department of Computer Engineering Boǧaziçi University Bebek 34342 Istanbul Turkey Department of Computer Science University of Chicago Chicago IL 60637 United States

ISBN: (纸本)9783319096971

We study a model where two opposing provers debate over the membership status of a given string in a language, trying to convince a weak verifier whose coins are visible to all. We show that the incorporation of just two qubits to an otherwise classical constant-space verifier raises the class of debatable languages from at most NP to the collection of all Turing-decidable languages (recursive languages). When the verifier is further constrained to make the correct decision with probability 1, the corresponding class goes up from the regular languages up to at least E. © 2014 Springer International Publishing Switzerland.

关键词： Finite automata

来源：评论

学校读者我要写书评

暂无评论

Ensuring numerical quality in grid computing

Ensuring numerical quality in grid computing

引用

International Symposium on High Performance Distributed computing

作者： A. Frommer M. Husken Applied Computer Science and Scientific Computing Bergische Universität Gesamthochschule Wuppertal Wuppertal Germany

We propose an approach which gives the user valuable information on the various platforms avail able in a grid in order to assess the numerical quality of an algorithm run on each of these platforms. In this manner, the user is provided with at least very strong hints whether a program performs reliably in a grid before actually executing it. Our approach extends IeeeCC754 by two "grid-enabled" modes: The first mode calculates a "numerical checksum" on a specific grid host and executes the job only if the check sum is identical to a locally generated one. The second mode provides the user with information on the reliability and IEEE 754-conformity of the underlying floating-point implementation of various platforms. In addition, it can help to find a set of compiler options to optimize the application's performance while retaining numerical stability

关键词： Grid computing Testing Application software Floating-point arithmetic Hardware Software libraries computer science scientific computing Programming Software standards

来源：评论

学校读者我要写书评

暂无评论

A mixed Weisfeiler-Lehman graph kernel 10

A mixed Weisfeiler-Lehman graph kernel

引用

10th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2015

作者： Xu, Lixiang Xie, Jin Wang, Xiaofeng Luo, Bin School of Computer Science and Technology Anhui University Hefei Anhui230601 China Department of Mathmatics & Physics Hefei University Hefei Anhui230601 China Department of Computer Science and Technology Hefei University Hefei Anhui230601 China Institute of Scientific Computing Hefei University Hefei Anhui230601 China

ISBN: (纸本)9783319182230

Using concepts from the Weisfeiler-Lehman (WL) test of isomorphism, we propose a mixed WL graph kernel (MWLGK) framework based on a family of efficient WL graph kernels for constructing mixed graph kernel. This family of kernels can be defined based on the WL sequence of graphs. We apply the MWLGK framework on WL graph sequence taking into account the structural information which was overlooked. Our MWLGK is competitive with or outperforms the corresponding single WL graph kernel on several classification benchmark data sets. © Springer International Publishing Switzerland 2015.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

A Spatio-temporal Model for the Population Dynamics of Pyrodinium Bahamense var. Compressum with a Nutrient Source and Wind Effects

A Spatio-temporal Model for the Population Dynamics of Pyrod...

引用

Asia International Conference on Modeling & Simulation

作者： Diego Manansala Remb Talastasin Wilson Tan Adrian Roy Valdez Scientific Computing Laboratory Department of Computer Science College of Engineering University of Philippines Diliman Philippines

The dinoflagellate Pyrodinium bahamense var. compressum has been known to be the major cause of harmful algal blooms or H.A.B. recurring in Manila Bay and other bodies of water in the Philippines. This paper proposes a framework for modeling the growth and spread of an algal bloom population over a hypothetical geographic area. The model is comprised of a networked system of nodes where each node contains an instantiation of a system of difference equations describing the population dynamics of the different life cycle stages of the dinoflagellate.

关键词： Mathematical model Difference equations Computational modeling Reactive power Dispersion Geospatial analysis

来源：评论

学校读者我要写书评

暂无评论

Speech compression with cosine and wavelet packet near-best bases

Speech compression with cosine and wavelet packet near-best ...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： C. Taswell Scientific Computing and Computational Mathematics Department of Computer Science University of Stanford Stanford CA USA

Compression of speech from the TIMIT corpus was investigated for several transform domain methods coding near-best and best bases from cosine and wavelet packet transforms. Satisficing (suboptimizing) search algorithms for selecting near-best bases were compared with optimizing algorithms for best bases in these adaptive tree-structured transforms. Experiments were performed on several hundred seconds of speech spoken by both male and female speakers from all dialect regions of the TIMIT corpus. Near-best bases provided rate-distortion performance effectively as good as that of best bases but without the additional computational penalty. Cosine packet bases outperformed wavelet packet bases.

关键词： Wavelet packets Wavelet transforms Cost function scientific computing Mathematics computer science Speech coding Wavelet domain Rate-distortion Additives

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：