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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

27 篇 会议
3 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

25 篇 工学
- 25 篇 计算机科学与技术...
- 13 篇 软件工程
- 3 篇 电气工程
- 2 篇 机械工程
- 2 篇 信息与通信工程
- 1 篇 控制科学与工程
6 篇 理学
- 6 篇 数学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
2 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 图书情报与档案管...

主题

10 篇 logic programmin...
4 篇 semantics
2 篇 computer circuit...
2 篇 functional progr...
2 篇 functional progr...
2 篇 logic design
1 篇 0.6 microns
1 篇 computer science
1 篇 fuzzy logic
1 篇 software systems
1 篇 design for test
1 篇 metals
1 篇 dft
1 篇 linear logic
1 篇 boundary-scan te...
1 篇 application spec...
1 篇 concurrent compu...
1 篇 application soft...
1 篇 querying
1 篇 abduction

机构

1 篇 depto. de sistem...
1 篇 department of co...
1 篇 departamento de ...
1 篇 univ pisa dipart...
1 篇 departamento de ...
1 篇 univ complutense...
1 篇 department of co...
1 篇 fudan univ asic ...
1 篇 dept informat ci...
1 篇 department of co...
1 篇 department of co...
1 篇 univ minnesota d...
1 篇 depto. de lengua...
1 篇 the university o...
1 篇 dept. of compute...
1 篇 inria-rocquencou...
1 篇 univ politecn va...
1 篇 univ nova lisboa...
1 篇 max-planck-insti...
1 篇 tokyo inst techn...

作者

1 篇 hernández-orallo...
1 篇 dahl veronica
1 篇 martelli m
1 篇 r.h.c. yap
1 篇 stuckey peter j.
1 篇 anita szabo
1 篇 boye johan
1 篇 porto antónio
1 篇 deransart pierre
1 篇 bruynooghe mauri...
1 篇 darlington john
1 篇 vidal g
1 篇 albert e
1 篇 lópez-fraguas fr...
1 篇 hortalá-gonzález...
1 篇 köhler martin
1 篇 fernández antoni...
1 篇 porto a
1 篇 caballero rafael
1 篇 nadathur g

语言

31 篇 英文
1 篇 中文

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

共 32 条记录，以下是1-10 订阅

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

详细简洁

排序：

Compiling a functional logic Language: the Basic Scheme 12

Compiling a Functional Logic Language: <i>The Basic Scheme</...

引用

11th international symposium on functional and logic programming (flops)

作者： Antoy, Sergio Peters, Arthur Portland State Univ Comp Sci Dept Portland OR 97207 USA

ISBN: (纸本)9783642298226

We present the design of a compiler for a functional logic programming language and discuss the compiler's implementation. the source program is abstracted by a constructor based graph rewriting system obtained from a functional logic program after syntax desugaring, lambda lifting and similar transformations provided by a compiler's front-end. this system is non-deterministic and requires a specialized normalization strategy. the target program consists of 3 procedures that execute graph replacements originating from either rewrite or pull-tab steps. these procedures are deterministic and easy to encode in an ordinary programming language. We describe the generation of the 3 procedures, discuss the correctness of our approach, highlight some key elements of an implementation, and benchmark the performance of a proof-of-concept. Our compilation scheme is elegant and simple enough to be presented in one page.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

5th international symposium on Intelligent Systems and Informatics, SISY 2007

5th International Symposium on Intelligent Systems and Infor...

引用

5th international symposium on Intelligent Systems and Informatics, SISY 2007

ISBN: (纸本)1424414431

the proceedings contain 46 papers. the topics discussed include: applications of pseudo-analysis on models with nonlinear partial differential equations;audio system controlling protocol with AES3;easy and cheap AC device for softcomputing realization;on axiomatization of fuzzy logic;fuzzyfication and measurement using stochastic approach;functional programming in embedded systems and soft computing;functional and parameterical self adjustment in analogue circuit;nonlinear partial differential equations and superposition principle;comparison of convolutional-based interpolation techniques in digital image processing;a recursive solution concept for multichoice games;estimation of dynamical parameters of road vehicles on freeways;modular robots design concepts and research directions;automatic parameterization of edge detection algorithms;and obstacle avoidance of mobile robots in unknown environments.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

functional programming in Embedded Systems and Soft Computing

Functional Programming in Embedded Systems and Soft Computin...

引用

international symposium on Intelligent Systems and Informatics (SISY)

作者： Anita Szabo Norbert Sram Polytechnical Engineering College Subotica Serbia UVA Subotica Serbia

Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. the primary goal of embedded systems is to provide a reliable service over a period of time without any kind of intervention. these systems are mainly programmed in low level languages and are often the subject of software flaws inherited from unsafeness of these languages. the purpose of our research is to develop safe, secure, verifiable software for these systems, without significant performance loss. With the use of functional paradigm we are able to rapidly develop elegant code and solve complex tasks with ease.

