咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2981-2990 订阅
排序:
Design and implementation of active class in C++
Design and implementation of active class in C++
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Kim, Sang-Hoon Oh, Se-Man DongGuk Univ Seoul Korea Republic of
Sequential object-oriented languages have many constrains that can not properly represent the real world with concurrency and the execution on multiprocessor computers. In this paper, we present a mechanism to support... 详细信息
来源: 评论
Class hierarchy based metric for object-oriented design
Class hierarchy based metric for object-oriented design
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Chung, Chi-Ming Wang, Chun-Chia Lee, Ming-Chi Tamkang Univ Taipei Taiwan
Object-oriented technology, including object-oriented analysis (OOA), object-oriented design (OOD), and object-oriented programming (OOP), is a new promising approach to developing software systems to reduce software ... 详细信息
来源: 评论
Meta-level programming with CodA  9th
Meta-level programming with CodA
收藏 引用
9th European conference on Object-Oriented programming (ECOOP 95)
作者: McAffer, J Department of Information Science University of Tokyo Japan Object Technology International Canada
Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fail to clearly assign responsibility for a parti... 详细信息
来源: 评论
Object protocols as functional parsers  9th
Object protocols as functional parsers
收藏 引用
9th European conference on Object-Oriented programming (ECOOP 95)
作者: Florijn, G Utrecht University Department of Computer Science P.o. Box 80.089 Utrecht 3508 TB Netherlands
A service definition is an abstract specification of the behavior of a software component. It provides the interface between the users of an object and its (hidden) implementation. A protocol can be a part of a servic... 详细信息
来源: 评论
Teaching programming as engineering  9th
收藏 引用
9th international conference of Z Users Meeting, ZUM 1995
作者: Parnas, David Lorge Department of Electrical and Computer Engineering McMaster University HamiltonONL8S 4K1 Canada
In spite of unheralded advances in computer hardware and software, most of today’s introductory programming courses are much like courses taught 30 years ago. Although the programming languages have changed, we conti... 详细信息
来源: 评论
A comparison of parallel programming paradigms and data distributions for a limited area numerical weather forecast routine  95
A comparison of parallel programming paradigms and data dist...
收藏 引用
9th international conference on Supercomputing, ICS 1995
作者: Van Engelen, Robert Wolters, Lex High Performance Computing Division Department of Computer Science Leiden University P.O. Box 9512 Leiden2300 RA Netherlands
In this paper the impact of parallel programming paradigms and data distributions on the performance of a parallel finite difference application is investigated. the finite difference application is one of the kernel ... 详细信息
来源: 评论
Configuration-level programming of distributed applications using implicit invocation
Configuration-level programming of distributed applications ...
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Chen, Chen Purtilo, James M. Univ of Maryland College Park United States
In this work, we are concerned with the technology and methods for integrating an application that is event-based, whether that application is being constructed from scratch or is a synthesis of existing event-based s... 详细信息
来源: 评论
Human preference-driven object-based scheduling technique
Human preference-driven object-based scheduling technique
收藏 引用
Proceedings of the 1994 IEEE Region 10's 9th Annual international conference (TENCON'94). Part 1 (of 2)
作者: Lee, Kee-Cheol Moon, Jeong-Mo Byun, Yung-Tai Hong-Ik Univ Seoul Korea Republic of
Recently, the developments in constraint languages like Prolog III may be considered as general approach for the complex scheduling problems, but only restrictive constraints are generally allowed, while humans use pr... 详细信息
来源: 评论
A compiler-directed distributed shared memory system  95
A compiler-directed distributed shared memory system
收藏 引用
9th international conference on Supercomputing, ICS 1995
作者: Chiueh, Tzi-Cker Verma, Manish Computer Science Department State University of New York at Stony Brook Stony BrookNY11794-4400 United States
With the advent of high-performance microprocessors and high-speed local area networks, networks of workstations (NOW) are now capable of delivering sustained computational performance comparable to that of a supercom... 详细信息
来源: 评论
A genetic design methodology for structure configuration  15
A genetic design methodology for structure configuration
收藏 引用
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
作者: Roston, Gerald P. Sturges, Robert H. Cybernet Systems Corporation Ann ArborMI United States Department of Mechanical Engineering Carnegie Mellon University PittsburghPA United States
Human designers and optimization codes are very good at improving the performance of existing designs, however, due to time and resource constraints, human designers tend to limit the range of alternative configuratio... 详细信息
来源: 评论