咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是2971-2980 订阅
排序:
Clock-skew constrained cell placement
Clock-skew constrained cell placement
收藏 引用
international conference on VLSI Design
作者: V. Natesan D. Bhatia Design Automation Laboratory ECE&CS Department University of Cincinnati Cincinnati OH USA
We present a quadratic programming based placement method for cell based designs. the approach is performance oriented and addresses constraints like area, timing, and clock-skew. While area and timing has been addres... 详细信息
来源: 评论
Node-covering based defect and fault tolerance methods for increased yield in FPGAs
Node-covering based defect and fault tolerance methods for i...
收藏 引用
international conference on VLSI Design
作者: F. Hanchek S. Dutt Department of Electrical Engineering University of Minnesota Minneapolis MN USA
Fault tolerant techniques are proposed which make use of the reconfigurability of SRAM-based field programmable gate arrays (FPGAs). Based on the principle of node-covering, a routing discipline is developed that rese... 详细信息
来源: 评论
Wiresizing with buffer placement and sizing for power-delay tradeoffs
Wiresizing with buffer placement and sizing for power-delay ...
收藏 引用
international conference on VLSI Design
作者: J.C. Shah S.S. Sapatnekar Department of Electrical and Computer Engineering Iowa State University Ames IA USA
With the increasing influence of the resistive effects of interconnects on the performance of VLSI systems, a greater stress is being laid on careful interconnect design. One prominent technique is the approach of siz... 详细信息
来源: 评论
Experiences on the road to object Utopia  9th
Experiences on the road to object Utopia
收藏 引用
9th European conference on Object-Oriented programming (ECOOP 95)
作者: thomas, D Object Technology International Canada
来源: 评论
Compiler for BSP-L, a programming language for the bulk synchronous parallel model
Compiler for BSP-L, a programming language for the bulk sync...
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Cheatham, thomas Fahmy, Amr Stefanescu, Dan Harvard Univ Cambridge United States
this paper describes a compiler environment for BSP-L, an experimental programming language based on the Bulk Synchronous Parallel model of computation whose goal is to enable the generation of highly efficient, archi... 详细信息
来源: 评论
Towards collaborative programming environment: a case study on visualization system
Towards collaborative programming environment: a case study ...
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Feng, Lin Hock Soon, Seah Yong Tsui, Lee Man Nang, Chong Tan T.H., Daniel Flyn, David Mack, Peter Nanyang Technological Univ Singapore Singapore
the concept of group-ware is not new. this paper discusses issues on realizing it and proposes a collaborative programming environment as an approach. To explain how to establish such an environment, various aspects o... 详细信息
来源: 评论
9th European conference on ECOOP 1995 Object-Oriented programming
9th European Conference on ECOOP 1995 Object-Oriented Progra...
收藏 引用
9th European conference on Object-Oriented programming, ECOOP 1995
the proceedings contain 21 papers. the special focus in this conference is on Keynote Address (Abstract) and programming Languages. the topics include: Experiences on the road to object utopia;the cartesian product al...
来源: 评论
Service partition model for programming interactive distributed applications
Service partition model for programming interactive distribu...
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Hwang, Ching-Shine Tsai, Shang-Rong Natl Cheng-Kung Univ Tainan City Taiwan
In this paper, we propose a service partition model as a design methodology of distributed applications, especially in interactive distributed applications. We developed a set of communication mechanisms for linking e... 详细信息
来源: 评论
A dataflow language with object-based extension and its implementation on a commercially available parallel machine  95
A dataflow language with object-based extension and its impl...
收藏 引用
9th international conference on Supercomputing, ICS 1995
作者: Kusakabe, Shigeru Nagai, Taku Yamashita, Yoshihiro Taniguchi, Rin-Ichiro Amamiya, Makoto Dept. of Information Systems Kyushu University Kasuga Fukuoka816 Japan
We propose a massively parallel programming language, called "V," which would minimize the difficulties in writing massively parallel programs. To abstract away the timing problem in writing parallel program... 详细信息
来源: 评论
A two-stage sequential approximation method for non-linear discrete-variable optimization  15
A two-stage sequential approximation method for non-linear d...
收藏 引用
ASME 1995 Design Engineering Technical conferences, DETC 1995, collocated with the ASME 1995 15th international Computers in Engineering conference and the ASME 1995 9th Annual Engineering Database Symposium
作者: Hsu, Yeh-Liang Sun, Tzyh-Li Leu, Li-Hwang Department of Mechanical Engineering Yuan-Ze Institute of Technology Taiwan
A two-stage sequential approximation method is developed for non-linear discrete-variable optimization. the concept of this technique is similar to that of sequential linear programming (SLP), only in each iteration, ... 详细信息
来源: 评论