咨询与建议

限定检索结果

文献类型

  • 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...

语言

  • 181 篇 英文
  • 3 篇 其他
  • 3 篇 中文
检索条件"任意字段=9th International Symposium on Functional and Logic Programming"
187 条 记 录,以下是61-70 订阅
A Time Multiplexed Programmable Array for Structured ASIC Technology
A Time Multiplexed Programmable Array for Structured ASIC Te...
收藏 引用
9th international symposium on Electronics and Telecommunications (ISETC)
作者: Tulbure, Traian Transilvania Univ Dept Elect & Comp Brasov Romania
this paper describes the architecture of a time-multiplexed Programmable Array logic (PLA) designed for structured ASIC technology. Time multiplexing is realized by storing sixteen PLA configurations in on-chip memory... 详细信息
来源: 评论
Parallel cycle based logic simulation using Graphics Processing Units
Parallel cycle based logic simulation using Graphics Process...
收藏 引用
9th international symposium on Parallel and Distributed Computing, ISPDC 2010
作者: Sen, Alper Aksanli, Baris Bozkurt, Murat Mert, Melih Department of Computer Engineering Bogazici University Istanbul Turkey
Graphics Processing Units (GPUs) are gaining popularity for parallelization of general purpose applications. GPUs are massively parallel processors with huge performance in a small and readily available package. At th... 详细信息
来源: 评论
A table-driven programming paradigm for context-aware application development
A table-driven programming paradigm for context-aware applic...
收藏 引用
2009 9th Annual international symposium on Applications and the Internet, SAINT 2009
作者: Junbin, Zhang Yong, Qi Di, Hou Ming, Li Institute of Computer Software and Theory Xi'an Jiaotong University 710049 China
Context-aware application should behave suitably according to the changing context of the pervasive computing environment. Several programming paradigms and languages have been proposed to facilitate development of co... 详细信息
来源: 评论
A Table-Driven programming Paradigm for Context-aware Application Development
A Table-Driven Programming Paradigm for Context-aware Applic...
收藏 引用
9th Annual international symposium on Applications and the Internet (SAINT 2009)
作者: Zhang Junbin Qi Yong Hou Di Li Ming Xi An Jiao Tong Univ Inst Comp Software & Theory Xian 710049 Peoples R China
Context-aware application should behave suitably according to the changing context of the pervasive computing environment. Several programming paradigms and languages have been proposed to facilitate development of co... 详细信息
来源: 评论
Commonsense 2009 - Proceedings of the 9th international symposium on logical Formalizations of Commonsense Reasoning
Commonsense 2009 - Proceedings of the 9th International Symp...
收藏 引用
9th international symposium on logical Formalizations of Commonsense Reasoning, Commonsense 2009
the proceedings contain 22 papers. the topics discussed include: solving the wise mountain man riddle with answer set programming;a general framework for revising belief bases using qualitative Jeffrey9;s rule;comb...
来源: 评论
Power delay tradeoff using the genetic algorithm
Power delay tradeoff using the genetic algorithm
收藏 引用
international symposium on Communications and Information Technologies (ISCIT)
作者: Javier Sosa Juan A. Montiel-Nelson Saeid Nooshabadi Instituto Universitario de Microelectronica Aplicada Universidad de Las Palmas de Gran Canaria Las Palmas Spain Department of Information and Communications Gwangju Institute of Science and Technology South Korea
this paper presents a novel methodology to obtain the entire power versus delay tradeoff curve for the critical paths of a combinational logic circuit in a very efficient way using genetic algorithm (GA). In order to ... 详细信息
来源: 评论
Termination of narrowing in left-linear constructor systems  1
收藏 引用
9th international symposium on functional and logic programming
作者: Vidal, German Univ Politecn Valencia Valencia Spain
Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and replacing matching with unification. Narrowing has been widely used in different contexts, ranging from theorem proving to l... 详细信息
来源: 评论
Substructural type systems for program analysis  1
收藏 引用
9th international symposium on functional and logic programming
作者: Kobayashi, Naoki Tohoku Univ Grad Sch Informat Sci Sendai Miyagi 980 Japan
Since linear logic was proposed by Girard, a number of type systems inspired by linear logic (or substructural logics in general) have been proposed. Examples include linear type systems, where the weakening and contr... 详细信息
来源: 评论
Quantitative logic programming revisited  1
收藏 引用
9th international symposium on functional and logic programming
作者: Rodriguez-Artalejo, Mario Romero-Diaz, Carlos A. Univ Complutense Madrid Dept Sistemas Informat & Computat E-28040 Madrid Spain
Uncertainty in logic programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. this paper is intended as a first step towards th... 详细信息
来源: 评论
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types
收藏 引用
JOURNAL OF logic AND ALGEBRAIC programming 2008年 第1期76卷 60-89页
作者: Kahl, Wolfram McMaster Univ Dept Comp & Software Hamilton ON L8S 4K1 Canada
Finite maps or finite relations between infinite sets do not even form a category, since the necessary identities are not finite. We show relation-algebraic extensions of semigroupoids where the operations that would ... 详细信息
来源: 评论