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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

160 篇 会议
8 册 图书
6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

132 篇 工学
- 125 篇 计算机科学与技术...
- 75 篇 软件工程
- 16 篇 电气工程
- 8 篇 信息与通信工程
- 7 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 3 篇 机械工程
- 2 篇 仪器科学与技术
- 2 篇 安全科学与工程
- 1 篇 动力工程及工程热...
- 1 篇 农业工程
32 篇 理学
- 28 篇 数学
- 5 篇 系统科学
- 2 篇 物理学
- 2 篇 统计学（可授理学、...
11 篇 管理学
- 6 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 临床医学

主题

33 篇 logic programmin...
17 篇 functional progr...
13 篇 semantics
6 篇 computer archite...
5 篇 computer science
5 篇 computer circuit...
5 篇 application soft...
5 篇 software enginee...
5 篇 dynamic programm...
4 篇 programming prof...
4 篇 object oriented ...
4 篇 programming
4 篇 logic gates
4 篇 computer system ...
4 篇 programming lang...
4 篇 logics and meani...
4 篇 logic design
3 篇 software systems
3 篇 libraries
3 篇 formal logic

机构

2 篇 cnrs f-75205 par...
2 篇 gran sasso sci i...
2 篇 no arizona univ ...
2 篇 univ paris dider...
2 篇 univ southampton...
2 篇 max-planck-insti...
2 篇 tohoku univ send...
2 篇 uva subotica ser...
2 篇 cau kiel inst in...
1 篇 xidian univ sch ...
1 篇 univ pisa dipart...
1 篇 institute for vi...
1 篇 univ almeria dep...
1 篇 tu dortmund univ...
1 篇 institut für inf...
1 篇 department of el...
1 篇 informatik ii rw...
1 篇 institute of inf...
1 篇 departamento de ...
1 篇 department of co...

作者

6 篇 hanus michael
3 篇 antoy sergio
3 篇 huch frank
3 篇 brassel bernd
2 篇 dameri enrico
2 篇 kiselyov oleg
2 篇 parlato gennaro
2 篇 habermehl peter
2 篇 simari guillermo...
2 篇 inverso omar
2 篇 eriksson agneta
2 篇 moreno gines
2 篇 tick e
2 篇 fischer sebastia...
2 篇 martelli maurizi...
2 篇 degano pierpaolo
2 篇 johansson anna-l...
2 篇 antoniou grigori...
2 篇 levi giorgio
2 篇 enea constantin

语言

173 篇 英文
1 篇 中文

检索条件"任意字段=5th International Symposium on Functional and Logic Programming"

共 174 条记录，以下是91-100 订阅

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

详细简洁

排序：

5th international symposium on Practical Aspects of Declarative Languages, PADL 2003

引用

5th international symposium on Practical Aspects of Declarative Languages, PADL 2003

ISBN: (纸本)3540003894

the proceedings contain 26 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the role of declarative languages in mining biological databases;light and fast applicative algorithms for computational linguistics;data mining the yeast genome in a lazy functional language;an integrated information system powered by prolog;iterable abstract pattern matching for java;reconstructing the evolutionary history of indo-European languages using answer set programming;logic programs for querying inconsistent databases;a CLP-based tool for computer aided generation and solving of Maths exercises;type-based xml processing in logic programming;garbage collection algorithms for java-based prolog engines;solving combinatorial problems with a constraint functional logic language;logic programs as compact denotations and lambda goes to Hollywood.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Scoped memory 5

Scoped memory

引用

5th IEEE international symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002)

作者： Bollella, G Reinholtz, K Sun Microsyst Inc Labs Palo Alto CA 94303 USA

ISBN: (纸本)0769515584

Scoped memory is perhaps the most novel contribution of the Real-Time Specification for Java (RTSJ) to the Java programming language. In this paper we show that scoped memory can be used to reduce the processor overhead of any possible garbage collection algorithm and to avoid all latency introduced by any garbage collection algorithm. these semantics make it easier to write correct real-time programs.

