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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

168 篇 会议
14 册 图书
10 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

120 篇 工学
- 103 篇 计算机科学与技术...
- 90 篇 软件工程
- 8 篇 电气工程
- 7 篇 信息与通信工程
- 3 篇 冶金工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 控制科学与工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 交通运输工程
- 1 篇 矿业工程
- 1 篇 生物工程
18 篇 理学
- 16 篇 数学
- 2 篇 物理学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
18 篇 管理学
- 10 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 2 篇 工商管理
1 篇 教育学
- 1 篇 教育学

主题

15 篇 programming
13 篇 software enginee...
13 篇 computer languag...
11 篇 languages
10 篇 query languages
10 篇 computer program...
9 篇 database languag...
9 篇 programming tech...
8 篇 computer science
8 篇 logic programmin...
8 篇 programming lang...
7 篇 programming prof...
7 篇 application soft...
7 篇 mathematical log...
7 篇 databases
7 篇 artificial intel...
6 篇 object oriented ...
6 篇 concurrent compu...
6 篇 xml
6 篇 parallel program...

机构

4 篇 univ edinburgh e...
2 篇 transnct univ li...
2 篇 univ colorado bo...
2 篇 transnat univ li...
2 篇 hasselt univ has...
2 篇 univ oslo oslo
2 篇 ibm corp tj wats...
2 篇 univ mons b-7000...
2 篇 tu dortmund univ...
2 篇 univ koblenz lan...
2 篇 university of ok...
1 篇 computing depart...
1 篇 department of co...
1 篇 polytech inst po...
1 篇 univ oslo dept i...
1 篇 poznan univ life...
1 篇 the hong kong an...
1 篇 xerox research c...
1 篇 riken aics wako ...
1 篇 school of comput...

作者

4 篇 steffen bernhard
3 篇 van den bussche ...
2 篇 peshansky igor
2 篇 procter adam
2 篇 gelade wouter
2 篇 krumrey marco
2 篇 page rex
2 篇 horváth zoltán
2 篇 allwein gerard
2 篇 zsók viktória
2 篇 smyth steven
2 篇 bosselmann steve
2 篇 neven frank
2 篇 becchi michela
2 篇 harrison william...
2 篇 anon
2 篇 graves ian
2 篇 laemmel ralf
2 篇 wijsen jef
2 篇 reichenbach chri...

语言

188 篇 英文
4 篇 其他

检索条件"任意字段=11th International Symposium on Database Programming Languages"

共 192 条记录，以下是121-130 订阅

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

详细简洁

排序：

Optimization schemas for parallel implementation of nondeterministic languages and systems

Optimization schemas for parallel implementation of nondeter...

引用

international symposium on Parallel Processing

作者： G. Gupta E. Pontelli Laboratory for Logic Databases and Advanced Programming New Mexico State University Las Cruces NM USA

Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language) can result in poor performance. We present three optimization schemas based on flattening of the computation tree, procrastination of overheads, and sequentialization of computations that can be systematically applied to parallel implementations of nondeterministic systems/languages to reduce the parallel overhead and to obtain improved efficiency of parallel execution. the effectiveness of these schemas is illustrated by applying them to the ACE parallel logic programming system. Performance data presented shows that considerable improvement in performance can result.

关键词： Logic programming Constraint theory Concurrent computing Artificial intelligence Constraint optimization Computer languages Parallel processing Laboratories databases Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Query-Directed Adaptive Heap Cloning for Optimizing Compilers

Query-Directed Adaptive Heap Cloning for Optimizing Compiler...

引用

11th IEEE/ACM international symposium on Code Generation and Optimization (CGO)

作者： Sui, Yulei Li, Yue Xue, Jingling Univ New S Wales Sch Comp Sci & Engn Programming Languages & Compilers Grp Sydney NSW 2052 Australia

ISBN: (纸本)9781467355254;9781467355247

Andersen's pointer analysis becomes more precise when applied with full heap cloning but unscalable for large, heap-intensive programs. In contrast, k-callsite-sensitive heap cloning can be faster but less precise for some programs. In this paper, we make one step forward by enhancing Andersen's analysis with QUery-Directed Adaptive (QUDA) heap cloning for optimizing compilers. the novelty of our analysis, called QUDA, lies in performing k-callsite-sensitive heap cloning iteratively, starting with k = 0 (without heap cloning), so that an abstract heap object is cloned at iteration k = i + 1 only if some may-alias queries that are not answered positively at iteration k = i may now be answered more precisely. QUDA, which is implemented in Open64, has the same precision as the state-of-the-art, FULCRA, a version of QUDA with exhaustive heap cloning, but is significantly more scalable. For 10 SPEC2000 C benchmarks and 5 C applications (totalling 840 KLOC) evaluated, QUDA takes only 4+ minutes but exhaustive heap cloning takes 42+ minutes to complete. QUDA takes only 75.1% of the time that Open64 takes on average to compile these 15 programs under "-O2".

