咨询与建议

限定检索结果

文献类型

  • 2,946 篇 会议
  • 97 篇 期刊文献
  • 82 册 图书
  • 2 篇 学位论文

馆藏范围

  • 3,125 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 1,931 篇 工学
    • 1,454 篇 计算机科学与技术...
    • 822 篇 软件工程
    • 383 篇 电气工程
    • 255 篇 控制科学与工程
    • 104 篇 信息与通信工程
    • 59 篇 机械工程
    • 57 篇 交通运输工程
    • 47 篇 电子科学与技术(可...
    • 38 篇 石油与天然气工程
    • 33 篇 核科学与技术
    • 31 篇 材料科学与工程(可...
    • 26 篇 生物工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 动力工程及工程热...
    • 20 篇 仪器科学与技术
    • 20 篇 土木工程
    • 15 篇 建筑学
  • 519 篇 理学
    • 369 篇 数学
    • 85 篇 物理学
    • 62 篇 系统科学
    • 57 篇 统计学(可授理学、...
    • 44 篇 生物学
  • 211 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 63 篇 工商管理
    • 43 篇 图书情报与档案管...
  • 77 篇 医学
    • 68 篇 临床医学
    • 46 篇 特种医学
    • 15 篇 基础医学(可授医学...
  • 41 篇 教育学
    • 39 篇 教育学
  • 31 篇 法学
    • 27 篇 社会学
  • 16 篇 经济学
  • 8 篇 农学
  • 5 篇 文学
  • 5 篇 艺术学
  • 3 篇 哲学
  • 1 篇 军事学

主题

  • 274 篇 logic gates
  • 236 篇 fuzzy logic
  • 172 篇 probabilistic lo...
  • 153 篇 programming
  • 139 篇 linear programmi...
  • 110 篇 logic programmin...
  • 88 篇 dynamic programm...
  • 86 篇 optimization
  • 71 篇 computer science
  • 69 篇 programming prof...
  • 69 篇 computational mo...
  • 67 篇 artificial intel...
  • 67 篇 mathematical mod...
  • 58 篇 integer programm...
  • 58 篇 uncertainty
  • 54 篇 semantics
  • 53 篇 software enginee...
  • 50 篇 computer archite...
  • 50 篇 logic
  • 44 篇 genetic programm...

机构

  • 8 篇 university of mi...
  • 6 篇 hitachi ltd hita...
  • 6 篇 st petersburg el...
  • 5 篇 inria
  • 5 篇 kyushu sangyo un...
  • 5 篇 myongji universi...
  • 5 篇 saint petersburg...
  • 5 篇 univ illinois ur...
  • 5 篇 politecnico di b...
  • 5 篇 monash universit...
  • 5 篇 university of pe...
  • 5 篇 carnegie mellon ...
  • 5 篇 polytechnic univ...
  • 5 篇 university of ba...
  • 5 篇 covenant univers...
  • 5 篇 univ illinois de...
  • 4 篇 ist austria klos...
  • 4 篇 graduate school ...
  • 4 篇 institute of mic...
  • 4 篇 school of electr...

作者

  • 6 篇 kitamura m
  • 6 篇 woltran stefan
  • 6 篇 eiter thomas
  • 6 篇 kakugawa s
  • 5 篇 bernady o. apduh...
  • 5 篇 ana maria a.c. r...
  • 5 篇 eufemia tarantin...
  • 5 篇 osvaldo gervasi
  • 5 篇 yeonseung ryu
  • 5 篇 beniamino murgan...
  • 5 篇 sanjay misra
  • 5 篇 inoue katsumi
  • 5 篇 david taniar
  • 5 篇 carmelo m. torre
  • 5 篇 elena stankova
  • 4 篇 schaub torsten
  • 4 篇 belta calin
  • 4 篇 leonard barolli
  • 4 篇 hino n
  • 4 篇 castillo oscar

语言

  • 3,077 篇 英文
  • 33 篇 其他
  • 11 篇 中文
  • 3 篇 葡萄牙文
  • 2 篇 法文
  • 1 篇 俄文
检索条件"任意字段=18th International Conference on Logic Programming"
3127 条 记 录,以下是3041-3050 订阅
排序:
GSP: A logic simulator for LSI
GSP: A logic simulator for LSI
收藏 引用
DAC 1981 - the 18th Design Automation conference
作者: Armstrong, J.R. Devlin, D.E. Department of Electrical Engineering Virginia Polytechnic Institute and State University BlacksburgVA24061 United States
A general simulation program for LSI devices is described. the program provides functional simulation capability as well as the ability to simulate chip interface timing. Chip modeling utilizes chip input/output speci... 详细信息
来源: 评论
ABLE: A LISP-Based Layout Modeling Language with User-Definable Procedural Models for Storage/logic Array Design  81
ABLE: A LISP-Based Layout Modeling Language with User-Defina...
收藏 引用
Design Automation conference
作者: G.B. Goates S.S. Patil Boeing Aerospace Company University of washington Seattle WA USA Patil Syatems Inc. Salt Lake UT USA
ABLE, an array-based linguistic editor, is a layout modeling language for storage/logic arrays (SLA's) that is based on the LISP programming language. this paper describes ABLE's design, presents an ABLE layou... 详细信息
来源: 评论
GSP: A logic Simulator for LSI  81
GSP: A Logic Simulator for LSI
收藏 引用
Design Automation conference
作者: J.R. Armstrong D.E. Devlin Department of Electrical Engineering Virginia Polytechnic Institute and State University Blacksburg VA USA
A general simulation program for LSI devices is described. the program provides functional simulation capability as well as the ability to simulate chip interface timing. Chip modeling utilizes chip input/output speci...
来源: 评论
PODEM-X: An Automatic Test Generation System for VLSI logic Structures  81
PODEM-X: An Automatic Test Generation System for VLSI Logic ...
收藏 引用
Design Automation conference
作者: P. Goel B.C. Rosales International Business Machines Corporation Poughkeepsie NY USA IBM World Trade Corporation Germany
Multiple test generation algorithms and techniques described in this paper have been integrated into a unified system which has successfully produced tests for unpartitioned LSSD logic structures of up to 50,000 logic... 详细信息
来源: 评论
Contrasts in Physical Design between LSI and VLSI  81
Contrasts in Physical Design between LSI and VLSI
收藏 引用
Design Automation conference
作者: W.R. Heller International Business Machines Corporation Poughkeepsie NY USA
In the last five years, there has been rapid growth in logic and memory chip circuit density. the number of different digital processors and the typical size of such processors has also grown. With all this growth, al... 详细信息
来源: 评论
Placement of variable size circuits on LSI masterslices
Placement of variable size circuits on LSI masterslices
收藏 引用
DAC 1981 - the 18th Design Automation conference
作者: Khokhani, K.H. Patel, A.M. Ferguson, W. Sessa, J. Hatton, D. International Business Machines Inc. GTD East Fishkill Hopewell JunctionNY12533 United States Sperry Univac Blue BellPA United States Storage Technology Corp. BoulderCO United States
With the advent of large scale integration (LSI and VLSI), logic circuit densities per chip have grown to hundreds and thousands. the arrangement of interconnected logic circuits of different sizes and shapes poses a ... 详细信息
来源: 评论
Functional modelling for logic simulation  81
Functional modelling for logic simulation
收藏 引用
Proceedings of the 18th Design Automation conference
作者: Peter G. Raeth John M. Acken Gary B. Lamont John M. Borky
As digital integrated circuits become more complex, Computer Aided Design (CAD) must support more hierarchical design methods. Top-down design is supported in logic simulators by the inclusion of functional models. th...
来源: 评论
FUNCTIONAL MODELLING FOR logic SIMULATION.
Proceedings - Design Automation Conference
收藏 引用
Proceedings - Design Automation conference 1981年 791-795页
作者: Raeth, Peter G. Acken, John M. Lamont, Gary B. Borky, John M.
As digital integrated circuits become more complex, Computer Aided Design (CAD) must support more hierarchical design methods. Top-down design is supported in logic simulators by the inclusion of functional models. th... 详细信息
来源: 评论
ABLE: A LISP-BASED LAYOUT MODELING LANGUAGE WIth USER-DEFINABLE PROCEDURAL MODELS FOR STORAGE/logic ARRAY DESIGN.
Proceedings - Design Automation Conference
收藏 引用
Proceedings - Design Automation conference 1981年 322-329页
作者: Goates, Gary B. Patil, Suhas S.
ABLE, an array-based linguistic editor, is a layout modeling language for storage/logic arrays (SLA's) that is based on the LISP programming language. this study describes ABLE's design, presents an ABLE layou... 详细信息
来源: 评论
GSP: A logic SIMULATOR FOR LSI.
Proceedings - Design Automation Conference
收藏 引用
Proceedings - Design Automation conference 1981年 518-524页
作者: Armstrong, J.R. Devlin, D.E.
A general simulation program for LSI devices is described. the program provides functional simulation capability as well as the ability to simulate chip interface timing. Chip modeling utilizes chip input/output speci... 详细信息
来源: 评论