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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

60 篇 会议
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

51 篇 工学
- 49 篇 软件工程
- 46 篇 计算机科学与技术...
- 2 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 化学工程与技术
- 1 篇 纺织科学与工程
- 1 篇 生物工程
7 篇 理学
- 3 篇 数学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
- 1 篇 系统科学
4 篇 管理学
- 3 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学

主题

15 篇 design
11 篇 performance
11 篇 languages
5 篇 algorithms
4 篇 experimentation
4 篇 reliability
4 篇 program synthesi...
4 篇 verification
3 篇 software enginee...
3 篇 compiler
3 篇 computer program...
2 篇 object oriented ...
2 篇 programming prof...
2 篇 programming
2 篇 computer archite...
2 篇 java
2 篇 operational sema...
2 篇 determinism
2 篇 abstract interpr...
2 篇 static analysis

机构

3 篇 univ michigan an...
3 篇 princeton univ p...
2 篇 intel corp haifa
2 篇 cornell univ dep...
2 篇 northeastern uni...
2 篇 seoul natl univ ...
1 篇 penn state univ ...
1 篇 univ waterloo wa...
1 篇 univ toronto on
1 篇 university of aa...
1 篇 univ oxford oxfo...
1 篇 univ wisconsin m...
1 篇 university of co...
1 篇 uc santa barbara...
1 篇 700–0005
1 篇 intel corporatio...
1 篇 sun microsystems...
1 篇 tsinghua univers...
1 篇 department of co...
1 篇 purdue universit...

作者

2 篇 cheng perry
2 篇 yi kwangkeun
2 篇 august david i.
2 篇 bacon david f.
2 篇 zaks ayal
2 篇 myers andrew c.
2 篇 lee wonchan
1 篇 oliveira bruno c...
1 篇 ding wei
1 篇 muñoz césar
1 篇 oda tetsuya
1 篇 wu jingyue
1 篇 sewe andreas
1 篇 ueda chiaki
1 篇 chen yanju
1 篇 lan jin
1 篇 wang xinyu
1 篇 rendel tillmann
1 篇 cartey luke
1 篇 olivier jeffrey

语言

61 篇 英文
2 篇 其他

检索条件"任意字段=33rd ACM SIGPLAN Conference on Programming Language Design and Implementation"

共 63 条记录，以下是1-10 订阅

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

详细简洁

排序：

PLDI 2022 - Proceedings of the 43rd acm sigplan International conference on programming language design and implementation

PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN Internationa...

引用

43rd acm sigplan International conference on programming language design and implementation, PLDI 2022

ISBN: (纸本)9781450392655

The proceedings contain 68 papers. The topics discussed include: modular information flow through ownership;ANOSY: approximated knowledge synthesis with refinement types for declassification;hardening attack surfaces with formally proven binary format parsers;turning manual concurrent memory reclamation into automatic reference counting;low-latency, high-throughput garbage collection;mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters;visualization question answering using introspective program synthesis;synthesizing analytical SQL queries from computation demonstration;sequential reasoning for optimizing compilers under weak memory concurrency;and can reactive synthesis and syntax-guided synthesis be friends?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PLDI'12 - Proceedings of the 2012 acm sigplan conference on programming language design and implementation

PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on ...

引用

33rd acm sigplan conference on programming language design and implementation, PLDI'12

ISBN: (纸本)9781450312059

The proceedings contain 48 papers. The topics discussed include: adaptive input-aware compilation for graphics engines;and then there were none: a stall-free real-time garbage collector for reconfigurable hardware;the implicit calculus: a new foundation for generic programming;deterministic parallelism via liquid effects;speculative linearizability;understanding and detecting real-world performance bugs;input-sensitive profiling;language-based control and mitigation of timing channels;Diderot: a parallel DSL for image analysis and visualization;synthesising graphics card programs from DSLs;Parcae: a system for flexible parallel execution;JANUS: exploiting parallelism via hindsight;reagents: expressing and composing fine-grained concurrency;and proving acceptability properties of relaxed nondeterministic approximate programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the acm sigplan conference on programming language design and implementation (PLDI)

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

