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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

27 篇 会议
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

26 篇 工学
- 19 篇 计算机科学与技术...
- 19 篇 软件工程
- 1 篇 力学（可授工学、理...
- 1 篇 电子科学与技术（可...
- 1 篇 信息与通信工程
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
4 篇 理学
- 3 篇 数学
- 1 篇 物理学
- 1 篇 生物学
1 篇 法学
- 1 篇 社会学

主题

5 篇 parallel program...
2 篇 performance
2 篇 languages
2 篇 gpu programming
2 篇 parallel
2 篇 parallel process...
1 篇 parallel algorit...
1 篇 gpu clusters
1 篇 libraries
1 篇 programming
1 篇 computational fl...
1 篇 task-based paral...
1 篇 high level langu...
1 篇 graphics process...
1 篇 fortran (program...
1 篇 upc
1 篇 batch parallelis...
1 篇 concurrent
1 篇 structures
1 篇 series-parallel ...

机构

1 篇 ist austria klos...
1 篇 universitat poli...
1 篇 georgetown univ ...
1 篇 university of ne...
1 篇 washington unive...
1 篇 technion
1 篇 department of ma...
1 篇 univ of californ...
1 篇 univ minnesota d...
1 篇 portland grp wil...
1 篇 cnr ieiit milan
1 篇 icase ms 132c na...
1 篇 univ a coruna ci...
1 篇 department of co...
1 篇 texas a&m univ p...
1 篇 center for integ...
1 篇 cisco systems
1 篇 prism university...
1 篇 swiss fed inst t...
1 篇 mit csail united...

作者

2 篇 santos eunice
2 篇 culler david
2 篇 von eicken thors...
2 篇 subramonian rame...
2 篇 chatterjee siddh...
2 篇 patterson david
2 篇 karp richard
2 篇 sahay abhijit
1 篇 breveglieri luca
1 篇 grunwald d
1 篇 castro roberto l...
1 篇 mckinley kathryn...
1 篇 borsotti angelo
1 篇 de sandes edans ...
1 篇 hoefler torsten
1 篇 xu helen
1 篇 wheatman brian
1 篇 srinivasan h
1 篇 thomas nathan
1 篇 burns randal

语言

28 篇 英文

检索条件"任意字段=4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 1993"

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

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

详细简洁

排序：

Proceedings of the 4th acm sigplan symposium on principles & practice of parallel programming

Proceedings of the 4th ACM SIGPLAN Symposium on Principles &...

引用

Proceedings of the 4th acm sigplan symposium on principles & practice of parallel programming

the symposium materials contain 26 papers covering the spectrum from models of parallel computing to implementation techniques, and from compilation algorithms to application development tools and case studies, thus s... 详细信息

ISBN: (纸本)0897915895

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

POSTER: Minimizing speculation overhead in a parallel recognizer for regular texts 30

POSTER: Minimizing speculation overhead in a parallel recogn...

引用

30th symposium on principles and practice of parallel programming

作者： Borsotti, Angelo Breveglieri, Luca Morzenti, Angelo Reghizzi, Stefano Crespi Politecn Milan Milan Italy CNR IEIIT Milan Italy

ISBN: (纸本)9798400714436

Speculative data-parallel algorithms for language recognition have been widely experimented for various types of finite-state automata (FA), deterministic (DFA) and nondeterministic (NFA), often derived from regular expressions (RE). Such an algorithm cuts the input string into chunks, independently recognizes each chunk in parallel by means of identical FAs, and at last joins the chunk results and checks the overall consistency. In chunk recognition, it is necessary to speculatively start the FAs in any state, thus causing an overhead that reduces the speedup over a serial algorithm. the existing data-parallel DFA-based recognizers suffer from an excessive number of starting states, and the NFA-based ones suffer from the number of nondeterministic transitions. Our data-parallel algorithm is based on the new FA type called reduced-interface DFA (RI-DFA), which minimizes the speculation overhead without incurring in the penalty of nondeterministic transitions or of impractically enlarged DFA machines. the algorithm is theoretically efficient, because it combines the state-reduction of an NFA with the speed of deterministic transitions, thus improving on both DFA-based and NFA-based existing implementations. the practical applicability of the RI-DFA approach is confirmed by a quantitative comparison of the number of starting states for a large public benchmark of complex FAs. On multi-core computing architectures, the RI-DFA recognizer is considerably faster than the NFA-based one on all benchmarks, while it matches the DFA-based one on some benchmarks and performs much better on some others. the extra time needed to construct RI-DFA vs DFA is moderate and is compatible with a practical use. the full paper with all details is in [4]. © 2025 Copyright held by the owner/author(s).

关键词： regular language recognition data-parallel recognition algorithm minimal speculation speedup onmulti-core architecture multi-entry DFA reduced-interface DFA

来源：评论

学校读者我要写书评

暂无评论

MARLIN: Mixed-Precision Auto-Regressive parallel Inference on Large Language Models 25

MARLIN: Mixed-Precision Auto-Regressive Parallel Inference o...

引用

30th symposium on principles and practice of parallel programming

作者： Frantar, Elias Castro, Roberto L. Chen, Jiale Hoefler, Torsten Alistarh, Dan IST Austria Klosterneuburg Austria Univ A Coruna CITIC La Coruna Spain Swiss Fed Inst Technol Zurich Switzerland Neural Mag Inc Somerville NJ USA

ISBN: (纸本)9798400714436

As inference on Large Language Models (LLMs) emerges as an important workload in machine learning applications, model weight quantization has become a standard technique for efficient GPU deployment. Quantization not only reduces model size, but has also been shown to yield substantial speedups for single-user inference, due to reduced memory movement, with low accuracy impact. Yet, it remains a key open question whether speedups are achievable also in batched settings with multiple parallel clients, which are highly relevant for practical serving. It is unclear whether GPU kernels can be designed to remain practically memory-bound, while supporting the substantially increased compute requirements of batched workloads. In this paper, we resolve this question positively by introducing a new design for Mixed-precision Auto-Regressive LINear kernels, called MARLIN. Concretely, given a model whose weights are compressed via quantization to, e.g., 4 bits per element, MARLIN shows that batchsizes up to 16-32 can be practically supported with close to maximum (4x) quantization speedup, and larger batchsizes up to 64-128 with gradually decreasing, but still significant, acceleration. MARLIN accomplishes this via a combination of techniques, such as asynchronous memory access, complex task scheduling and pipelining, and bespoke quantization support. Our experiments show that MARLIN's near-optimal performance on individual LLM layers across different scenarios can also lead to significant end-to-end LLM inference speedups (of up to 2.8x) when integrated with the popular vLLM opensource serving engine. Finally, we show that MARLIN is extensible to further compression techniques, like NVIDIA 2:4 sparsity, leading to additional speedups.

关键词： Large language model (LLM) inference GPU programming Batch parallelism

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the acm sigplan symposium on principles and practice of parallel programming, ppopp

Proceedings of the ACM SIGPLAN Symposium on Principles and P...

引用

4th acm sigplan symposium on principles and practice of parallel programming, ppopp 1993

ISBN: (纸本)0897915895

the proceedings contain 26 papers. the topics discussed include: LogP: towards a realistic model of parallel computation;exploiting task and data parallelism on a multicomputer;ActorSpace: an open distributed programming paradigm;experiences using the ParaScope editor: an interactive parallel programming tool;perturbation analysis of high level instrumentation for SPMD programs;integrating message-passing and shared-memory: early experience;using scheduler information to achieve optimal barrier synchronization performance;and a concurrent copying garbage collector for languages that distinguish (im)mutable data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Transforming high-level data-parallel programs into vector operations 93

Transforming high-level data-parallel programs into vector o...

引用

4th acm sigplan symposium on principles and practice of parallel programming, ppopp 1993

作者： Prins, Jan F. Palmer, Daniel W. Department of Computer Science University of North Carolina Chapel HillNC27599-3175 United States

ISBN: (纸本)0897915895

Efficient parallel execution of a high-level data-parallel language based on nested sequences, higher order functions and generalized iterators can be realized in the vector model using a suitable representation of nested sequences and a small set of transformational rules to distribute iterators through the constructs of the language. © 1993 acm.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Building parallel programming language constructs in the AbleC extensible C compiler framework A ppopp Tutorial 19

Building parallel programming language constructs in the Abl...

引用

24th acm sigplan symposium on principles and practice of parallel programming (ppopp)

作者： Carlson, Travis Van Wyk, Eric Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA

ISBN: (纸本)9781450362252

In this tutorial participants learn how to build their own parallel programming language features by developing them as language extensions in the ableC [4] extensible C compiler framework. By implementing new parallel programming abstractions as language extensions one can build on an existing host language and thus avoid re-implementing common language features such as the type checking and code generation of arithmetic expressions and control flow statements. Using ableC, one can build expressive language features that fit seamlessly into the C11 host language.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

DATA-FLOW EQUATIONS FOR EXPLICITLY parallel PROGRAMS 93

DATA-FLOW EQUATIONS FOR EXPLICITLY PARALLEL PROGRAMS

引用

4th SYMP ON principles AND practice OF parallel programming ( ppopp )

作者： GRUNWALD, D SRINIVASAN, H UNIV COLORADO DEPT COMP SCIBOULDERCO 80309

ISBN: (纸本)9780897915892

We present a solution to the reaching definitions problem for programs with explicit lexically specified parallel constructs, such as cobegin/coend or parallel-sections, both with and without explicit synchronization operations, such as Post, Wait or Advance. the reaching definitions information for sequential programs is used to solve many standard optimization problems. In parallel programs, this information can also be used to explicitly direct communication and data ownership. Although work has been done on analyzing parallel programs to detect data races, little work has been done on optimizing such programs. We show how the memory consistency model specified by an explicitly parallel programming language can influence the complexity of the reaching definitions problem. By selecting the ''weakest'' memory consistency semantics, we can efficiently solve the reaching definitions problem for correct programs.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

AN EQUATIONAL LANGUAGE FOR DATA-parallelISM 93

AN EQUATIONAL LANGUAGE FOR DATA-PARALLELISM

引用

4th SYMP ON principles AND practice OF parallel programming ( ppopp )

作者： RAO, P WALINSKY, C PORTLAND GRP WILSONVILLEOR 97070 DARTMOUTH COLL HANOVERNH 03755

ISBN: (纸本)9780897915892

Data-parallelism provides a clean conceptual framework for parallel programming. We are developing two programming languages: a high level equational language, called EL*, and a low-level implementation language. Both languages exploit data-parallelism instead of control-parallelism. EL* is a declarative data-parallel language. EL* programs are high-level equational specifications that use extensive pattern-matching and recursion. the language's syntax and semantics are intended to be clear and simple. Recursive forms are restricted to enable translation to efficient data-parallel operations. EL* programs are compiled into FP*, a variant of Backus's FP, where parallel operations are more explicit and low-level. the target language has a rich set of functions for performing communication, and computation. It also has a powerful set of combining forms that generate large highly-parallel functions from smaller program units. Prototype compilers have been implemented for both languages, and they demonstrate good performance. Several linear algebra and non-numeric problems have been programmed with relative ease using EL*. We are currently developing compilation techniques for a wider range of scientific problems that have more complex parallel solutions, and are continuing to expand the language's scope.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

High performance fortran without templates: An alternative model for distribution and alignment 93

High performance fortran without templates: An alternative m...

引用

4th acm sigplan symposium on principles and practice of parallel programming, ppopp 1993

作者： Chapman, Barbara M. Mehrotra, Piyush Zima, Hans P. Department for Software Technology and Parallel Systems University of Vienna Austria ICASE MS 132C NASA Langley Research Center HamptonVA23681 United States

ISBN: (纸本)0897915895

Language extensions of Fortran are being developed which permit the user to map data structures to the individual processors of distributed memory machines. these languages allow a programming style in which global data references are used. Current efforts are fo-cussed on designing a common basis for such languages, the result of which is known as High Performance For-tran (HPF). One of the central debates in the HPF effort revolves around the concept of templates, introduced as an abstract index space to which data could be aligned. In this paper, we present a model for the mapping of data which provides the functionality of High Performance Fortran distributions without the use of templates. © 1993 acm.

关键词： FORTRAN (programming language)

来源：评论

学校读者我要写书评

暂无评论

Computation migration: Enhancing locality for distributed-memory parallel systems 93

Computation migration: Enhancing locality for distributed-me...

引用

4th acm sigplan symposium on principles and practice of parallel programming, ppopp 1993

作者： Hsieh, Wilson C. Wang, Paul Weihl, William E. MIT Laboratory for Computer Science 545 Technology Square CambridgeMA02139 United States

ISBN: (纸本)0897915895

We describe computation migration, a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In contrast with RPC-style access, where the access is performed remotely, and with data migration, where the data is moved so that it is local, computation migration moves part of the current thread to the processor where the data resides. the access is performed at the remote processor, and the migrated thread portion continues to run on that same processor;this makes subsequent accesses in the thread portion local. We describe an implementation of computation migra^ tion that consists of two parts: an implementation that migrates single activation frames, and a high-level language annotation that allows a programmer to express when migration is desired. We performed experiments using two applications;these experiments demonstrate that computation migration is a valuable alternative to RPC and data migration.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：