关键词： Pointer analysis heap cloning

来源：评论

学校读者我要写书评

暂无评论

Automated Methods for Proving Program Termination and Liveness

Automated Methods for Proving Program Termination and Livene...

引用

international symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

作者： Andrey Rybalchenko MPI-SWS Germany

Proving program termination is an important step towards ensuring software reliability. the programmers expect that the majority of code fragments, including procedures, event handles, or other program components, always terminates. Unfortunately, until recently there were no viable approaches for automatically proving termination of programs written in imperative programming languages.

关键词： Computational modeling Software algorithms Scientific computing Software reliability programming profession Computer languages Safety Machinery Synthetic aperture sonar

来源：评论

学校读者我要写书评

暂无评论

Automated Technology for Verification and Analysis 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Dang Hung Mizuhito Ogawa

ISBN: (数字)9783319024448

ISBN: (纸本)9783319024431

this book constitutes the refereed proceedings of the 11th international symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. the 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. the papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

关键词： Software Engineering programming Techniques Computer Communication Networks Logics and Meanings of Programs programming languages, Compilers, Interpreters Software Engineering/programming and Operating Systems

来源：评论

学校读者我要写书评

暂无评论

Towards Continuous Quality Control in the Context of Language-Driven Engineering 11th

Towards Continuous Quality Control in the Context of Languag...

引用

11th international symposium on Leveraging Applications of Formal Methods, Verification and Validation

作者： Bainczyk, Alexander Bosselmann, Steve Krause, Marvin Krumrey, Marco Wirkner, Dominic Steffen, Bernhard TU Dortmund Univ Dept Comp Sci Chair Programming Syst D-44227 Dortmund Germany

ISBN: (纸本)9783031197550;9783031197567

In this paper, we illustrate the role of quality assurance in Language-Driven Engineering (LDE) which exploits the observation that the more specific a programming/modeling language is, the better it can be controlled. In fact, well-tailored domain-specific languages (DSLs) allow one to (1) syntactically express a number of semantic properties with the effect that they can be verified during syntax analysis or using more involved static verification techniques like model checking, and (2), combined with a concept of design for testability, to automatically validate run-time properties using, in our case, learning-based testing technology. To ensure practicality and scalability, the LDE approach must be supported by language definition technology, powerful enough to ensure that corresponding Integrated Modeling Environments (IMEs) can be generated on demand. Our LDE ecosystem provides such means in a fashion where the dependencies between the various modeling environments and their corresponding meta-modeling environments are systematically addressed in a path-up/tree-down fashion: application-level requests are stepwise moved up to the meta hierarchy, far enough to fully address the issue at hand. the resulting meta-level changes are then propagated down the meta hierarchy to ensure the adequate migration of all involved IMEs and their corresponding modeled artifacts.

关键词： Continuous quality control Model/learning-based testing Domain-specific languages Language-driven engineering Active automata learning Generation Migration

来源：评论

学校读者我要写书评

暂无评论

Enabling multi-physics coupled simulations within the PGAS programming framework

Enabling multi-physics coupled simulations within the PGAS p...

引用

IEEE/ACM international symposium on Cluster, Cloud and Grid Computing

作者： Zhang, Fan Docan, Ciprian Parashar, Manish Klasky, Scott Center for Autonomic Computing Rutgers University Piscataway NJ United States Oak Ridge National Laboratory P.O. Box 2008 Oak Ridge TN 37831 United States

ISBN: (纸本)9780769543956

