咨询与建议

限定检索结果

文献类型

  • 2,062 篇 会议
  • 51 册 图书
  • 43 篇 期刊文献

馆藏范围

  • 2,156 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,279 篇 工学
    • 1,032 篇 计算机科学与技术...
    • 582 篇 软件工程
    • 253 篇 电气工程
    • 165 篇 控制科学与工程
    • 77 篇 信息与通信工程
    • 50 篇 机械工程
    • 42 篇 材料科学与工程(可...
    • 36 篇 电子科学与技术(可...
    • 25 篇 安全科学与工程
    • 23 篇 交通运输工程
    • 19 篇 仪器科学与技术
    • 17 篇 石油与天然气工程
    • 13 篇 网络空间安全
    • 12 篇 土木工程
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 冶金工程
    • 11 篇 动力工程及工程热...
  • 303 篇 理学
    • 227 篇 数学
    • 39 篇 统计学(可授理学、...
    • 38 篇 物理学
    • 34 篇 系统科学
    • 24 篇 化学
    • 22 篇 生物学
  • 126 篇 管理学
    • 91 篇 管理科学与工程(可...
    • 40 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 47 篇 教育学
    • 46 篇 教育学
  • 25 篇 医学
    • 24 篇 临床医学
  • 10 篇 法学
  • 9 篇 经济学
  • 5 篇 农学
  • 4 篇 文学

主题

  • 172 篇 logic gates
  • 141 篇 fuzzy logic
  • 129 篇 programming
  • 118 篇 linear programmi...
  • 94 篇 logic programmin...
  • 65 篇 probabilistic lo...
  • 59 篇 dynamic programm...
  • 57 篇 optimization
  • 52 篇 semantics
  • 50 篇 training
  • 49 篇 computer science
  • 48 篇 logic
  • 44 篇 object oriented ...
  • 42 篇 computer archite...
  • 41 篇 computational mo...
  • 38 篇 hardware
  • 38 篇 artificial intel...
  • 37 篇 java
  • 35 篇 computer program...
  • 35 篇 software

机构

  • 6 篇 laboratory of co...
  • 5 篇 stevens inst tec...
  • 5 篇 institute of log...
  • 5 篇 university of to...
  • 5 篇 institute for lo...
  • 5 篇 chinese univ hon...
  • 4 篇 univ oxford oxfo...
  • 4 篇 school of electr...
  • 4 篇 ibm corp thomas ...
  • 3 篇 north carolina s...
  • 3 篇 creighton univ o...
  • 3 篇 univ politecn ca...
  • 3 篇 ecole polytech f...
  • 3 篇 tu wien austria
  • 3 篇 department of co...
  • 3 篇 department of el...
  • 3 篇 rhein westfal th...
  • 3 篇 school of comput...
  • 3 篇 univ tokyo
  • 3 篇 school of mathem...

作者

  • 7 篇 inoue katsumi
  • 5 篇 sakama chiaki
  • 5 篇 gupta gopal
  • 4 篇 wang liang
  • 4 篇 iosif radu
  • 4 篇 pontelli enrico
  • 4 篇 liang wang
  • 4 篇 tompits hans
  • 4 篇 beck j. christop...
  • 3 篇 kumar amruth n.
  • 3 篇 chopra amit k.
  • 3 篇 proietti maurizi...
  • 3 篇 il han park
  • 3 篇 m.-r. akbarzadeh...
  • 3 篇 wei li
  • 3 篇 riguzzi fabrizio
  • 3 篇 schaub torsten
  • 3 篇 melin p
  • 3 篇 leonidas deligia...
  • 3 篇 mcdirmid sean

语言

  • 2,063 篇 英文
  • 81 篇 其他
  • 20 篇 中文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2156 条 记 录,以下是1371-1380 订阅
排序:
HCM: An abstraction layer for seamless programming of DPR FPGA
HCM: An abstraction layer for seamless programming of DPR FP...
收藏 引用
international conference on Field Programmable logic and Applications
作者: Yan Xu Olivier Muller Pierre-Henri Horrein Frédéric Pétrot TIMA Laboratory Grenoble INP-UJF-CNRS Grenoble France
Well-known for its efficient computing capabilities, FPGA-based architectures also have the potential for high flexibility with dynamic reconfiguration features. Yet, writing applications on these architectures is lab... 详细信息
来源: 评论
Dual-core motion estimation processor
Dual-core motion estimation processor
收藏 引用
international conference on Field Programmable logic and Applications
作者: Joaquín Olivares Jose M. Palomares Department of Computer Architecture Electronics and Electronic Technology University of Córdoba Cordoba Spain
This paper presents a motion estimation processor based on a dual-core architecture. Both cores are based on bit-serial adder trees. Memory structures are also described. This architecture is bit-precision reconfigura... 详细信息
来源: 评论
A 16-configuration-context robust optically reconfigurable gate array with a reconfiguration speed adjustment function
A 16-configuration-context robust optically reconfigurable g...
收藏 引用
international conference on Field Programmable logic and Applications
作者: Takashi Yoza Minoru Watanabe Electrical and Electronic Engineering Shizuoka University Hamamatsu Shizuoka Japan
Demand is increasing daily for a robust VLSI chip that is useful in a radiation-rich environment. Optically reconfigurable gate arrays (ORGAs) have been developed to realize a radiation-tolerant Field Programmable Gat... 详细信息
来源: 评论
A dynamic binding mechanism for retrieving and unifying complex predicate-logic knowledge
A dynamic binding mechanism for retrieving and unifying comp...
收藏 引用
22nd international conference on Artificial Neural Networks, ICANN 2012
作者: Pinkas, Gadi Lima, Priscila Cohen, Shimon Center for Academic Studies Israel Federal Rural University of Rio de Janeiro Brazil
We show how to encode, retrieve and process complex structures equivalent to First-Order logic (FOL) formulae, with Artificial Neural Networks (ANNs) designed for energy-minimization. The solution constitutes a bindin... 详细信息
来源: 评论
Intellectual probabilistic simulation of the reliability of quadrupole systems
Intellectual probabilistic simulation of the reliability of ...
收藏 引用
international Crimean conference on Microwave & Telecommunication Technology
作者: E. I. Sukach D. V. Ratobylskaya S. F. Maslovich Gamel State University of F. Skorina Gamel Belarus Gomel State University of F. Skorina Gomel Belarus
An approach to the study of the reliability of complex quadrupole systems based on the use of intellectual simulation is offered, taking into account the mutual influence of components in the system.
来源: 评论
100 nm pHEMT MMIC technology
100 nm pHEMT MMIC technology
收藏 引用
international Crimean conference on Microwave & Telecommunication Technology
作者: G. I. Ayzenshtat A. Yu. Yushchenko A. I. Ivashenko V. G. Bozhkov Research Institute of Semiconductor Devices Tomsk Russia
A robust and manufacturable high-performance 100-nm gate length AlGaAs/InGaAs pseudomorphic High-Electron Mobility Transistor (pHEMT) process is presented.
来源: 评论
On reconfigurable fabrics and generic side-channel countermeasures
On reconfigurable fabrics and generic side-channel counterme...
收藏 引用
international conference on Field Programmable logic and Applications
作者: R. Beat P. Grabher D. Page S. Tillich M. Wójcik Silicon Basis University Gate East Bristol UK Department of Computer Science University of Bristol Bristol UK
The use of field programmable devices in security-critical applications is growing in popularity; in part, this can be attributed to their potential for balancing metrics such as efficiency and algorithm agility. Howe... 详细信息
来源: 评论
Mapping logic to reconfigurable FPGA routing
Mapping logic to reconfigurable FPGA routing
收藏 引用
international conference on Field Programmable logic and Applications
作者: Karel Heyse Karel Bruneel Dirk Stroobandt Department of Electronics and Information Systems Ghent University IBBT Gent Belgium
Parameterised configurations for FPGAs are configuration bitstreams of which part of the bits are defined as Boolean functions of parameters. By evaluating these Boolean functions using different parameter values, it ... 详细信息
来源: 评论
Effective programming of very long instruction word digital signal processors
Effective programming of very long instruction word digital ...
收藏 引用
international conference on Radioelektronika
作者: Tomas Fryza Roman Marsalek Filip Adamec Department of Radio Electronics Brno University of Technology Brno Czech Republic
The paper deals with an optimal approaches used for programming of time consuming algorithms in digital signal processors. More precisely, the Texas Instruments' DSP with Very Long Instruction Word architecture is... 详细信息
来源: 评论
Finite field polynomial 16-bit multiplier for power constrained devices
Finite field polynomial 16-bit multiplier for power constrai...
收藏 引用
international conference on Electronics, Communications and Computers (CONIELECOMP)
作者: José Antonio Flores Escobar Moisés Salinas Rosales José Velázquez López IPN Graduate School ESIME Cul. Mexico
In this work a finite field polynomial multiplier is presented. The multiplier is based on two-step algorithm performing the multiplication with the add and shift algorithm. A FPGA was chosen to implement the multipli... 详细信息
来源: 评论