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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

164 篇 会议
12 篇 期刊文献
11 册 图书

馆藏范围

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

日期分布

学科分类号

122 篇 工学
- 109 篇 计算机科学与技术...
- 78 篇 软件工程
- 10 篇 电气工程
- 6 篇 电子科学与技术（可...
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 2 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 土木工程
- 1 篇 轻工技术与工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
- 1 篇 生物工程
- 1 篇 安全科学与工程
37 篇 理学
- 28 篇 数学
- 8 篇 物理学
- 3 篇 化学
- 2 篇 生物学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
7 篇 管理学
- 4 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
- 1 篇 工商管理
2 篇 医学
- 2 篇 基础医学(可授医学...
1 篇 农学
- 1 篇 作物学

主题

36 篇 logic programmin...
13 篇 functional progr...
9 篇 logic
9 篇 programming lang...
8 篇 mathematical log...
8 篇 logics and meani...
7 篇 software enginee...
7 篇 artificial intel...
6 篇 computer science
5 篇 programming tech...
5 篇 probabilistic lo...
5 篇 clocks
4 篇 fuzzy logic
4 篇 parallel process...
4 篇 formal logic
4 篇 programming
4 篇 semantics
4 篇 logic devices
4 篇 hardware
4 篇 haskell

机构

2 篇 ruleml inc on
2 篇 nasa ames resear...
2 篇 institut für inf...
2 篇 iohk edinburgh m...
2 篇 fraunhofer fokus...
2 篇 iohk ottawa on
2 篇 univ edinburgh e...
2 篇 department of co...
2 篇 fub inst comp sc...
2 篇 iohk mannheim
2 篇 dpto. de sistema...
2 篇 iohk england
2 篇 tech univ dresde...
2 篇 corp semant web ...
2 篇 iohk utrecht
2 篇 iohk glasgow lan...
2 篇 new mexico state...
2 篇 cau kiel inst in...
2 篇 chalmers univ te...
1 篇 univ tokyo grad ...

作者

5 篇 hanus michael
3 篇 pontelli enrico
3 篇 antoy sergio
2 篇 chakravarty manu...
2 篇 mow douglas a.
2 篇 braßel bernd
2 篇 saad emad
2 篇 current k.wayne
2 篇 mackenzie kennet...
2 篇 paschke adrian
2 篇 vinogradova poli...
2 篇 mueller jann
2 篇 herbert kuchen
2 篇 nilsson henrik
2 篇 jones michael pe...
2 篇 guild n.c.f.
2 篇 baldwin j.f.
2 篇 wadler philip
2 篇 meseguer jose
2 篇 melkonian oresti...

语言

179 篇 英文
5 篇 其他
3 篇 中文

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

共 187 条记录，以下是81-90 订阅

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

详细简洁

排序：

Model-based knowledge representation and reasoning via answer set programming 08

Model-based knowledge representation and reasoning via answe...

引用

Proceedings of the 9th international conference on functional and logic programming

作者： Torsten Schaub School of Computing Science Simon Fraser University Burnaby Canada and The Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia and Universität Potsdam Institut für Informatik Potsdam Germany

ISBN: (纸本)9783540789680

the field of knowledge representation and reasoning has been going through a methodological shift during recent years. While the past was dominated by query-oriented reasoning, model-based techniques become more and more popular nowadays. this development was primarily driven by the availability of highly efficient Boolean constraint solvers, like satisfiability and answer set solvers. the general idea is to translate an application problem into a logical specification. this specification is in turn passed to a solver, which outputs models representing solutions to the initial application *** talk will provide an introduction to answer set programming (ASP), its proof-theoretic foundations, methodology, implementation techniques along with a glimpse of an exemplary application. Besides knowledge representation and reasoning, ASP has its roots in deductive databases, nonmonotonic reasoning, and logic programming. Applications are specified in ASP in terms of sets of logical rules. Modern ASP solvers rely on high-performance Boolean constraint solving techniques, which allow them to tackle application domains consisting of millions of variables. Meanwhile, this approach proved to be an effective tool in a range of applications, like planning, model checking, and bio-informatics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ILP based Gate Leakage Optimization using DKCMOS Library during RTL Synthesis

ILP based Gate Leakage Optimization using DKCMOS Library dur...

引用

Ninth international symposium on Quality Electronic Design (ISQED 2008)

作者： Saraju P. Mohanty Department of Computer Science and Engineering University of North Texas Denton USA

In this paper dual-K (DKCMOS) technology is proposed as a method for gate leakage power reduction. An integer linear programming (ILP) based algorithm is proposed for its optimization during architectural synthesis. the algorithm uses device-level gate leakage models for prechar-acterizing register-transfer level (RTL) datapath component library and minimizes the leakage delay product (LDP). the proposed algorithm is tested for several circuits for 45nm CMOS technology node. the experiments show that average gate leakage reduction are 67.7% and 80.8% for SiO{sub}2-SiON and SiO{sub}2-Si{sub}3N{sub}4, respectively.

关键词： Gate leakage Libraries CMOS technology High-K gate dielectrics High K dielectric materials Design optimization Circuit synthesis Delay logic devices Tunneling

来源：评论

学校读者我要写书评

暂无评论

Runtime Validation of Transactional Memory Systems

Runtime Validation of Transactional Memory Systems

引用

Ninth international symposium on Quality Electronic Design (ISQED 2008)

作者： Kaiyu Chen Sharad Malik Priyadarsan Patra Department of Electrical Engineering Princeton University USA

Transactional Memory (TM) has been proposed as a promising solution to effectively harness the increasing processing power of emerging multi/manycore systems. While there has been considerable research on the design and implementation of TM systems, it remains to be shown how to address the validation challenge of such systems in face of increasing design bugs and dynamic errors. this paper proposes a runtime validation methodology for ensuring the end-to-end correctness of a TM system. We use an extended constraint graph model to capture the correctness of a transactional execution, and provide efficient hardware support to perform online checking of this constraint graph. We describe the design ideas as well as the key optimization techniques to make this approach practical. Experiments based on a state-of-the-art TM system framework show that our design effectively performs system-level runtime validation with relatively small overhead.

关键词： Runtime Hardware Computer bugs Design optimization Constraint optimization programming profession Process design Protection logic Error correction codes

来源：评论

学校读者我要写书评

暂无评论

Reliability-Aware Optimization for DVS-Enabled Real-Time Embedded Systems

Reliability-Aware Optimization for DVS-Enabled Real-Time Emb...

引用

Ninth international symposium on Quality Electronic Design (ISQED 2008)

作者： Foad Dabiri Naivd Amini Mahsan Rofouei Majid Sarrafzadeh University of California Los Angeles USA

Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of the most effective techniques used to achieve low power specification. On the other hand, as the feature size of logic gates (and transistors) is becoming smaller and smaller, the effect of soft error rates caused by single event upsets (SEUs) becomes exponentially greater. Lowering supply voltage to save energy increases soft error rates caused by SEU for two reasons: I) lower voltage makes digital circuits more prone to soft errors and II) reduction in supply voltage, increases the duration of process which increases the chances of being hit by SEU. In this paper, we propose an optimal methodology for DVS on a task graph with consideration of soft error rate. We consider the effects of voltage on SEU and incorporate this dependency in our formulation to develop a new method for energy optimization under SEU constraints. We also propose a convex programming formulation that can be solved efficiently and optimally. We show the effectiveness of our optimal results by simulation on TGFF benchmarks.

