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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是61-70 订阅

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

详细简洁

排序：

Relational completeness of query languages for annotated databases

引用

11th international symposium on database programming languages

作者： Geerts, Floris Van den Bussche, Jan Univ Edinburgh Edinburgh EH8 9YL Midlothian Scotland Transnct Univ Limburg Hasselt Univ Hasselt Belgium

ISBN: (纸本)9783540759867

Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so that they have an implicit effect also on the annotations. We compare the expressive power of these two approaches. As a formal model for the implicit approach we propose the color algebra, an adaptation of the relational algebra to deal with the annotations. We show that the color algebra is relationally complete: it is equivalent to the relational algebra on the explicit annotations. Our result extends a similar completeness result established for the query algebra of the MONDRIAN annotation system, from unions of conjunctive queries to the full relational algebra. We also show that the color algebra is nonredundant: no operator can be expressed in terms of the other operators. We also present a generalization of the color algebra that is relationally complete in the presence of built-in predicates on the annotations. (C) 2010 Elsevier Inc. All rights reserved.

关键词： Annotated relational databases Expressive power Query languages

来源：评论

学校读者我要写书评

暂无评论

Semantics and implementation of a generalized forall statement for parallel languages

Semantics and implementation of a generalized forall stateme...

引用

Proceedings of the 1997 11th international Parallel Processing symposium, IPPS 97

作者： Dechering, Paul Breebaart, Leo Kuijlman, Frits van Reeuwijk, Kees Sips, Henk Delft Univ of Technology Delft Netherlands

In this paper we present a generalized forall statement for parallel languages. the forall statement occurs in many (data) parallel languages and specifies which computations can be performed independently. Many different definitions of such a construct can be found in literature, with different conditions and execution models. We will show how forall constructs of a wide class of parallel languages can be mapped to this generalized forall statement. In addition, the forall statement we propose has the ability to spawn more complex independent activities than can be found in these languages. Denotational semantics are used to define the meaning of the forall and define only one possible program state change. It is shown that it is easy to use and that it is feasible to implement this forall efficiently.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

international symposium ON OPTIMUM STRUCTURAL DESIGN, ONR NAVAL STRUCTURAL MECHANICS symposium (US OFFICE OF NAVAL RESEARCH), 11th, 1981.

INTERNATIONAL SYMPOSIUM ON OPTIMUM STRUCTURAL DESIGN, ONR NA...

引用

Int Symp on Optimum Struct Des, ONR Nav Struct Mech Symp (US Off of Nav Res), 11th

作者： Anon

this conference proceedings contain 80 papers two of which are in abstract form only. the topics covered include: structural optimization;optimality criteria methods and fully stressed design;dynamics and reliability based design;optimal control methods;shape optimization;local and global optima;linearization and condensation methods;mathematical programming;steel and concrete design;optimization software;new methods and special applications. Technical and professional papers from this conference are indexed with the conference code no. 00499 in the Ei Engineering Meetings (TM) database produced by Engineering Information, Inc.

关键词： Structural design

来源：评论

学校读者我要写书评

暂无评论

SCL-Chan: An asynchronous data-parallel language for irregular algorithms

SCL-Chan: An asynchronous data-parallel language for irregul...

引用

2nd international Workshop on High-Level Parallel programming Models and Supportive Environments / 11th international Parallel Processing symposium

作者： Melin, E Raffin, B Rebeuf, X Virot, B LIFO - IIIA Universite d'Orleans Orleans France

ISBN: (纸本)0818678836

Parallelism suffers from a lack of programming languages both simple to handle and able to take advantage of the power of present parallel computers. If parallelism expression is too high level, compilers have to perform complex optimizations leading often to poor performances. One the other hand, too low level parallelism transfers difficulties reward the programmer. In this paper, we propose a new programming language that integrates both a synchronous data-parallel progamming model and an asynchronous execution model. the synchronous data-parallel programming model allows a safe program designing. the asynchronous execution model yields an efficient execution on present MIMD architectures without any program transformation. Our language relies on a logical instruction ordering exploited by specific send/receive communications. It allows to express only the effective data dependences between processors. this ability is enforced by a possible send/receive unmatching useful for irregular algorithms. A sparse vector computation exemplifies our language potentialities.

关键词： design of parallel programming languages synchronous and data-parallel programming model asynchronous execution model structural clock irregular algorithm

来源：评论

学校读者我要写书评

暂无评论

Trends in Functional programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rex Page Zoltán Horváth Viktória Zsók

ISBN: (数字)9783642229411

ISBN: (纸本)9783642229404