关键词： functional programming Embedded system Embedded computing Computer networks logic programming Computer network reliability Software performance Software safety Software systems Performance loss

来源：评论

学校读者我要写书评

暂无评论

functional and logic programming 2006

引用

丛书名： Lecture Notes in Computer Science

2006年

作者： Masami Hagiya Philip Wadler

来源：评论

学校读者我要写书评

暂无评论

5th international symposium on functional and logic programming, flops 2001

引用

5th international symposium on functional and logic programming, flops 2001

ISBN: (纸本)3540417397

the proceedings contain 24 papers. the special focus in this conference is on functional programming and logic programming. the topics include: A scalable architecture for proof-carrying code;parameterized logic programs where computing meets learning;proving syntactic properties of exceptions in an ordered logical framework;a higher-order colon translation;compiling lazy functional programs based on the spineless tagless G-machine for the java virtual machine;a higher-order logic programming language with constraints;an effective bottom-up semantics for first-order linear logic programs;a framework for goal-directed bottom-up evaluation of functional logic programs;theoretical foundations for the declarative debugging of lazy functional logic programs;adding linear constrains over real numbers to curry;a complete selection function for lazy conditional narrowing;an abstract machine based system for a lazy narrowing calculus;incremental learning of functional logic programs;a general type inference framework for hindley/milner style systems;monadic encapsulation with stack of regions;well-typed logic programs are not wrong;a framework for analysis of typed logic programs;abstract compilation for sharing analysis;a practical partial evaluator for a multi-paradigm declarative language;a simple take on typed abstract syntax in ML-like languages;a simply typed context calculus with first-class environments and refining the barendregt cube using parameters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Boundary-scan test circuit designed for FPGA 5

Boundary-scan test circuit designed for FPGA

引用

5th international Conference on ASIC

作者： Ma, XJ Tong, JR Fudan Univ ASIC Microelect Dept Shanghai 200433 Peoples R China

ISBN: (纸本)078037889X

Boundary scan is a widely adopted DFT (Design For Test). According to the characteristic of FPGA application, this paper presents a boundary scan circuit designed for FDEGA (Field-programmable Datapath Enhanced Gate Array), an FPGA new architecture of our group. this design emphasizes the function of PCB level test while considering chip level test function as well. We also integrate device-programming function into the circuit. In implementation of our design, "single DFF (D Flip-Flop) chain" structure is adopted to decrease area consumption. We finished the layout design in 0.6um CMOS process and integrated it into our FDEGA chip. Test result of fabricated chip meets the design requirement, and shows that the circuit can achieve the expected test function and programming function while observing IEEE1149.1 standard.

关键词： field programmable gate arrays logic design integrated circuit layout boundary scan testing design for testability flip-flops IEEE standards boundary-scan test circuit FPGA DFT design for test boundary scan circuit FDEGA field-programmable datapath enhanced gate array PCB level test chip level test function device-programming function D flip-flop chain structure programming function IEEE1149.1 standard 0.6 microns

来源：评论

学校读者我要写书评

暂无评论

An integrated information system powered by Prolog

引用

5th international symposium on Practical Aspects of Declarative Languages

作者： Porto, A Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-1200 Lisbon Portugal

ISBN: (纸本)3540003894

Our Faculty embarked a few years ago on an ambitious project to redesign itself around an integrated information system, aimed at supporting all information handling activities and deployed through dynamic Web interfaces automatically customized for individual users. the project includes both the design of the services and the development of appropriate software technology to implement them. It led already to a running system, supporting many official academic procedures, which is under constant evolution. the system architecture is fully based on Prolog, connected to an external database engine. this paper summarizes and discusses the characteristics that make Prolog a vehicle of choice for the implementation, along with a sketch of main aspects of the system architecture and the specific declarative techniques that were developed for them. the recurring methodological gain is the ease of building abstraction layers supported by specific term sub-languages, due to the combination of flexible operator syntax with the power of the underlying machinery to define new constructs. the basic programming layer evolved from standard Prolog to a novel structured version of it, with compositional semantics (no cuts) and direct support for structural abstraction and application, combining in practice the logic programming style with the higher-order power and some of the programming flavour of functional languages. the system's main architectural glue is the conceptual scheme, for which a definition language was developed whose expressions are compiled (by Prolog) to induce the database tables and (the instantiation of) a query/update language with a syntax based on compositionality principles of natural language, whose expressions are both more natural and much more compact than the equivalent in SQL.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共4页 << < 1 2 3 4 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：