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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

75 篇 会议
3 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

54 篇 工学
- 50 篇 计算机科学与技术...
- 35 篇 软件工程
- 5 篇 电气工程
- 4 篇 信息与通信工程
- 2 篇 仪器科学与技术
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 电子科学与技术（可...
- 1 篇 控制科学与工程
7 篇 理学
- 6 篇 数学
- 1 篇 大气科学
3 篇 管理学
- 2 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
2 篇 教育学
- 2 篇 教育学

主题

16 篇 functional progr...
7 篇 logic programmin...
6 篇 computer program...
4 篇 application soft...
4 篇 software enginee...
4 篇 grid computing
3 篇 object oriented ...
3 篇 concurrent compu...
3 篇 programming
3 篇 fault tolerance
3 篇 parallel program...
3 篇 semantics
3 篇 programming tech...
3 篇 programming lang...
3 篇 haskell
3 篇 web services
2 篇 computer science
2 篇 software systems
2 篇 systems engineer...
2 篇 supercomputers

机构

2 篇 department of co...
2 篇 university of ok...
1 篇 university of co...
1 篇 univ of waikato ...
1 篇 school of comput...
1 篇 cisco systems in...
1 篇 univ toronto dep...
1 篇 univ montreal mo...
1 篇 faculty of infor...
1 篇 waseda univ sch ...
1 篇 portland state u...
1 篇 univ verona dipa...
1 篇 engineering econ...
1 篇 department of el...
1 篇 brigham young un...
1 篇 univ missouri de...
1 篇 nadvirna vocatio...
1 篇 univ politecn ma...
1 篇 department of ma...
1 篇 univ complutense...

作者

2 篇 page rex
2 篇 horváth zoltán
2 篇 zsók viktória
2 篇 antoy sergio
2 篇 saenz-perez fern...
2 篇 hanus michael
2 篇 dimitri p. berts...
1 篇 mishra prateek
1 篇 gerard allwein
1 篇 pace gordon
1 篇 borza paul nicol...
1 篇 wassermann demia...
1 篇 kaiser markus
1 篇 petrashchuk yaro...
1 篇 playne daniel
1 篇 david lesens
1 篇 takayuki shiina
1 篇 zou xingliang
1 篇 r. nieuwenhuis
1 篇 johnson martin

语言

81 篇 英文

检索条件"任意字段=11th Symposium on Trends in Functional Programming"

共 81 条记录，以下是31-40 订阅

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

详细简洁

排序：

the Finite Domain Constraint Solver of SWI-Prolog 12

The Finite Domain Constraint Solver of SWI-Prolog

引用

11th International symposium on functional and Logic programming (FLOPS)

作者： Triska, Markus Vienna Univ Technol Database & Artificial Intelligence Grp Vienna Austria

ISBN: (纸本)9783642298226

We present a new constraint solver over finite domains, freely available as library(clpfd)(1) in SWI-Prolog. Our solver has several unique features, which we describe in this paper: Reasoning over arbitrarily large integers, always terminating propagation, and a domain-specific language that concisely expresses the full semantics of constraint reification. the library is entirely written in Prolog and can be easily ported to other Prolog systems that support attributed variables. the constraint solver is fast enough for teaching and research purposes and is already being used in courses at several universities in France, Germany, Italy, Austria and other countries.

关键词： Logic 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

来源：评论

学校读者我要写书评

暂无评论

Typed Relational Conversion 1

引用

18th International symposium on trends in Function programming (TFP)

作者： Lozov, Petr Vyatkin, Andrei Boulytchev, Dmitry St Petersburg State Univ Univ Ski Pr 28 St Petersburg 198504 Russia JetBrains Res Univ Skaya Emb 7-9-11Bldg 5A St Petersburg 199034 Russia

ISBN: (数字)9783319897196

ISBN: (纸本)9783319897196;9783319897189

We address the problem of transforming typed functional programs into relational form. In this form, a program can be run in various "directions" with some arguments left free, making it possible to acquire different behaviors from a single specification. We specify the syntax, typing rules and semantics for the source language as well as its relational extension, describe the conversion and prove its correctness both in terms of typing and dynamic semantics. We also discuss the limitations of our approach, present the implementation of the conversion for the subset of OCaml and evaluate it on a number of realistic examples.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Object-oriented functional programming and type reconstruction 11th

Object-oriented functional programming and type reconstructi...

引用

Joint 11th Workshop on Abstract Data Types was held jointly with the 8th Workshop on Recent trends in Data Type Specification, COMPASS 1995

作者： Qian, Zhenyu Krieg-Brückner, Bernd FB3 Informatik Universität Bremen Postfach 330440 BremenD-28334 Germany

ISBN: (纸本)3540616292

this paper presents an object-oriented functional programming language core, its ML-style static type inference and a corresponding type reconstruction algorithm. the language allows object definitions as in Eiffel, algebraic value definitions as in Haskell and most code reuses in Eiffel and Haskell. the type inference combines the usual structural subtyping relation and Haskell type classes. the type reconstruction algorithm computes static types for those programs, in which explicit type annotations are given at the positions of subtyping coercions. © Springer-Verlag Berlin Heidelberg 1996.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Minimal Schedulability Testing Interval for Real-Time Periodic Tasks with Arbitrary Release Offsets 16

Minimal Schedulability Testing Interval for Real-Time Period...

引用

16th IEEE Int Conf on High Performance Computing and Communications/11th IEEE Int Conf on Embedded Software and Systems\6th Int symposium on Cyberspace Safety and Security

作者： Jiang, Yu Zhou, Qiang Zou, Xingliang Cheng, Albert M. K. Heilongjiang Univ Sch Comp Sci & Tech Harbin 150001 Heilongjiang Peoples R China Beihang Univ Sch Elect & Informat Engn Beijing 100191 Peoples R China Univ Houston Dept Comp Sci Houston TX 77004 USA

