咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
Indexed flows in temporal x modal logic with functional semantics  9
Indexed flows in temporal x modal logic with functional sema...
收藏 引用
9th international symposium on Temporal Representation and Reasoning
作者: Burrieza, A de Guzmán, IP Muñoz, E Univ Malaga E-29071 Malaga Spain
Two classical semantical approaches to studying logics which combine time and modality are the T x W-frames and Kamp-frames (see thomason, 84). In this paper we study a new kind of frame that extends the one introduce... 详细信息
来源: 评论
Highly fault-tolerant FPGA processor by degrading strategy
Highly fault-tolerant FPGA processor by degrading strategy
收藏 引用
9th Pacific Rim international symposium on Dependable Computing
作者: Nakamura, Y Hiraki, K Univ Tokyo Grad Sch Informat & Technol Tokyo Japan
the importance of highly fault-tolerant computing systems has widely been recognized In this paper we propose FPGA architecture with degrading strategy to increase fault-tolerance in a CPU. Previously, duplication and... 详细信息
来源: 评论
Improving on-demand strategy annotations  1
收藏 引用
9th international Conference on logic for programming, Artificial Intelligence and Reasoning
作者: Alpuente, M Escobar, S Gramlich, B Lucas, S Univ Politecn Valencia DSIC E-46022 Valencia Spain Vienna Univ Technol Inst Comp Sprachen AG Theoret Informat & Log A-1040 Vienna Austria
In functional languages such as OBJ*, CafeOBJ, and Maude, symbols are given strategy annotations which specify (the order in) which subterms are evaluated. Syntactically, they are given either as lists of natural numb... 详细信息
来源: 评论
Compiling embedded programs to byte code  4th
Compiling embedded programs to byte code
收藏 引用
4th international symposium on Practical Applications of Declarative Languages, PADL 2002
作者: Rhiger, Morten BRICS – Basic Research in Computer Science Denmark Department of Computer Science University of Aarhus Ny Munkegade Building 540 Aarhus CDK-8000 Denmark
functional languages have proven substantially useful for hosting embedded domain-specific languages. they provide an infrastructure rich enough to define both a convenient syntax for the embedded language, a type sys... 详细信息
来源: 评论
Reuse of results in termination analysis of typed logic programs  9th
收藏 引用
9th international Static Analysis symposium
作者: Bruynooghe, M Codish, M Genaim, S Vanhoof, W Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium Ben Gurion Univ Negev Dept Comp Sci IL-84105 Beer Sheva Israel
Recent works by the authors address the problem of automating the selection of a candidate norm for the purpose of termination analysis. these works illustrate a powerful technique in which a collection of simple type... 详细信息
来源: 评论
An effective bottom-up semantics for first-order linear logic programs  5th
收藏 引用
5th international symposium on functional and logic programming
作者: Bozzano, M Delzanno, G Martelli, M Univ Genoa Dipartimento Informat & Sci Informaz I-16146 Genoa Italy
We study the connection between algorithmic techniques for symbolic model checking [ACJT96,FS98,AJ99], and declarative and operational aspects of linear logic programming [And92,AP90]. Specifically, we show that the c... 详细信息
来源: 评论
functional and logic programming
收藏 引用
丛书名: Lecture notes in computer science,
2001年
作者: Herbert Kuchen Kazunori Ueda (eds.).
来源: 评论
LRoute: A delay minimal router for hierarchical CPLDs  01
LRoute: A delay minimal router for hierarchical CPLDs
收藏 引用
2001 ACM/SIGDA 9th international Sysmposium on Field Programmable Gate Arrays (FPGA 2001)
作者: Lee, K.K. Wong, M.D.F. Synopsys Inc. 700 E. Middlefield Rd Mountain View CA 94043 United States
this paper describes LRoute, a novel router for the popular and scalable hierarchical Complex Programmable logic Devoices (CPLDs). CPLD routing has constraints om routing topologies due to architectural limitations an... 详细信息
来源: 评论
LolliCoP - A linear logic implementation of a lean connection-method theorem prover for first-order classical logic  1st
收藏 引用
1st international Joint Conference on Automated Reasoning, IJCAR 2001 co-located with 3rd Workshop on Inference in Computational Semantics, ICoS 2001 and 9th symposium on the Integration of Symbolic Computation and Mechanized Reasoning, CALCULEMUS 2001
作者: Hodas, Joshua S. Tamura, Naoyuki Department of Computer Science Harvey Mudd College ClaremontCA91711 United States
When Prolog programs that manipulate lists to manage a collection of resources are rewritten to take advantage of the linear logic resource management provided by the logic programming language Lolli, they can obtain ... 详细信息
来源: 评论
Run-time defect tolerance using JBits  01
Run-time defect tolerance using JBits
收藏 引用
2001 ACM/SIGDA 9th international Sysmposium on Field Programmable Gate Arrays (FPGA 2001)
作者: Sundararajan, P. Guccione, S.A. Xilinx Inc. 2100 Logic Drive San Jose CA 95124 United States
the ability to tolerate defects in semiconductor devices has the potential for both increasing yields of devices being manufactured and making it economically feasible to manufacture even larger devices. While FPGA de... 详细信息
来源: 评论