this book constitutes the thoroughly refereed post-conference proceedings of the 11th international symposium on Trends in Functional programming, TFP 2010, held in Norman, OK, USA, in May 2010. the 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. the papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.

关键词： programming languages, Compilers, Interpreters programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal languages

来源：评论

学校读者我要写书评

暂无评论

Interoperating Logic Engines

引用

11th international symposium on Practical Aspects of Declarative languages

作者： Tarau, Paul Majumdar, Arun Univ North Texas Dept Comp Sci & Engn Denton TX 76203 USA Vivomind Intelligence Inc Rockville MD 22312 USA

ISBN: (纸本)9783540929949

We introduce a new programming language construct, Interactors, supporting the agent-oriented view that programming is a dialog between simple, self-contained, autonomous building blocks. We define Interactors as an abstraction of answer generation and refinement in Logic Engines resulting in expressive language extension and metaprogramming patterns. As a first step toward a declarative semantics, we sketch a pure Prolog specification showing that Interactors can be expressed at source level, in a relatively simple and natural way. Interactors extend language constructs like Ruby, Python and C#'s multiple coroutining block returns through yield statements and they can emulate the action of fold operations and monadic constructs in functional languages. Using the Interactor API, we describe at source level, language extensions like dynamic databases and algorithms involving generation of infinite answer streams.

关键词： Prolog language extensions logic engines semantics of metaprogramming constructs generalized iterators agent oriented programming language constructs

来源：评论

学校读者我要写书评

暂无评论

Haskell 2018 - Proceedings of the 11th ACM SIGPLAN international symposium on Haskell, co-located with ICFP 2018

Haskell 2018 - Proceedings of the 11th ACM SIGPLAN Internati...

引用

11th ACM SIGPLAN international symposium on Haskell, Haskell 2018, co-located with ICFP 2018

ISBN: (纸本)9781450358354

_oab the proceedings contain 16 papers. the topics discussed include: branching processes for QuickCheck generators;a promise checked is a promise kept: inspection testing;AutoBench: comparing the time performance of Haskell programs;Autobahn 2.0: minimizing bangs while maintaining performance;generic programming of all kinds;deriving via: or, how to turn hand-written instances into an anti-pattern;improving typeclass relations by being open;coherent explicit dictionary application for Haskell;type variables in Patterns;the thoralf Plugin: for your fancy type needs;ghosts of departed proofs;theorem proving for all: equational reasoning in liquid Haskell;Rhine: FRP with type-level clocks;embedding invertible languages with binders: a case of the FliPpr language;a high-performance multicore IO manager based on libuv;and suggesting valid hole fits for typed-holes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

thisJava: An extension of Java with exact types

ThisJava: An extension of Java with exact types

引用

11th Asian symposium on programming languages and Systems, APLAS 2013

作者： Na, Hyunik Ryu, Sukyoung S-Core. Ltd. Korea Republic of Department of Computer Science KAIST Korea Republic of

ISBN: (纸本)9783319035413

We propose thisJava, an extension of Java-like programming languages with exact class types and this types, to support more useful methods with more precise types. To realize the proposed approach, we provide an open-source prototype implementation of the language and show its practicality and backward compatibility. We believe that our system elucidates the long pursuit of an object-oriented language with "this types." © Springer international Publishing 2013.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Functional and Logic programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Tom Schrijvers Peter thiemann

ISBN: (数字)9783642298226

ISBN: (纸本)9783642298219

this book constitutes the refereed proceedings of the 11th international symposium on Functional and Logic programming, FLOPS 2012, held in Kobe, Japan, in May 2012. the 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. they deal with declarative programming, including functional programming and logic programming.

关键词： Software Engineering Logics and Meanings of Programs programming languages, Compilers, Interpreters Mathematical Logic and Formal languages Artificial Intelligence programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Model-driven development of RESTful APIs 11

Model-driven development of RESTful APIs

引用

11th international Conference on Web Information Systems and Technologies, WEBIST 2015

作者： Schreibmann, Vitaliy Braun, Peter Faculty of Computer Science University of Applied Science Würzburg-Schweinfurt Sanderheinrichsleitenweg 20 Würzburg Germany

ISBN: (纸本)9789897581069

We propose a model-driven approach for creating RESTful APIs. Today, REST APIs are developed by using frameworks and libraries that support software developers on the level of the chosen programming language, i.e., a lower level of abstraction. We argue that the development process can benefit from a model-driven approach, where an API is modeled on a higher level of abstraction by using a new formal language that was designed in particular for this application domain. From this model, the source code of the API is generated automatically, along with necessary code on the business logic and database layer. the benefits of this approach include higher productivity, better maintenance, higher quality, and documentation for free.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：