3rd acm sigplan International Workshop on the State of the Art in Java Program Analysis, SOAP 2014 - Co-located with PLDI 2014

The proceedings contain 5 papers. The topics discussed include: TS4J: a fluent interface for defining and computing typestate analyses;a software product line for static analyses;dynamic slicing with soot;explicit and symbolic techniques for fast and scalable points-to analysis;and android taint flow analysis for app sets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the acm sigplan conference on programming language design and implementation (PLDI)

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

acm sigplan conference on programming language design and implementation, PLDI 1988

ISBN: (纸本)0897912691

The proceedings contain 33 papers. The topics discussed include: real-time concurrent collection on stock multiprocessors;detecting conflicts between structure accesses;interprocedural slicing using dependence graphs;the program summary graph and flow-sensitive interprocedural data flow analysis;interprocedural side-effect analysis in linear time;register windows vs. register allocation;automatic generation of fast optimizing code generators;minimizing register usage penalty at procedure calls;anatomy of a hardware compiler;design and implementation of the UW illustrated compiler;DOC: a practical approach to source-level debugging of globally optimized code;a mechanism for efficient debugging of parallel programs;debugging concurrent processes: a case study;and an efficient approach to data flow analysis in a multiple pass global optimizer.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reagents: Expressing and Composing Fine-grained Concurrency 12

Reagents: Expressing and Composing Fine-grained Concurrency

引用

33rd acm sigplan conference on programming language design and implementation

作者： Turon, Aaron Northeastern Univ Boston MA 02115 USA

ISBN: (纸本)9781450312059

Efficient communication and synchronization is crucial for fine-grained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often cannot be tailored or composed to meet the needs of specific users. We introduce reagents, a set of combinators for concisely expressing concurrency algorithms. Reagents scale as well as their hand-coded counterparts, while providing the composability existing libraries lack.

关键词： design Algorithms languages Performance fine-grained concurrency nonblocking algorithms monads arrows compositional concurrency

来源：评论

学校读者我要写书评

暂无评论

language-Based Control and Mitigation of Timing Channels 12

Language-Based Control and Mitigation of Timing Channels

引用

33rd acm sigplan conference on programming language design and implementation

作者： Zhang, Danfeng Askarov, Aslan Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA Harvard Univ Sch Engn & Comp Sci Cambridge MA 02138 USA

ISBN: (纸本)9781450312059

We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through external timing channels. By incorporating mechanisms for predictive mitigation of timing channels, this approach also permits a more expressive programming model. Timing channels arising from interaction with underlying hardware features such as instruction caches are controlled. Assumptions about the underlying hardware are explicitly formalized, supporting the design of hardware that efficiently controls timing channels. One such hardware design is modeled and used to show that timing channels can be controlled in some simple programs of real-world significance.

关键词： languages Security Timing channels mitigation information flow

来源：评论

学校读者我要写书评

暂无评论

Synthesising Graphics Card Programs from DSLs 12

Synthesising Graphics Card Programs from DSLs

引用

33rd acm sigplan conference on programming language design and implementation

作者： Cartey, Luke Lyngsoe, Rune de Moor, Oege Univ Oxford Oxford OX1 2JD England

ISBN: (纸本)9781450312059

Over the last five years, graphics cards have become a tempting target for scientific computing, thanks to unrivaled peak performance, often producing a runtime speed-up of x10 to x25 over comparable CPU solutions. However, this increase can be difficult to achieve, and doing so often requires a fundamental rethink. This is especially problematic in scientific computing, where experts do not want to learn yet another architecture. In this paper we develop a method for automatically parallelising recursive functions of the sort found in scientific papers. Using a static analysis of the function dependencies we identify sets - partitions - of independent elements, which we use to synthesise an efficient GPU implementation using polyhedral code generation techniques. We then augment our language with DSL extensions to support a wider variety of applications, and demonstrate the effectiveness of this with three case studies, showing significant performance improvement over equivalent CPU methods, and similar efficiency to hand-tuned GPU implementations.