ISBN: (纸本)9781479961238

the concept of feasibility (or schedulability) interval plays a very important role in the schedulability analysis in real-time systems. Existing results on the schedulability testing interval of real-time task sets under fixed priority scheduling with arbitrary release offsets (or phases) have limitations for certain scenarios in constructing a schedule for testing the schedulability of a given task set. In this paper, we propose a transforming method for deriving minimal schedulability testing interval of real-time n-task sets with arbitrary release offsets under fixed priority scheduling in both the classical preemptive model and the Priority-based functional Reactive programming (P-FRP) model on uniprocessor. the complexity of our transforming method is O(n), and the validity is also proved by theoretical analysis.

关键词： real-time system schedulability analysis classical preemptive model priority-based functional reactive programming (P-FRP) model fixed priority scheduling feasibility interval

来源：评论

学校读者我要写书评

暂无评论

functional and predicative programmimg in OODB's

Functional and predicative programmimg in OODB's

引用

Proceedings of the 11th ACM SIGACT-SIGMOD-SIGART symposium on Principles of Database Systems

作者： Beeri, Catriel Milo, Tova Hebrew Univ of Jerusalem Jerusalem Israel

ISBN: (纸本)0897915194

the object oriented pardigm offers a rich set of data structuring and manipulation facilities. In this paper, we present and compare languages for a quite general object-oriented model, based on the three pardigms: the algebra, the calculus, and logic programming. We view each of the paradigms as a linguistic frame, that can be used with a variety of data models, each with its functions and predicates. Our aim is to investigate the fundamental relationships between these frames, and if and how they depend on the particular features or properties of a specific data model.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Approaches to programming for tele-measurement 11

Approaches to programming for tele-measurement

引用

11th IMEKO TC4 symposium on trends in Electrical Measurements and Instrumentation and 6th IMEKO TC4 Workshop on ADC Modelling and Testing 2001

作者： Kayafas, Eleftherios Sandu, Florin Patiniotakis, Ioannis Borza, Paul Nicolae Division for Communications Department of Electrical and Computer Engineering National Technical University of Athens 157 73-Zographou Athens Greece Department of Electronics and Computers Faculty of Electrical Engineering and Computer Science Transilvania University of Brasov Bulevardul Eroilor nr. 29 Brasov2200 Romania

ISBN: (纸本)9781510803978

Introducing and solving some specific problems of remote access to experiments, the present paper has not only a generic (architectural) point of view, but also a practical one. Based on their previous experience in telemeasurement (SMTP /POP3 and LabView implementations), [1] and [4], the authors built an integrated solution for the "publishing of the test and measurement capabilities" based on Java /Data Socket (or WinSock) transfer for remote access and LabView /Component Works /Visual Basic for local management of the automated measurement centers. A very friendly wyswyg ("what-you-see-is-what-you-get") real time duplex control /monitoring was practically implemented in VB emulated panels of the instruments that can be tele-Accessed via a web-page of the remote virtual laboratory, without the requirement of any special Test &Measurement skills at users' level (allowing them to concentrate on the specific experiment that can belong to any field of engineering).

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

ViTABaL: A visual language supporting design by tool abstraction

ViTABaL: A visual language supporting design by tool abstrac...

引用

Proceedings of the 11th IEEE symposium on Visual Languages

作者： Grundy, John C. Hosking, John G. Univ of Waikato Hamilton New Zealand

We describe a visual language and environment for designing and implementing systems using the tool abstraction paradigm. this paradigm permits systems to be constructed from toolie and abstract data structure components, using an event response mechanism to handle inter-component interaction. this approach leads to systems more easily adapted to functional specification changes than with conventional design.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Rhine: FRP with Type-Level Clocks 11

Rhine: FRP with Type-Level Clocks

引用

Haskell Conference

作者： Baerenz, Manuel Perez, Ivan Univ Wien Math Fak Vienna Austria NIA Hampton VA USA

ISBN: (纸本)9781450358354

Processing data at different rates is generally a hard problem in reactive programming. Buffering problems, lags, and concurrency issues often occur. Many of these problems are clock errors, where data at different rates is combined incorrectly. Techniques to avoid clock errors, such as type-level clocks and deterministic scheduling, exist in the field of synchronous programming, but are not implemented in general-purpose languages like Haskell. Rhine is a clock-safe library for synchronous and asynchronous functional Reactive programming (FRP). It separates the aspects of clocking, scheduling and resampling from each other, and ensures clock-safety at the type level. Concurrent communication is encapsulated safely. Diverse reactive subsystems can be combined in a coherent, declarative data-flow framework, while correct interoperability of data at different rates is guaranteed by type-level clocks. this provides a general-purpose framework that simplifies multi-rate FRP systems and can be used for game development, media applications, GUIs and embedded systems, through a flexible API with many reusable components.

关键词： functional reactive programming haskell reactive programming asynchronous programming

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous visual languages - integrating visual and textual programming

Heterogeneous visual languages - integrating visual and text...

引用

Proceedings of the 11th IEEE symposium on Visual Languages

作者： Erwig, Martin Meyer, Bernd FernUniversitaet Hagen Hagen Germany

After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established (textual) programming languages may be more likely to meet the actual requirements of practical software development than the highly ambitious goal of creating purely visual languages. In such an integration each paradigm can support the other where it is superior. Particularly attractive is the use of visual expressions for the description of domain-specific data structures in combination with textual notations for abstract control structures. In addition to a basic framework for heterogeneous languages, we outline the design of a development system that allows rapid prototyping of implementations of heterogeneous languages. Examples will be presented from the domains of logical, functional, and procedural languages.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：