关键词： Real time systems Embedded system Single event upset Error analysis Voltage control Power system reliability Energy consumption Processor scheduling Dynamic scheduling logic gates

来源：评论

学校读者我要写书评

暂无评论

Systematic generation of glass-box test cases for functional logic programs 07

Systematic generation of glass-box test cases for functional...

引用

9th international ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'07

作者： Fischer, Sebastian Kuchen, Herbert Department of Computer Science Christian-Albrechts-University of Kiel Germany Department of Information Systems University of Münster Germany

ISBN: (纸本)1595937692

We employ the narrowing-based execution mechanism of the functional logic programming language Curry in order to automatically generate a system of test cases for glass-box testing of Curry programs. the test cases for a given function are computed by narrowing a call to that function with initially uninstantiated arguments. the generated test cases are produced w.r.t. a selected code-coverage criterion such as control-flow coverage. Besides an adaption of the notion of control-flow coverage to functional (logic) programming, we present a novel coverage criterion for this programming paradigm. A particular difficulty of the adaption is the handling of laziness. Copyright © 2007 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Computing with subspaces 07

Computing with subspaces

引用

9th international ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'07

作者： Antoy, Sergio Braßel, Bernd Computer Science Department Portland State University P.O. Box 751 Portland OR 97207 United States Institute of Computer Science Christian-Albrechts-University of Kiel Olshausenstr. 40 D-24098 Kiel Germany