关键词： language Performance gpu scientific applications program synthesis dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Compiling a high-level language for GPUs: Via language support for architectures and compilers

Compiling a high-level language for GPUs: Via language suppo...

引用

33rd acm sigplan conference on programming language design and implementation, PLDI'12

作者： Dubach, Christophe Cheng, Perry Rabbah, Rodric Bacon, David F. Fink, Stephen J. University of Edinburgh United Kingdom IBM Research United States

ISBN: (纸本)9781450312059

languages such as OpenCL and CUDA offer a standard interface for general-purpose programming of GPUs. However, with these languages, programmers must explicitly manage numerous lowlevel details involving communication and synchronization. This burden makes programming GPUs difficult and error-prone, rendering these powerful devices inaccessible to most programmers. We desire a higher-level programming model that makes GPUs more accessible while also effectively exploiting their computational power. This paper presents features of Lime, a new Javacompatible language targeting heterogeneous systems, that allow an optimizing compiler to generate high quality GPU code. The key insight is that the language type system enforces isolation and immutability invariants that allow the compiler to optimize for a GPU without heroic compiler analysis. Our compiler attains GPU speedups between 75% and 140% of the performance of native OpenCL code. Copyright © 2012 acm.

关键词： Lime

来源：评论

学校读者我要写书评

暂无评论

Deterministic Parallelism via Liquid Effects 12

Deterministic Parallelism via Liquid Effects

引用

33rd acm sigplan conference on programming language design and implementation

作者： Kawaguchi, Ming Rondon, Patrick Bakst, Alexander Jhala, Ranjit Univ Calif San Diego San Diego CA 92103 USA

ISBN: (纸本)9781450312059

Shared memory multithreading is a popular approach to parallel programming, but also fiendishly hard to get right. We present Liquid Effects, a type-and-effect system based on refinement types which allows for fine-grained, low-level, shared memory multithreading while statically guaranteeing that a program is deterministic. Liquid Effects records the effect of an expression as a formula in first-order logic, making our type-and-effect system highly expressive. Further, effects like Read and Write are recorded in Liquid Effects as ordinary uninterpreted predicates, leaving the effect system open to extension by the user. By building our system as an extension to an existing dependent refinement type system, our system gains precise value- and branch-sensitive reasoning about effects. Finally, our system exploits the Liquid Types refinement type inference technique to automatically infer refinement types and effects. We have implemented our type-and-effect checking techniques in CSOLVE, a refinement type inference system for C programs. We demonstrate how CSOLVE uses Liquid Effects to prove the determinism of a variety of benchmarks.

关键词： languages Reliability Verification Liquid Types Type Inference Dependent Types C Safe Parallel programming Determinism

来源：评论

学校读者我要写书评

暂无评论

design and implementation of Sparse Global Analyses for C-like languages 12

Design and Implementation of Sparse Global Analyses for C-li...

引用

33rd acm sigplan conference on programming language design and implementation

作者： Oh, Hakjoo Heo, Kihong Lee, Wonchan Lee, Woosuk Yi, Kwangkeun Seoul Natl Univ Seoul 151 South Korea

ISBN: (纸本)9781450312059

In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques on top of the abstract interpretation framework to support relational as well as non-relational semantics properties for C-like languages. We first use the abstract interpretation framework to have a global static analyzer whose scalability is unattended. Upon this underlying sound static analyzer, we add our generalized sparse analysis techniques to improve its scalability while preserving the precision of the underlying analysis. Our framework determines what to prove to guarantee that the resulting sparse version should preserve the precision of the underlying analyzer. We formally present our framework;we present that existing sparse analyses are all restricted instances of our framework;we show more semantically elaborate design examples of sparse non-relational and relational static analyses;we present their implementation results that scale to analyze up to one million lines of C programs. We also show a set of implementation techniques that turn out to be critical to economically support the sparse analysis process.

关键词： Static analysis abstract interpretation sparse analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共7页 << < 1 2 3 4 5 6 7 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：