Complex coupled multi-physics simulations are playing increasingly important roles in scientific and engineering applications such as fusion plasma and climate modeling. At the same time, extreme scales, high levels of concurrency and the advent of multicore and many core technologies are making the high-end parallel computing systems on which these simulations run, hard to program. While the Partitioned Global Address Space (PGAS) languages is attempting to address the problem, the PGAS model does not easily support the coupling of multiple application codes, which is necessary for the coupled multi-physics simulations. Furthermore, existing frameworks that support coupled simulations have been developed for fragmented programming models such as message passing, and are conceptually mismatched with the shared memory address space abstraction in the PGAS programming model. this paper explores how multi-physics coupled simulations can be supported within the PGAS programming framework. Specifically, in this paper, we present the design and implementation of the XpressSpace programming system, which enables efficient and productive development of coupled simulations across multiple independent PGAS Unified Parallel C (UPC) executables. XpressSpace provides the global-view style programming interface that is consistent with the memory model in UPC, and provides an efficient runtime system that can dynamically capture the data decomposition of global-view arrays and enable fast exchange of parallel data structures between coupled codes. In addition, XpressSpace provides the flexibility to define the coupling process in specification file that is independent of the program source codes. We evaluate the performance and scalability of Xpress Space prototype implementation using different coupling patterns extracted from real world multi-physics simulation scenarios, on the Jaguar Cray XT5 system of Oak Ridge National Laboratory. © 2011 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Formal Foundations of Reuse and Domain Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Stephen H. Edwards Gregory Kulczycki

ISBN: (数字)9783642042119

ISBN: (纸本)9783642042102

ICSR is the premier international conference in the ?eld of software reuse. the main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. the 11th international Conference on Software Reuse (ICSR 2009) was held during September 27–30, 2009 in Falls Church, VA, USA. 2009 was the year that ICSR went back to its roots. the theme was “Formal Foundations of Reuse and Domain Engineering.” We explored the theory and formal foundations that underlie current reuse and domain engineering practice and looked at current advancements to get an idea of where the ?eld of reuse was headed. Manyof the papers in these proceedings directly re?ect that theme. the following workshops were held in conjunction with ICSR 2009: – Second Workshop on Knowledge Reuse (KREUSE 2009) – RESOLVE 2009: Software Veri?cation – the Cornerstone of Reuse – First international Workshop on Software Ecosystems – international Workshop on Software Reuse and Safety (RESAFE 2009) Aside from these workshops and the papers found here, the conference also included ?ve tutorials, eight tool demos, and a doctoral symposium. Links to all of this information and more can be found at the ICSR 11 conference website at ***.

关键词： Software Engineering/programming and Operating Systems theory of Computation programming languages, Compilers, Interpreters Software Engineering programming Techniques Models and Principles

来源：评论

学校读者我要写书评

暂无评论

Search-Based Software Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Shiva Nejati Gregory Gay

ISBN: (数字)9783030274559

ISBN: (纸本)9783030274542

this book constitutes the refereed proceedings of the 11th international symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019. the 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of software engineering problems as search problems, and the subsequent use of complex heuristic techniques to attain optimal solutions to such problems. A wealth of engineering challenges - from test generation, to design refactoring, to process organization - can be solved efficiently through the application of automated optimization techniques. SBSE is a growing field - sitting at the crossroads between AI, machine learning, and software engineering - and SBSE techniques have begun to attain human-competitive results.

关键词： Software Engineering programming languages, Compilers, Interpreters programming Techniques Artificial Intelligence Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Logic Channels: a coordination approach to distributed programming

Logic Channels: a coordination approach to distributed progr...

引用

international symposium on Parallel Processing

作者： M. Diaz B. Rubio J.M. Troya Dpto. Lenguajesy Ciencias de la Computación Universidad de Málaga Malaga Spain

In this paper, we present a new coordination model and a small set of programming notations for distributed programming that can be integrated in very different programming languages (imperative, declarative or object oriented). Used together, they allow the development of distributed programs in a compositional way, by assembling different independent pieces of (possibly preexisting and heterogeneous) code. this approach is in the spirit of many other similar proposals such as Linda, PCN, CC++, etc., but it allows multiparadigm and multilingual integration and provides a powerful set of concurrent programming techniques, inherited from Concurrent Logic languages (CLLs) that can be efficiently implemented in distributed systems. the coordination model is based on Logic Channels; these are an evolution of the concept of shared logic variable used in CLLs that, with the same expressive power, can be more efficiently implemented in distributed systems.

关键词： Logic programming Object oriented modeling Computer languages Personal communication networks Object oriented programming Proposals Power system modeling Concurrent computing Natural languages Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A functional approach to image database generation for CBIR systems

A functional approach to image database generation for CBIR ...

引用

international Conference on CAD Systems in Microelectronics (CADSM)

作者： Ruslan Tushnytskyy Yevheniya Levus Roman Salabay Software Department Lviv Polytechnic National University Lviv Ukraine

In this paper the functional approach to solve image database generation problem for CBIR systems using a F# programming language, asynchronous and parallelism are presented.

关键词： Image databases Computer languages Functional programming Libraries Visualization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：