ISBN: (纸本)1595937692

We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restricts the validity of the argument of getAllValues. this restriction ensures that essential language features like the call-time choice semantics, the independence of the order of evaluation, and the referential transparency of the language are preserved when getAllValues is executed. Up to now, conflicts between these language features and primitives like getAllValues have been seen as one of the main problems for employing such primitives in functional logic languages. Copyright © 2007 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming in higher-order and linear logic

引用

9th international symposium on Practical Aspects of Declarative Languages

作者： Liang, Chuck C. Hofstra Univ Dept Comp Sci Hempstead NY 11550 USA

ISBN: (纸本)9783540696087

Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause Prolog provide richer abstraction and control mechanisms. Definite clauses that pertain to a common aspect, and which crosscut other program components, can be encapsulated using the connectives of higher-order intuitionistic logic. the integration or weaving of program fragments can be formulated using normalized forms of proof search in linear logic.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

PPDP'07: Proceedings of the 9th international ACM SIGPLAN Conference on Principles and Practice of Declarative programming

PPDP'07: Proceedings of the 9th International ACM SIGPLAN Co...

引用

9th international ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'07

ISBN: (纸本)1595937692

the proceedings contain 23 papers. the topics discussed include: user-definable rule priorities for CHR;detecting defects in Erlang programs using static analysis;practical use of polynomials over the reals in proofs of termination;type safe dynamic linking for JVM access control;systematic generation of glass-box test cases for functional logic programs;mechanized metatheory model-checking;relational semantics for effect-based program transformations with dynamic allocation;higher-order semantic labelling for inductive datatype systems;observing intermediate structures in a parallel lazy functional language;computing with subspaces;real-time rewriting semantics of orc;a larger decidable semiunification problem;local reasoning about storable locks;induction for positive almost sure termination;unfolding in CHR;and nonmonotonic inductive logic programming by instance patterns.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Prolog performance on larger datasets

引用

9th international symposium on Practical Aspects of Declarative Languages

作者： Costa, Vitor Santos Univ Fed Rio de Janeiro COPPE Sistemas BR-21941 Rio De Janeiro Brazil

ISBN: (纸本)9783540696087

Declarative systems, such as logic programming, should be ideal to process large data sets efficiently. Unfortunately, the high-level nature of logic-based representations can cause inefficiencies, and may lead in some cases to unacceptable performance. We discuss how logic programming systems can accommodate large amounts of data in main memory. We use a number of real datasets to evaluate performance and discuss how a number of techniques can be used to improve memory scalabality for such datasets.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Practical Aspects of Declarative Languages - 9th international symposium, PADL 2007, Proceedings

引用

9th international symposium on Practical Aspects of Declarative Languages, PADL 2007

ISBN: (纸本)3540696083

the proceedings contain 21 papers. the topics discussed include: BAD, a declarative logic-based language for brain modeling;from zinc to design model;inductive logic programming by instance patterns;ARMC: the logical choice for software model checking with abstraction refinement;the joins concurrency library;HPorter: using arrows to compose parallel processes;coupled schema transformation and data conversion for XML and SQL;aspect-oriented programming in higher-order and linear logic;partial evaluation of pointcuts;quickcheck testing for fun and profit;a constraint programming approach to bioinformatics structural problems;rewriting haskell strings;instantly turning a naive exhaustive search into three efficient searches with pruning;algebraic knowledge discovery using haskell;and applications, implementation and performance evaluation of bit stream programming in Erlang.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：