关键词： Automatic logic units Automatic programming Costs Delay Error correction Java Laboratories Memory management programming profession Safety

来源：评论

学校读者我要写书评

暂无评论

Solving combinatorial problems with a constraint functional logic language

引用

5th international symposium on Practical Aspects of Declarative Languages, PADL 2003

作者： Fernández, Antonio J. Hortalá-González, Teresa Sáenz-Pérez, Fernando Depto. de Lenguajes y Ciencias de la Computación Universidad de Málaga Spain Depto. de Sistemas Informáticos y Programación Universidad Complutense de Madrid Spain

ISBN: (纸本)3540003894

this paper describes a proposal to incorporate finite domain constraints in a functional logic system. the proposal integrates functions, higher-order patterns, partial applications, non-determinism, logical variables, currying, types, lazyness, domain variables, constraints and finite domain propagators. the paper also presents TOY(FD), an extension ofthe functional logic language TOYthat provides FD constraints, and shows, by examples, that TOY(FD) combines the power ofconstrain t logic programming with the higher-order characteristics off unctional logic programming. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

OCL goes real-time 5

OCL goes real-time

引用

5th IEEE international symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002)

作者： Rammig, FJ Univ Gesamthsch Paderborn Heinz Nixdorf Inst D-4790 Paderborn Germany

OCL is becoming an important means to formulate formal specifications in the context of object-oriented software development. the question is whether this approach is appropriate for real-time systems as well. this qu... 详细信息

ISBN: (纸本)0769515584

关键词： Application software Formal specifications Formal verification logic Object oriented modeling programming Proposals Real time systems Software engineering Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming with C# and .NET 5

Aspect-oriented programming with C# and .NET

引用

5th IEEE international symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002)

作者： Schult, W Polze, A Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)0769515584

Almost a year ago, Microsoft has introduced the .NET architecture as a new component-based programming environment, which allows for easy integration of classical distributed programming techniques with Web computing. NET defines a type system and introduces notions such as component, object, and interface, which are building blocks for distributed multi-language component-based applications. As many other component frameworks, NET mainly focuses on functional interfaces of components. Nonfunctional aspects of components, such as resource usage (CPU, memory), timing behavior, fault-tolerance, or security requirements are currently not expressed in NET's component interfaces. Within this paper, we discuss the usage of aspect-oriented programming techniques in context of the NET framework. We focus on the fault-tolerance aspect and discuss the expression of non-functional component properties (aspects) as C# custom attributes. Our approach uses reflection to generate replicated objects based on settings of a special "fault-tolerance" attribute for C# components(perpendicular to). We have implemented an aspect-weaver for integration of aspect-code and component-code, which uses the mechanisms of the language-neutral NET type system. therefore, our approach is not restricted to the C# language but works for an), of the NET programming languages.

关键词： Computer architecture Computer languages Distributed computing Fault tolerance Object oriented modeling programming environments Reflection Security Service oriented architecture Timing

来源：评论

学校读者我要写书评

暂无评论

Structural abstraction and application in logic programming 6th

Structural abstraction and application in logic programming

引用

6th Fuji international symposium on functional and logic programming, FLOPS 2002

作者： Porto, António Departamento de Informática Universidade Nova de Lisboa Portugal

ISBN: (纸本)3540442332

this paper explores a seeminglyv ery simple idea—an operation for extending a term with extra (start or end) arguments to yield a new term. this allows the definition a varietyof structural operators that provide the power of functional composition and higher-order features on top of the non-directional and non-deterministic (relational) behavior of the underlying logic programming setting. Syntax alone is taken to be meaningless, semantics being associated to syntax in context. Multiple semantic views of each term are therefore possible, in different contexts. One such semantic view is structural, wherebya ny term is taken as an implicit abstraction of another term over some of its subterms. the standard operational semantics is extended with a rewrite step prior to each goal invocation, that appeals to a functional rewrite semantics to interpret certain terms as applications of implicit inner structural abstractions to inner arguments. the approach is first described through meta-level functional definitions, and then an implementation is shown through a collection of standard Prolog predicates. the powerful gain in expressiveness is thus achieved without anye xtension of the underlying machinery, much in the spirit of an old claim by D. H. Warren [5]. the scheme was motivated byt he needs of a large real-world application [4] where it is now in use. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A CLP-Based tool for computer aided generation and solving of maths exercises

