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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

120 篇 会议
62 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

120 篇 工学
- 100 篇 计算机科学与技术...
- 71 篇 软件工程
- 17 篇 信息与通信工程
- 13 篇 控制科学与工程
- 8 篇 土木工程
- 7 篇 电气工程
- 7 篇 建筑学
- 5 篇 电子科学与技术（可...
- 5 篇 生物工程
- 4 篇 机械工程
- 4 篇 材料科学与工程（可...
- 4 篇 船舶与海洋工程
- 4 篇 安全科学与工程
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 农业工程
- 2 篇 网络空间安全
51 篇 理学
- 30 篇 数学
- 9 篇 系统科学
- 7 篇 生物学
- 6 篇 化学
- 5 篇 物理学
- 4 篇 海洋科学
- 4 篇 统计学（可授理学、...
19 篇 管理学
- 11 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 3 篇 工商管理
3 篇 教育学
- 3 篇 教育学
3 篇 农学
3 篇 医学
- 3 篇 基础医学(可授医学...
- 3 篇 临床医学
1 篇 经济学
1 篇 法学
1 篇 军事学

主题

15 篇 computer science
10 篇 laboratories
9 篇 programming prof...
7 篇 application soft...
6 篇 programming envi...
5 篇 software enginee...
5 篇 educational inst...
5 篇 visualization
5 篇 hardware
4 篇 compilers
4 篇 education
4 篇 logic programmin...
4 篇 computer languag...
4 篇 computational mo...
4 篇 security
4 篇 artificial intel...
4 篇 equations
4 篇 functional progr...
3 篇 runtime
3 篇 libraries

机构

7 篇 functional progr...
4 篇 visualization an...
3 篇 german research ...
3 篇 laboratory for a...
3 篇 programming envi...
3 篇 department of in...
3 篇 programming lang...
3 篇 institute for so...
3 篇 programming tech...
3 篇 department of co...
2 篇 programming envi...
2 篇 programming mode...
2 篇 laboratory of au...
2 篇 department of co...
2 篇 languages and pr...
2 篇 computer and pro...
2 篇 laboratory for a...
2 篇 laboratory on sp...
2 篇 dep. of computin...
2 篇 parallel program...

作者

9 篇 fritzson peter
4 篇 choe km
4 篇 nilsson henrik
4 篇 wolf felix
3 篇 de meuter wolfga...
3 篇 dedecker jessie
3 篇 peter fritzson
3 篇 pontelli enrico
3 篇 c.d. hundhausen
3 篇 qin xiaolin
3 篇 mostinckx stijn
3 篇 yong feng
3 篇 gupta gopal
3 篇 d'hondt theo
3 篇 felix wolf
3 篇 alvarez-picallo ...
3 篇 zanasi fabio
3 篇 sprunger david
3 篇 薛京灵
2 篇 mertin gunda

语言

182 篇 英文
1 篇 其他

检索条件"机构=Computer and Programming Laboratory"

共 183 条记录，以下是51-60 订阅

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

详细简洁

排序：

The weakest failure detectors to solve certain fundamental problems in distributed computing 04

The weakest failure detectors to solve certain fundamental p...

引用

Proceedings of the 23rd Annual ACM Symposium on Principles of Distributed Computing

作者： Delporte-Gallet, Carole Hadzilacos, Vassos Fauconnier, Hugues Kouznetsov, Petr Guerraoui, Rachid Toueg, Sam LIAFA Université Paris 7 France Department of Computer Science University of Toronto Canada Distributed Programming Laboratory EPFL Switzerland

ISBN: (纸本)9781581138023

We determine the weakest failure detectors to solve several fundamental problems in distributed message-passing systems, for all environments - i.e., regardless of the number and timing of crashes. The problems that we consider are: implementing an atomic register, solving consensus, solving quittable consensus (a variant of consensus in which processes have the option to decide 'quit' if a failure occurs), and solving non-blocking atomic commit.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs 2nd

引用

2nd International Workshop on Practical Aspects of Declarative Languages, PADL 2000

作者： Gupta, Gopal Akhter, Shameem F. Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las CrucesNM United States

ISBN: (纸本)3540669922

We introduce a generalization of the spreadsheet paradigm, called Knowledgesheet, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them;our Knowledgesheet interface instead allows finite domain constraints to be attached to individual cells that are then solved to obtain a solution. This extension provides an easy-to-use interface for solving a large class of constraint satisfaction problems|those whose specification and solution conforms to a 2-dimensional structure, e.g., scheduling problems, timetabling problems, etc. A prototype for the Knowledgesheet has been developed and applied to solve many different types of problems. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Spreadsheets

来源：评论

学校读者我要写书评

暂无评论

Semantic file systems 91

Semantic file systems

引用

13th ACM Symposium on Operating Systems Principles, SOSP 1991

作者： Gifford, David K. Jouvelot, Pierre Sheldon, Mark A. O'Toole Jr., James W. Programming Systems Research Group MIT Laboratory for Computer Science United States CRI Ecole des Mines de Paris France

ISBN: (纸本)0897914473

A semantic file system is an information storage system that provides flexible associative access to the system's contents by automatically extracting attributes from files with file type specific transducers. Associative access is provided by a conservative extension to existing tree-structured file system protocols, and by protocols that are designed specifically for content based access. Compatiblity with existing file system protocols is provided by introducing the concept of a virtual directory. Virtual directory names are interpreted as queries, and thus provide flexible associative access to files and directories in a manner compatible with existing software. Rapid attribute-based access to file system contents is implemented by automatic extraction and indexing of key properties of file system objects. The automatic indexing of files and directories is called "semantic" because user programmable transducers use information about the semantics of updated file system objects to extract the properties for indexing. Experimental results from a semantic file system implementation support the thesis that semantic file systems present a more effective storage abstraction than do traditional tree structured file systems for information sharing and command level programming. © 1991 ACM.

关键词： Transducers

来源：评论

学校读者我要写书评

暂无评论

Construction and optimization of a parallel engine for answer set programming

引用

3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001

作者： Pontelli, Enrico El-Khatib, Omar Laboratory for Logic DBs and Advanced Programming Department of Computer Science New Mexico State University United States

ISBN: (纸本)9783540417682

In this paper we study the use of parallelism to speed up execution of Answer Set Programs (ASP). ASP is an emerging programming paradigm which combines features from constraint programming, logic programming, and non-monotonic reasoning, and has found relevant applications in areas such as planning and intelligent agents. We propose different methodologies to parallelize execution of ASP programs, and we describe a prototype which exploits one form of parallelism. © Springer-Verlag Berlin Heidelberg 2001

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

An edge-region cooperative multi-agent approach for buildings extraction

An edge-region cooperative multi-agent approach for building...

引用

2012 2nd International Conference on Digital Information and Communication Technology and it's Applications, DICTAP 2012

作者： Sellaouti, Aymen Sghaier, Moslem Ouled Hamouda, Atef Laboratory of Computing in Programming Algorithmic and Heuristic Faculty of Sciences of Tunis Campus Universities Tunisia Tunisia Image Sciences Computer Sciences and Remote Sensing Laboratory University of Strasbourg France

ISBN: (纸本)9781467307338

This paper presents a new approach for automatic building detection in very high resolution satellite images. The proposed method is a cooperative multi-agent approach between both an edge and region approach. In the pretreatment step, a supervisor agent finds a building's corner using Harris detector. Starting from these points, a cooperation process is used to extract buildings. Experiments are done on images of Strasbourg city taken by Quickbird. © 2012 IEEE.

关键词： Buildings

来源：评论

学校读者我要写书评

暂无评论

Automatic task based analysis and parallelization in the context of equation based languages 14

Automatic task based analysis and parallelization in the con...

引用

6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2014

作者： Gebremedhin, Mahder Fritzson, Peter PELAB-Programming Environments Laboratory Dept. of Computer and Information Science Linköping University LinköpingSE-581 83 Sweden

ISBN: (纸本)9781450332477

This paper presents an automatic parallelization approach for handling complex task systems with heavy dependencies, including methods of analyzing dependencies, representing them in a convenient way, and processing the resulting task graph representation. We present a library-based task system representation, clustering, profiling, and scheduling approach to simplify the otherwise tedious process of parallelizing complex task systems. We have implemented a flexible and robust task system handling library to manipulate and parallelize these complex task systems on shared memory multi-core and multi-processor systems. The implementation has been developed as part of the OpenModelica simulation environment. We demonstrate methods of extracting and utilizing parallelism in the context of mathematical modeling languages. Copyright is held by the owner/author(s).

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Strict bidirectional type checking

Strict bidirectional type checking

引用

TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

作者： Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States

ISBN: (纸本)1581139993

Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are almost never used in practice, since partially annotated forms can be defined which still allow syntax directed type checking. An additional optimization that is used in some proof and type systems is to take advantage of the context of occurrence of terms to further elide type information using bidirectional type checking rules. While this technique is generally effective, we show that there exist bidirectional terms which exhibit asymptotic increases in the size of their type decorations when sequentialized into a named-form calculus (a common first step in compilation). In this paper, we introduce a refinement of the bidirectional type system based on strict logic which allows additional type decorations to be eliminated, and show that it is well-behaved under sequentialization. Copyright 2005 ACM.

关键词： Information theory

来源：评论

学校读者我要写书评

暂无评论

The design of an asynchronous web-based project review system to support studio-based learning in computing education

The design of an asynchronous web-based project review syste...

引用

2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008

作者： Agrawal, Anukrati Hundhausen, Christopher D. Visualization and End User Programming Laboratory School of Electrical Engineering and Computer Science Washington State University Pullman WA 99164-2752 United States

ISBN: (纸本)9781424425280

Learning computer science is no longer simply a matter of learning computer programming. Indeed, modern day computing jobs demand design, communication and collaborative skills as well. In order to address this need and make computing education more engaging, motivating, and communityoriented, we have been exploring a "studio based" approach in which students (a) construct computational solutions to problems that have many possible solution strategies, and then (b) present their solutions to their peers and instructors for feedback and discussion. In the fall of 2007, we implemented this approach in a pre-CS1course by requiring students to present their solutions to five course programming projects in face-toface review sessions. Interview and observational data collected in this course pointed out several practical and logistical problems surrounding the face-to-face review sessions that diminished their educational effectiveness. To address these problems, we describe the preliminary design of a novel asynchronous webbased project review system to support and augment face-to-face studio-based review sessions. © 2008 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Functorial String Diagrams for Reverse-Mode Automatic Differentiation 31

Functorial String Diagrams for Reverse-Mode Automatic Differ...

引用

31st EACSL Annual Conference on computer Science Logic, CSL 2023

作者： Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre Cambridge United Kingdom Department of Computer Science University of Birmingham United Kingdom Department of Computer Science University College London United Kingdom

ISBN: (纸本)9783959772648

We formulate a reverse-mode automatic differentiation (RAD) algorithm for (applied) simply typed lambda calculus in the style of Pearlmutter and Siskind [27], using the graphical formalism of string diagrams. Thanks to string diagram rewriting, we are able to formally prove for the first time the soundness of such an algorithm. Our approach requires developing a calculus of string diagrams with hierarchical features in the spirit of functorial boxes, in order to model closed monoidal (and cartesian closed) structure. To give an efficient yet principled implementation of the RAD algorithm, we use foliations of our hierarchical string diagrams. © Mario Alvarez-Picallo, Dan Ghica, David Sprunger, and Fabio Zanasi.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

A lambda term representation inspired by linear ordered logic 6

A lambda term representation inspired by linear ordered logi...

引用

6th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2011

作者： Abel, Andreas Kraus, Nicolai Institut Fur Informatik Theoretical Computer Science Ludwig-Maximilians-Universität München Germany Functional Programming Laboratory School of Computer Science University of Nottingham Nottingham United Kingdom

We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional information where to cut the variable context into function and argument part. This way, complete information about free variable occurrence is available at each subterm without requiring a traversal, and environments can be kept exact such that they only assign values to variables that actually occur in the associated term. Our approach avoids space leaks in interpreters that build function closures. In this article, we prove correctness of the new representation and present an experimental evaluation of its performance in a proof checker for the Edinburgh Logical Framework. © Andreas Abel and Nicolai Kraus This work is licensed under the Creative Commons Attribution License.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：