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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

180 篇 会议
18 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

148 篇 工学
- 133 篇 计算机科学与技术...
- 94 篇 软件工程
- 7 篇 电气工程
- 7 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 机械工程
- 3 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 交通运输工程
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 生物工程
- 1 篇 安全科学与工程
27 篇 理学
- 24 篇 数学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
- 2 篇 系统科学
- 1 篇 物理学
12 篇 管理学
- 6 篇 管理科学与工程(可...
- 6 篇 图书情报与档案管...
- 3 篇 工商管理
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
- 1 篇 作物学

主题

32 篇 logic programmin...
23 篇 functional progr...
9 篇 logic
8 篇 programming
6 篇 computer science
6 篇 parallel program...
6 篇 answer set progr...
5 篇 computer circuit...
5 篇 application soft...
5 篇 optimization
5 篇 semantics
5 篇 computer program...
5 篇 probabilistic lo...
5 篇 hardware
4 篇 programming prof...
4 篇 computer archite...
4 篇 model checking
4 篇 logic gates
4 篇 linear programmi...
4 篇 yarn

机构

2 篇 univ london impe...
2 篇 vienna universit...
2 篇 university of ca...
2 篇 department of co...
2 篇 imdea software
2 篇 texas tech univ ...
2 篇 free univ bolzan...
2 篇 queen mary univ ...
2 篇 univ new mexico ...
2 篇 univ new mexico ...
2 篇 tech univ madrid...
2 篇 tech univ madrid...
2 篇 univ roma la sap...
2 篇 national ict aus...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 univ nottingham ...
1 篇 dept of comput u...
1 篇 univ porto cracs...

作者

3 篇 yoshida nobuko
3 篇 woltran stefan
3 篇 saenz-perez fern...
2 篇 stuckey peter j.
2 篇 mellarkod veena ...
2 篇 lópez-garcía p
2 篇 mukaidono masao
2 篇 kiselyov oleg
2 篇 hafiz rahmatulla...
2 篇 krennwallner tho...
2 篇 costa vitor sant...
2 篇 lenzerini mauriz...
2 篇 cozman fabio g.
2 篇 caballero rafael
2 篇 carro manuel
2 篇 eiter thomas
2 篇 rosati riccardo
2 篇 rodríguez-artale...
2 篇 frost richard a.
2 篇 ianni giovambatt...

语言

193 篇 英文
7 篇 其他
1 篇 西班牙文

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

共 201 条记录，以下是161-170 订阅

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

详细简洁

排序：

OpenMP for networks of SMPs

OpenMP for networks of SMPs

引用

international symposium on Parallel Processing

作者： Y.C. Hu Honghui Lu A.L. Cox W. Zwaenepoel Department of Computer Science Rice University Houston TX USA Department of Electrical and Computer Engineering Rice University Houston TX USA

In this paper we present the first system that implements OpenMP on a network of shared-memory multiprocessors. this system enables the programmer to rely on a single, standard, shared-memory API for parallelization within a multiprocessor and between multiprocessors. It is implemented via a translator that converts OpenMP directives to appropriate calls to a modified version of the TreadMarks software distributed memory system (SDSM). In contrast to previous SDSM systems for SMPs, the modified TreadMarks uses POSIX threads for parallelism within an SMP node. this approach greatly simplifies the changes required to the SDSM in order to exploit the intra-node hardware shared memory. We present performance results for six applications (SPLASH-2 Barnes-Hut and Water; NAS 3D-FFT, SOR, TSP and MGS) running on an SP2 with four four-processor SMP nodes. A comparison between the threaded implementation and the original implementation of TreadMarks shows that using the hardware shared memory within an SMP node significantly reduces the amount of data and the number of messages transmitted between nodes, and consequently achieves speedups up to 30% better than the original versions. We also compare SDSM against message passing. Overall, the speedups of multithreaded TreadMarks programs are within 7-30% of the MPI versions.

关键词： Switched-mode power supply programming profession Message passing Parallel programming Computer science Automatic logic units Runtime library Yarn Algorithms Open source software

来源：评论

学校读者我要写书评

暂无评论

Mutation testing applied to validate specifications based on statecharts

Mutation testing applied to validate specifications based on...

引用

international symposium on Software Reliability Engineering (ISSRE)

作者： S.C.P.F. Fabbri J.C. Maldonado T. Sugeta P.C. Masiero Departamento de Computação Universidade Federal de São Carlos Sao Carlos Brazil Instituto de Ciências Matemáticase de Computação Universidade de Sáo Paulo Sao Carlos Brazil

the establishment of a low-cost, effective testing and validation strategy has been pursued by many researchers at the program level as well as at the specification level. the application of mutation testing for validating specifications based on statecharts is proposed. A mutation operator set for statecharts, one of the crucial points for effectively applying mutation testing is defined; in this scope these operators can be taken as a fault model. We also provide strategies to abstract the statechart components according to different statechart features that may comprise the testing and validation activity aims, providing in this way mechanisms for the establishment of an incremental, hierarchical, mutation-based testing strategy. Implementation and functional aspects of PROTEUM/ST, a tool under development are also presented.

关键词： Genetic mutations Software testing System testing Read only memory Life testing programming Maintenance Software reliability Hospitals Patient monitoring

来源：评论

学校读者我要写书评

暂无评论

10th international symposium on Principles of Declarative programming, PLILP 1998

10th International Symposium on Principles of Declarative Pr...

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

ISBN: (纸本)3540650121

the proceedings contain 31 papers. the special focus in this conference is on Static Analysis and Software Methodologies. the topics include: logic programming and model checking;the copying approach to tabling;a multithreaded execution environment for sicstus prolog;a framework for bottom up specialisation of logic programs;termination of logic programs with block declarations running in several modes;the boolean logic of set sharing analysis;derivation of proof methods by abstract interpretation;detecting unsolvable queries for definite logic programs;staging static analyses using abstraction-based program specialization;type domains and type representations for logic programs;a methodology for language development;explicit substitutions for objects and functions;the complexity of late-binding in dynamic object-oriented languages;a compiler for rewrite programs in associative-commutative theories;solution to the problem of zantema on a persistent property of term rewriting systems;a general framework for r-unification problems;operational versus denotational methods in the semantics of higher order languages;functional implementations of continuous modeled animation;compiling erlang to scheme;compiling lazy functional programs for the java virtual machine;a game semantics foundation for logic programming;controlling search in declarative programs;encapsulating data in logic programming via categorical constraints;constructive negation using typed existence properties;optimal reduction of functional expressions;embedding multiset constraints into a lazy functional logic language;a hidden herbrand theorem and integrating constraint propagation in complete solving of linear diophantine systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Embedding multiset constraints into a lazy functional logic language 10th

Embedding multiset constraints into a lazy functional logic ...

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Arenas-Sánchez, P. López-Fraguas, F.J. Rodríguez-Artalejo, M. Universidad Complutense de Madrid Departamento de Sistemas Informáticos y Programación Av. Complutense s/n Madrid28040 Spain

ISBN: (纸本)3540650121

In recent works, we have proposed a general framework for lazy functional logic programming with algebraic polymorphic types, i.e., parametric datatypes whose data constructors fulfill a given set of equational axioms. the aim of this paper is to investigate implementation techniques for an extended instance of this framework, namely, lazy functional logic programming with multisets and constraints. We consider a language (named Seta) which supports a polymorphic datatype Mset(α) along with specific constraints for multisets: strict equality (already present in the general framework), disequality, membership and non-membership. We describe a quite readable Prolog-based implementation which can be executed on top of any Prolog system that provides the ability to solve simple arithmetic constraints. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

A general framework for R-unification problems 10th

A general framework for R-unification problems

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Limet, Sébastien Saubion, Frédéric LIFO Université d’Orléans France LERIA Université d’Angers France

ISBN: (纸本)3540650121

E-unification (i.e. solving equations modulo an equational theory E) is an essential technique in automated reasoning, functional logic programming and symbolic constraint solving but, in general E-unification is undecidable. In this paper, we focus on R-unification (i.e. E-unification where theories E are presented by term rewriting systems R). We propose a general method based on tree tuple languages which allows one to decide if two terms are unifiable modulo a term rewriting system R and to represent the set of solutions. As an application, we prove a new decidability result using primal grammars. © Springer-Verlag Berlin Heidelberg 1998.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A game semantics foundation for logic programming 10th

A game semantics foundation for logic programming

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： di Cosmo, Roberto Loddo, Jean-Vincent Nicolet, Stephane DMI-LIENS Ecole Normale Supérieure 45 Rue d’Ulm Paris75005 France

ISBN: (纸本)3540650121

We introduce a semantics of logic programming based on an classical Game theory, which is proven to be sound and complete w.r.t. the traditional operational semantics and Negation as Failure. this game semantics is based on an abstract reformulation of classical results about two player games, and allows a very simple characterization of the solution set of a logic program in terms of approximations of the value of the game associated to it, which can also be used to capture in a very simple way the traditional "negation as failure" extensions. this approach to semantics also opens the way to a better understanding of the mechanisms at work in parallel implementations of logic programs and in the operational semantics of logic programs with negative goals. © Springer-Verlag Berlin Heidelberg 1998.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Optimal reduction of functional expressions 10th

Optimal reduction of functional expressions

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Asperti, Andrea Dipartimento di Scienze dell’Informazione Via di Mura Anteo Zamboni 7 Bologna Italy

the usual implementations of functional programming languages based on a weak evaluation paradigm (no reduction inside a lambda), betray the very spirit, i.e. the higher-order nature, of lambdacalculus. © Springe... 详细信息

ISBN: (纸本)3540650121

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Detecting unsolvable queries for definite logic programs 10th

Detecting unsolvable queries for definite logic programs

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Bruynooghe, Maurice Vandecasteele, Henk de Waal, da Andre Denecker, Marc Departement Computerwetenschappen Katholieke Universiteit Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium Centre for Business Mathematics and Informatics Potchefstroom University for Christian Higher Education South Africa

ISBN: (纸本)3540650121

In logic programming, almost no work has been done so far on proving that certain queries cannot succeed. Work in this direction could be useful for queries which seem to be non-terminating. Such queries are not exceptional, e.g. in planning problems. the paper develops some methods, based on abduction, goal-directedness, tabulation, and constraint techniques, for proving failure of queries for definite logic programs. It also reports some experiments with various tools. © Springer-Verlag Berlin Heidelberg 1998.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Approaches to the incremental detection of implicit equalities with the revised simplex method 10th

Approaches to the incremental detection of implicit equaliti...

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Refalo, Philippe ILOG S.A. 9 rue de Verdun BP 85 Gentilly94253 France

ISBN: (纸本)3540650121

this paper deals with the incremental detection of implicit equalities using the revised simplex method. this algorithm is more efficient and more suitable to practical problems than the tableau method usually applied in constraint logic programming. We describe and discuss the adaptation to the revised simplex of three approaches: the CLP (R), the Prolog III, and the quasi-dual one. All of these have been integrated into the constraint logic programming language Athena based on a revised simplex method over exact-precision rationals. this system is used to compare these methods on a set of typical CLP problems over linear constraints. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Encapsulating data in logic programming via categorical constraints 10th

Encapsulating data in logic programming via categorical cons...

引用

10th international symposium on programming Languages, Implementations, logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Lipton, James McGrail, Robert Dept. of Mathematics and Computer Science Wesleyan University United States

ISBN: (纸本)3540650121

We define a framework for writing executable declarative specifications which incorporate categorical constraints on data, Horn Clauses and datatype specification over finite-product categories. We construct a generic extension of a base syntactic category of constraints in which arrows correspond to resolution proofs subject to the specified data constraints. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共21页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：