引用

5th international symposium on Practical Aspects of Declarative Languages, PADL 2003

作者： Tomás, Ana Paula Leal, José Paulo DCC-FC and LIACC Universidade do Porto Portugal

ISBN: (纸本)3540003894

We propose an interesting application of Constraint logic programming to automatic generation and explanation of mathematics exercises. A particular topic in mathematics is considered to investigate and illustrate the advantages of using the CLP paradigm. the goal is to develop software components that make the formulation and explanation of exercises easier. We describe exercises by grammars which enables us to get specialized forms almost for free, by imposing further conditions through constraints. To define the grammars we concentrate on the solving procedures that are taught instead of trying to abstract an exercise template from a sample of similar exercises. Prototype programs indicate that Constraint logic programming frameworks may be adequate to implement such a tool. these languages have the right expressiveness to encode control on the system in an elegant and declarative way. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Enhancing real-time event service for synchronization in object oriented distributed systems 5

Enhancing real-time event service for synchronization in obj...

引用

5th IEEE international symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002)

作者： Singh, G Maddula, B Zeng, Q Kansas State Univ Manhattan KS 66506 USA

ISBN: (纸本)0769515584

Distributed object computing a middleware such as CORBA, RMI, and DCOM have gained wide acceptance and has shielded programmers from many tedious and error-prone aspects of distributed programming. In particular, CORBA Event Service has been used extensively in embedded systems. In this paper, we propose an aspect oriented approach to develop synchronization code for distributed systems that use event service as the underlying communication middleware. Our approach is to factor out synchronization as a separate aspect, synthesize synchronization code and then compose it with the functional code. We use high-level "global invariants" to specify the synchronization policies which are then automatically translated into synchronization code for the underlying event service. To implement synchronization efficiently using, the event service, we propose enhancements to the semantics of the event service. Specifically, we define the notion of condition events and exactly, k semantics. Given these enhancements, we describe a synthesis procedure to translate global invariants into synchronization code based on events. We describe the implementation of the enhancements on the Tao's Real-Time Event Service. We present experimental results to demonstrate that the enhanced event service leads to more efficient implementation of synchronization. We feel that our methodology and the enhanced Real-Time Event Service will lead to more confident use of sophisticated synchronization policies in distributed object oriented systems.

关键词： Distributed computing Embedded software Embedded system Middleware Object oriented programming programming profession Real time systems Unified modeling language Vehicle safety Yarn

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2562卷

作者： Dahl, Veronica Wadler, Philip Simon Fraser University Computer Science Department Logic and Functional Programming Group 8888 University Drive BurnabyBC Canada Avaya Labs 233 Mount Airy Road Basking RidgeNJ United States

来源：评论

学校读者我要写书评

暂无评论

An abstract machine based system for a lazy narrowing calculus 5th

引用

5th international symposium on functional and logic programming

作者： Hortalá-González, T Ullán, E Univ Complutense Madrid Fac Ciencias Matemat Dept Sistemas Informat & Porgramac E-28040 Madrid Spain

ISBN: (纸本)3540417397

CLNC is a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functional logic programming that deals with non-deterministic functions. the JUMP-machine is an abstract machine model for the efficient implementation of functional logic languages. In this paper, we propose the integration of these two abstract models into an experimental system, for which extensibility and modifiability are major concerns. this leads us to the selection of an object-oriented approach and the use of design patterns for the system design and implementation.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共18页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：