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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

20 篇 期刊文献
7 册 图书
6 篇 会议
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

22 篇 工学
- 17 篇 计算机科学与技术...
- 9 篇 软件工程
- 2 篇 信息与通信工程
- 2 篇 控制科学与工程
- 1 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 电气工程
- 1 篇 环境科学与工程（可...
3 篇 理学
- 2 篇 数学
- 1 篇 物理学
3 篇 管理学
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 经济学
- 1 篇 应用经济学
1 篇 医学
- 1 篇 临床医学

主题

34 篇 programming syst...
7 篇 programming
5 篇 data
4 篇 program
3 篇 magnetic tape
3 篇 mapreduce
3 篇 systems
3 篇 robot programmin...
3 篇 distributed syst...
3 篇 persistent memor...
3 篇 fortran
2 篇 message passing
2 篇 logic minimizati...
2 篇 memory cell
2 篇 sql-like
2 篇 system
2 篇 workflow
2 篇 ibm
2 篇 manufacturing sy...
2 篇 finite state mac...

机构

1 篇 university of ca...
1 篇 stanford univ. s...
1 篇 brandenburg univ...
1 篇 univ mostaganem ...
1 篇 sri int ctr tech...
1 篇 university of ca...
1 篇 brandenburg tech...
1 篇 univ calabria di...
1 篇 univ adrar fac s...
1 篇 dtok lab arcavac...
1 篇 r logik komplexi...
1 篇 informatics depa...
1 篇 dept. of applied...
1 篇 oak ridge natl l...
1 篇 eth dept comp sc...
1 篇 louisiana state ...
1 篇 komsomolsk-na-am...
1 篇 oak ridge natl l...
1 篇 univ le havre la...
1 篇 univ bombay dept...

作者

2 篇 marozzo fabrizio
2 篇 kim jungwon
2 篇 belcastro loris
2 篇 talia domenico
2 篇 vetter jeffrey s...
2 篇 raffaello leprat...
2 篇 ulrich berger
1 篇 kadi l.
1 篇 victor berdonoso...
1 篇 misback edward
1 篇 miklos erdelyi
1 篇 rosen s
1 篇 hoefler torsten
1 篇 tatlock zachary
1 篇 case john
1 篇 gerstenberger ro...
1 篇 zamani ali reza
1 篇 lucena carlos j.
1 篇 benatiallah a.
1 篇 prasad bsv

语言

32 篇 英文
2 篇 其他

检索条件"主题词=Programming systems"

共 34 条记录，以下是21-30 订阅

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

详细简洁

排序：

Magic Markup: Maintaining Document-External Markup with an LLM 8

Magic Markup: Maintaining Document-External Markup with an L...

引用

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

作者： Misback, Edward Tatlock, Zachary Tanimoto, Steven L. Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9798400706349

Text documents, including programs, typically have human-readable semantic structure. Historically, programmatic access to these semantics has required explicit in-document tagging. Especially in systems where the text has an execution semantics, this means it is an opt-in feature that is hard to support properly. Today, language models offer a new method: metadata can be bound to entities in changing text using a model's human-like understanding of semantics, with no requirements on the document structure. This method expands the applications of document annotation, a fundamental operation in program writing, debugging, maintenance, and presentation. We contribute a system that employs an intelligent agent to re-tag modified programs, enabling rich annotations to automatically follow code as it evolves. We also contribute a formal problem definition, an empirical synthetic benchmark suite, and our benchmark generator. Our system achieves an accuracy of 90% on our benchmarks and can replace a document's tags in parallel at a rate of 5 seconds per tag. While there remains significant room for improvement, we find performance reliable enough to justify further exploration of applications.

关键词： Document Annotation Document Representation Markup programming systems Language Models Code Generation

来源：评论

学校读者我要写书评

暂无评论

How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard

How Are Programs Found? Speculating about Language Ergonomic...

引用

ACM International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward)

作者： Emerich, Johannes

ISBN: (纸本)9781450340762

Functional languages with strong static type systems have beneficial properties to help ensure program correctness and reliability. Surprisingly, their practical significance in applications is low relative to other languages lacking in those dimensions. In this paper, the programs-as-proofs analogy is taken seriously to gain speculative insights by analysis of creation habits in the proof-centric discipline of mathematics. Viewed in light of this analogy, a sampling of mathematicians' attitudes towards formal proof suggests that the crucial role of intuition and experimentation in programming tasks may be under appreciated, hinting at a possible explanation of the challenges rigorously disciplined languages face in practical applications.

关键词： language ergonomics type systems programming systems programs as proofs propositions as types

来源：评论

学校读者我要写书评

暂无评论

Multi-Level Methodology for PMEM Data Consistency

Multi-Level Methodology for PMEM Data Consistency

引用

作者： Xu, Yi University of California San Diego

学位级别：Ph.D., Doctor of Philosophy

Persistent memory (PMEM) allows direct access to persistent storage via a load/store interface. It promises to realize a vision of high performance, data persistence, a simple programming interface, low cost with minimal storage overhead. Previously, processor caches backed by PMEM were volatile, complicating the design of persistent applications and reducing their performance. The new generation of systems with flush-on-fail semantics provides persistent caches, offering the potential for much simpler, faster PMEM programming and execution models. PMEM programming systems provide the means to apply sets of writes to persistent states atomically. Unfortunately, most of these systems impose significant overhead and are not easy to use. Moreover, most existing approaches to incorporating PMEM realize only a subset of the benefits of PMEM. This dissertation first presents Clobber-NVM, a failure-atomicity library that ensures data consistency by reexecution. Clobber-NVM’s novel logging strategy, clobber logging, records only those transaction inputs that are overwritten during transaction execution. Then, after a failure, it recovers to a consistent state by restoring overwritten inputs and reexecuting any interrupted transactions. Clobber-NVM utilizes a clobber logging compiler pass for identifying the minimal set of writes that need to be logged. Based on our experiments, Clobber-NVM provides up to 2.5× performance improvement over existing solutions. Second, it introduces Whole Process Persistence (WPP), a new programming model for systems with persistent caches. In the WPP model, all process state is made persistent. On restart after a power failure, this state is reloaded and execution resumes in an application-defined interrupt handler. We describe the Zhuque runtime, which transparently provides WPP by interposing on the C bindings for system calls in userspace. It requires little or no programmer effort to run applications on Zhuque. Our measurements show that Z

关键词： Data consistency Persistent memory programming systems Storage system Clobber logging

来源：评论

学校读者我要写书评

暂无评论

High Performance is All about Minimizing Data Movement 20

High Performance is All about Minimizing Data Movement

引用

29th International Conference on High-Performance Parallel and Distributed Computing (HPDC)

作者： Hall, Mary Univ Utah Salt Lake City UT 84112 USA

ISBN: (纸本)9781450370523

High-performance applications running on current and future architectures are mostly performance-limited by the cost of data movement, vertically through the memory hierarchy of a node or between CPU host and accelerator, and horizontally across nodes. In this talk, we discuss the role of packed data layout in optimizing data movement across a variety of different architectures (CPU and GPU) and memory systems. Conceptually, a high performance application is defined as operations on a unit of data and parallelism that is designed for efficient vertical and horizontal data movement, and can be tailored to match the requirements of an application and target architecture. Integrating data layout abstractions and optimizations into programming systems provides critical technology for achieving performance portability across the diversity of high-performance architectures arising in the exascale era.

关键词： Data Movement Performance Portability programming systems

来源：评论

学校读者我要写书评

暂无评论

Mit :: Ai :: Aim :: Aim-698