咨询与建议

限定检索结果

文献类型

  • 2,054 篇 会议
  • 51 册 图书
  • 42 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,271 篇 工学
    • 1,024 篇 计算机科学与技术...
    • 582 篇 软件工程
    • 253 篇 电气工程
    • 157 篇 控制科学与工程
    • 69 篇 信息与通信工程
    • 50 篇 机械工程
    • 42 篇 材料科学与工程(可...
    • 36 篇 电子科学与技术(可...
    • 17 篇 安全科学与工程
    • 15 篇 交通运输工程
    • 12 篇 土木工程
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 11 篇 仪器科学与技术
    • 11 篇 冶金工程
    • 11 篇 动力工程及工程热...
    • 10 篇 建筑学
  • 295 篇 理学
    • 227 篇 数学
    • 39 篇 统计学(可授理学、...
    • 38 篇 物理学
    • 34 篇 系统科学
    • 22 篇 生物学
    • 16 篇 化学
  • 118 篇 管理学
    • 83 篇 管理科学与工程(可...
    • 37 篇 工商管理
    • 32 篇 图书情报与档案管...
  • 47 篇 教育学
    • 46 篇 教育学
  • 24 篇 医学
    • 23 篇 临床医学
  • 10 篇 法学
    • 10 篇 社会学
  • 9 篇 经济学
  • 5 篇 农学
  • 4 篇 文学

主题

  • 171 篇 logic gates
  • 137 篇 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,076 篇 英文
  • 59 篇 其他
  • 20 篇 中文
  • 1 篇 西班牙文
  • 1 篇 法文
检索条件"任意字段=22nd International Conference on Logic Programming"
2147 条 记 录,以下是1361-1370 订阅
排序:
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... 详细信息
来源: 评论
Convey vector personalities - FPGA acceleration with an openmp-like programming effort?
Convey vector personalities - FPGA acceleration with an open...
收藏 引用
international conference on Field Programmable logic and Applications
作者: Björn Meyer Jörn Schumacher Christian Plessl Jens Förstner Paderborn Center for Parallel Computing University of Paderborn Germany Department of Physics University of Paderborn Germany
Although the benefits of FPGAs for accelerating scientific codes are widely acknowledged, the use of FPGA accelerators in scientific computing is not widespread because reaping these benefits requires knowledge of har... 详细信息
来源: 评论
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... 详细信息
来源: 评论