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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

92 篇 期刊文献
74 篇 会议
3 篇 学位论文

馆藏范围

169 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

150 篇 工学
- 117 篇 计算机科学与技术...
- 89 篇 软件工程
- 33 篇 电气工程
- 13 篇 信息与通信工程
- 6 篇 控制科学与工程
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 土木工程
- 1 篇 动力工程及工程热...
- 1 篇 化学工程与技术
- 1 篇 石油与天然气工程
- 1 篇 网络空间安全
14 篇 理学
- 11 篇 数学
- 2 篇 系统科学
- 1 篇 化学
- 1 篇 生物学
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...
2 篇 医学
- 2 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 药学(可授医学、理...
1 篇 文学
1 篇 军事学
- 1 篇 军事装备学

主题

169 篇 program optimiza...
17 篇 program transfor...
12 篇 program analysis
10 篇 performance
10 篇 partial evaluati...
9 篇 languages
8 篇 compilers
8 篇 code generation
7 篇 theory
6 篇 algorithms
6 篇 code motion
6 篇 data flow analys...
4 篇 theorem proving
4 篇 program synthesi...
4 篇 computational co...
4 篇 compiler
4 篇 java
4 篇 design
4 篇 functional progr...
4 篇 dynamic compilat...

机构

4 篇 johannes kepler ...
4 篇 suny stony brook...
2 篇 malardalen univ ...
2 篇 univ melbourne d...
2 篇 leiden univ leid...
2 篇 oracle labs linz...
2 篇 department of co...
2 篇 lawrence berkele...
2 篇 cornell univ dep...
2 篇 jiangnan univ sc...
2 篇 purdue univ sch ...
2 篇 mit csail cambri...
2 篇 oracle labs
2 篇 univ washington ...
2 篇 natl univ def te...
2 篇 univ dortmund d-...
2 篇 univ illinois de...
2 篇 univ paris est c...
2 篇 university of ca...
1 篇 samara state tec...

作者

6 篇 knoop j
3 篇 pingali k
3 篇 liu yanhong a.
3 篇 leopoldseder dav...
3 篇 shen xipeng
3 篇 steffen b
3 篇 kloibhofer sebas...
2 篇 jason cong
2 篇 rubio-gonzalez c...
2 篇 lu pingjing
2 篇 wang dengfeng
2 篇 glück r
2 篇 pereira rui
2 篇 hough david
2 篇 bilardi g
2 篇 bonetta daniele
2 篇 saraiva joao
2 篇 hu zhenjiang
2 篇 kahan william
2 篇 de gonzalo simon...

语言

162 篇 英文
6 篇 其他
1 篇 中文

检索条件"主题词=Program Optimization"

共 169 条记录，以下是101-110 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

From Clarity to Efficiency for Distributed Algorithms 12

From Clarity to Efficiency for Distributed Algorithms

引用

ACM International Conference on Object Oriented programming Systems Languages and Applications

作者： Liu, Yanhong A. Stoller, Scott D. Lin, Bo Gorbovitski, Michael SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA

ISBN: (纸本)9781450315616

This paper describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations. The language supports high-level control flows where complex synchronization conditions can be expressed using high-level queries, especially logic quantifications, over message history sequences. Unfortunately, the programs would be extremely inefficient, including consuming unbounded memory, if executed straightforwardly. We present new optimizations that automatically transform complex synchronization conditions into incremental updates of necessary auxiliary values as messages are sent and received. The core of the optimizations is the first general method for efficient implementation of logic quantifications. We have developed an operational semantics of the language, implemented a prototype of the compiler and the optimizations, and successfully used the language and implementation on a variety of important distributed algorithms.

关键词： Algorithms Design Languages Performance distributed algorithms incrementalization logic quantifications program optimization very high-level languages

来源：评论

学校读者我要写书评

暂无评论

From ASTs to Machine Code with LLVM 21

From ASTs to Machine Code with LLVM

引用

5th International Conference on the Art, Science, and Engineering of programming (programming)

作者： Racordon, Dimitri Univ Geneva Fac Sci Geneva Switzerland

ISBN: (纸本)9781450389860

A compiler is a program that translates source code written in a particular language into another language. Internally, the whole process is typically split into multiple stages that handle one particular aspect of this translation. One of these consists of translating the high-level representation of the program, typically an abstract syntax tree, into a simpler form that is suitable for analysis, optimizations, and code generation. This tutorial paper focuses on this process, and uses LLVM to compile programs into optimized machine code. LLVM is a language-agnostic compiler toolchain that handles program optimization and code generation. It is based on its own internal representation, called LLVM IR, which is then transformed into machine code. We give a brief introduction to LLVM IR, and describe a few patterns to translate high-level language constructs expressed as abstract syntax trees. We implement these patterns in a compiler for a toy programming language, named Cocodol, which supports dynamic typing, unbounded loops, and higher-order functions.

关键词： compilers code generation program optimization lowering LLVM

来源：评论

学校读者我要写书评

暂无评论

Removing Runtime Overhead for Optimized Object Queries 16

Removing Runtime Overhead for Optimized Object Queries

引用

ACM SIGPLAN Workshop on Partial Evaluation and program Manipulation (PEPM)

作者： Brandvein, Jon Liu, Yanhong A. SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA

ISBN: (纸本)9781450340977

Powerful optimizations of object queries can lead to reduced asymptotic running times. However, such queries are often used in dynamic languages, and the required generality of the optimizations in handling a dynamic language can lead to significant runtime overhead as well as significantly increased code size. This paper studies combinations of optimizations for reducing this runtime overhead and code size. We describe two new optimizations-counting elimination and result set elimination, their effectiveness when combined with inlining and when using specialized data structures, and additional optimizations enabled by type analysis and alias analysis. The two new optimizations are enabled by the high-level nature of queries, even though they are difficult and not supported by general compiler optimizations. We have run a variety of benchmarks, including distributed algorithms and benchmarks from prior best systems, obtaining a speedup of up to 56% and code size reduction of up to 37%.

关键词： Automatic Incrementalization program optimization Query Constructs Dynamic Types

来源：评论

学校读者我要写书评

暂无评论

program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads

Program Analysis and Compilation Techniques for Speeding up ...

引用

作者： Mohammad DASHTI RAHMAT ABADI ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE

学位级别：博士

There is a trend towards increased specialization of data management software for perfor- mance reasons. The improved performance not only leads to a more efficient usage of the underlying hardware and cuts the operation costs of the system, but also is a game-changing competitive advantage for many emerging application domains such as high-frequency algo- rithmic trading, clickstream analysis, infrastructure monitoring, fraud detection, and online advertising to name a few. In this thesis, we study the automatic specialization and optimization of database appli- cation programs – sequences of queries and updates, augmented with control flow constructs as they appear in database scripts, user-defined functions (UDFs), transactional workloads and triggers in languages such as PL/SQL. We propose to build online transaction processing (OLTP) systems around a modern compiler infrastructure. We show how to build an optimizing compiler for transaction programs using generative programming and state-of-the-art com- piler technology, and present techniques for aggressive code inlining, fusion, deforestation, and data structure specialization in the domain of relational transaction programs. We also identify and explore the key optimizations that can be applied in this domain. In addition, we study the advantage of using program dependency analysis and restructuring to enable the concurrency control algorithms to achieve higher performance. Traditionally, optimistic concurrency control algorithms, such as optimistic Multi-Version Concurrency Control (MVCC), avoid blocking concurrent transactions at the cost of having a validation phase. Upon failure in the validation phase, the transaction is usually aborted and restarted from scratch. The "abort and restart" approach becomes a performance bottleneck for use cases with high contention objects or long running transactions. In addition, restarting from scratch creates a negative feedback loop in the system, because the system

关键词： transaction processing program analysis compilation techniques transaction repair generative programming program optimization functional programming compiler staging data structure specialization deforestation partial evaluation

来源：评论

学校读者我要写书评

暂无评论

Automatically Transforming Arrays to Columnar Storage at Run Time 19

Automatically Transforming Arrays to Columnar Storage at Run...

引用

19th International Conference on Managed programming Languages and Runtimes (MPLR)

作者： Kloibhofer, Sebastian Makor, Lukas Leopoldseder, David Bonetta, Daniele Stadler, Lukas Mossenbock, Hanspeter Johannes Kepler Univ Linz Linz Austria Oracle Labs Linz Austria Oracle Labs Apeldoorn Netherlands

ISBN: (纸本)9781450396967

Picking the right data structure for the right job is one of the key challenges for every developer. However, especially in the realm of object-oriented programming, the memory layout of data structures is often still suboptimal for certain data access patterns, due to objects being scattered across the heap. Therefore, this work presents an approach for the automated transformation of arrays of objects into a contiguous format (called columnar arrays). At run time, we identify suitable arrays, perform the transformation and use a dynamic compiler to gain performance improvements. In the evaluation, we show that our approach can improve the performance of certain queries over large, uniform arrays.

关键词： Columnar Storage Array Storage program optimization Dynamic Language Dynamic Compilation

来源：评论

学校读者我要写书评

暂无评论

Towards Automatic Restrictification of CUDA Kernel Arguments 18

Towards Automatic Restrictification of CUDA Kernel Arguments

引用

33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Diarra, Rokiatou Univ Paris Saclay Univ Paris Sud SATIE Gif Sur Yvette France

ISBN: (数字)9781450359375

ISBN: (纸本)9781450359375

Many procedural languages, such as C and C++, have pointers. Pointers are powerful and convenient, but pointer aliasing still hinders compiler optimizations, despite several years of research on pointer aliasing analysis. Because alias analysis is a difficult task and results are not always accurate, the ISO C standard 99 has added a keyword, named restrict to allow the programmer to specify non-aliasing as an aid to the compiler's optimizer and to thereby possibly improve performance. The task of annotating pointers with the restrict keyword is still left to the programmer. This task is, in general, tedious and prone to errors especially since the C does not perform any verification to ensure that restrict keyword is not misplaced. In this paper we present a static analysis tool that (i) finds CUDA kernels call sites in which actual parameters do not alias;(ii) clones the kernels called at such sites;(iii) after performing an alias analysis in these kernels, adds the restrict keyword to their arguments;and (iv) replaces the original kernel call by a call to the optimized clone whenever possible.

关键词： GPU CUDA restrict compilers program optimization aliasing

来源：评论

学校读者我要写书评

暂无评论

Data Locality optimization based on Comprehensive Knowledge of the Cache Miss Reason: A Case Study with DWT

Data Locality Optimization based on Comprehensive Knowledge ...

引用

10th IEEE International Conference on High Performance Computing and Communications

作者： Tao, Jie Shahbahrami, Asadollah Jilin Univ Dept Comp Sci & Technol Jilin Peoples R China Karlsruhe Inst Technol Steinbuch Ctr Comp Karlsruhe Germany Delft Univ Technol Comp Engn Lab NL-2628 AL Delft Netherlands

ISBN: (纸本)9780769533520

The overall performance of a computing system increasingly depends on the efficient use of the cache memories. Traditional approaches cache tuning deploy performance tools to help the user optimize the source program towards a better runtime data locality. Following this conventional way, we developed a set of such toolkits including data profiling, pattern analysis, and performance visualization tools. This paper demonstrates how the toolset can he used step-by-step to understand the cache access behavior of the applications and then achieve optimized program code. The Discrete Wavelet Transform, a common used algorithm for image and video compression, is applied as an example. Our initial experimental results with this sample application show an up to 3.19 speedup in execution time compared to the original implementation.

关键词： Memory performance program optimization performance tools data profiling performance analysis and visulalization

来源：评论

学校读者我要写书评

暂无评论

SPOAHA: Spark program Optimizer Based on Artificial Hummingbird Algorithm 16th

SPOAHA: Spark Program Optimizer Based on Artificial Hummingb...

引用

16th International Conference on Knowledge Science, Engineering and Management (KSEM)

作者： Wang, Miao Zhen, Jiteng Ma, Yupeng Huang, Xu Zhang, Hong Hebei Univ Sch Cyber Secur & Comp Baoding 071002 Peoples R China

ISBN: (纸本)9783031402883;9783031402890

In this era of the Internet of Things (IoT), a large number of sensor devices collect and generate various sensing data over time. It is very essential to mine fresh information by analyzing large amounts of data, predict the future, and make correct decisions. Therefore, a growing number of data-intensive computing frameworks have been proposed, such as Hadoop, Spark, Flink, etc. Rather than reading and writing files to disks, Spark processes data with a memory-based computing framework to improve the performance, which has attracted more attention from researchers. However, due to a wealth of operators provided by Spark, a certain application can be implemented in various ways, which also show big differences in performance. Therefore, tuning a Spark application is a very error-prone and time-consuming process, and requires developers to have a deep understanding of Spark's operating principles and characteristics. In this paper, we summarize a series of rules such as operator reordering and operator replacement to design and implement a Spark program optimizer, called SPOAHA, based on the artificial Hummingbird algorithm. Experimental results show that without changing the semantics of the original program, the optimized program dramatically reduces the amount of data involved in the shuffling period, and speeds up the execution time by up to 2.7x.

关键词： Spark Big Data program optimization Artificial Hummingbird Algorithm

来源：评论

学校读者我要写书评

暂无评论

Real Time Implementation of Dynamic 3D Sound Sources in a Digital Signal Processor

Real Time Implementation of Dynamic 3D Sound Sources in a Di...

引用

11th IFAC/IEEE International Conference on programmable Devices and Embedded Systems (PDeS)

作者： Pelczynski, Pawel Bochenska, Magda Tech Univ Lodz Inst Elect PL-90924 Lodz Poland Tech Univ Lodz Int Fac Engn PL-90924 Lodz Poland

ISBN: (纸本)9783902823144

The presented project concerns the development and studies of a digital synthesis system for spatial audio on a DSP platform. The concept of Head-Related Transfer Functions was adapted in order to produce the 3-D audio. The paper concentrates on the DSP implementation of HRTFs, especially specific optimizations that were introduced, that enabled real time sound processing despite the limited hardware resources. Experimental verification of the developed system was carried out. It was concluded that the HRTF-based spatial audio can be successfully synthesized in real time on embedded DSP devices.

关键词： 3D sound system HRIR filters digital signal processors implementation program optimization

来源：评论

学校读者我要写书评

暂无评论

An Implement of Actor Model - uJavaActor 's Improvement 6

An Implement of Actor Model - uJavaActor 's Improvement

引用

6th International Conference on Instrumentation and Measurement, Computer, Communication and Control (IMCCC)

作者： Rang, Jiaheng Mu, Xiaomin Ding, Yingqiang Zhengzhou Univ Sch Informat Engn Zhengzhou 450001 Henan Peoples R China

ISBN: (纸本)9781509011957

To solve the complex problems of Multi-Thread programing, a frame of the model of Java Actor used to implement uJavaActor is discussed. The startup speed, responding speed in long time running, and the average running time of the system are accelerated by the improvements of Thread pool, Java lock and concurrent data structure in uJavaActor frame. The uJavaActor improved is compared in runtime contrast with the original frame in the area about the running speed of implementing the model of MapReduce. After analyzing the running results, the frame improved consists of higher startup speed, shorter running time, and faster reaction after receiving new tasks, which proves that the total running speed of the uJavaActor model is boosted efficaciously with the improvements in such two areas

关键词： Multi-Thread Concurrency Actor Model MapReduce Lock program optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共17页 << < 7 8 9 10 11 12 13 14 15 16 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：