咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,146 篇 电子文献
  • 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
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware
  • 35 篇 costs

机构

  • 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,081 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3146 条 记 录,以下是3071-3080 订阅
排序:
Evaluation of concurrent pools
Evaluation of concurrent pools
收藏 引用
international conference on Distributed Computing Systems
作者: D. Kotz C.S. Ellis Department of Computer Science Duke University Durham NC USA
Performance considerations affecting the design of a mechanism that preserves locality and avoids high-latency remote references called the concurrent pools data structure are explored. the effectiveness of three diff... 详细信息
来源: 评论
Performance implications of design alternatives for remote procedure call stubs
Performance implications of design alternatives for remote p...
收藏 引用
international conference on Distributed Computing Systems
作者: S.K. Chung E.D. Lazowska D. Notkin J. Zahorjan Department of Computer Science University of Washington Seattle WA USA
the authors take efficient kernel-level support as a given, and study the performance implications of design alternatives one level up-in the stubs, which insulate the client and server from details about network comm... 详细信息
来源: 评论
Linking consistency with object/thread semantics: an approach to robust computation
Linking consistency with object/thread semantics: an approac...
收藏 引用
international conference on Distributed Computing Systems
作者: R. Chen P. Dasgupta School of Information and Computer Science Georgia Institute of Technology Atlanta GA USA
An object/thread based paradigm is presented that links data consistency with object/thread semantics. the paradigm can be used to achieve a wide range of consistency semantics from strict atomic transactions to stand... 详细信息
来源: 评论
An approach to verification of communication in distributed computing system software
An approach to verification of communication in distributed ...
收藏 引用
international conference on Distributed Computing Systems
作者: S.S. Yau K.W.I. Chen Software Engineering Research Center and Computer and Information Sciences Department University of Florida Gainesville FL USA Industrial Technology Research Institute Industrial Technology Research Institute (ITRI) Hsinchu Taiwan
An approach is presented for verifying the communication among modules in distributed computing system software. this approach is based on the inductive assertion method. the inference rules used in this approach are ... 详细信息
来源: 评论
Optimal time bounds for parallel term matching  9th
Optimal time bounds for parallel term matching
收藏 引用
9th international conference on Automated Deduction, CADE 1988
作者: Verma, Rakesh M. Ramakrishnan, I.V. Department of Computer Science State University of New York at Stony Brook Stony BrookNY11794 United States
Term Matching is a fundamental operation in term rewriting, functional programming and logic programming. Parallel algorithms for this operation have attracted much attention recently. However nontrivial lower bounds ... 详细信息
来源: 评论
IMPROVEMENTS ON thE BEST CASE PERFORMANCE OF A DYNAMIC programming ALGORIthM  9th
IMPROVEMENTS ON THE BEST CASE PERFORMANCE OF A DYNAMIC PROGR...
收藏 引用
9th international conference on Information Systems, ICIS 1988
作者: Gursel, Goker Department of Mathematical Sciences San Diego State University United States
A dynamic programming algorithm that was initially designed to solve simple queries in chain networks (Scheuermann and Gursel 1984) and later extended to solve similar queries in ring networks (Gursel 1986) is introdu... 详细信息
来源: 评论
OONA, MAX AND thE WYWWYWI PRINCIPLE: GENERALIZED HYPERTEXT AND MODEL MANAGEMENT IN A SYMBOLIC programming ENVIRONMENT  9th
OONA, MAX AND THE WYWWYWI PRINCIPLE: GENERALIZED HYPERTEXT A...
收藏 引用
9th international conference on Information Systems, ICIS 1988
作者: Bhargava, Hemant Bieber, Michael Kimbrough, Steven O. Department of Decision Sciences University of Pennsylvania United States
来源: 评论
Elastic matching versus rigid matching by use of dynamic programming
Elastic matching versus rigid matching by use of dynamic pro...
收藏 引用
9th international conference on Pattern Recognition
作者: Maitre, Henri Wu, Yifeng Ecole Natl Superieure des Telecommunications Paris Fr
An elastic matching method is proposed that is based on dynamic programming. It makes use of the fact that dynamic programming provides not only a global transformation, but also one-to-one correspondences between pri... 详细信息
来源: 评论
Research of a basic language of expert systems for pattern recognition - design and realization of LOG-BASIC programming language
Research of a basic language of expert systems for pattern r...
收藏 引用
9th international conference on Pattern Recognition
作者: Zhou, Guanxiong He, Zhang Zou, Haiming Wuhan Huazhong Univ of Sci & Technol Dep of Comput Sci Hubei China
A type of LOG-BASIC programming language, which has the functions of logic reasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good supporting environment for realizing the exper... 详细信息
来源: 评论
Investigation of object-oriented programming as the basis for an image processing and analysis system
Investigation of object-oriented programming as the basis fo...
收藏 引用
9th international conference on Pattern Recognition
作者: Piper, Jim Rutovitz, Denis Western Gen Hospital Edinburgh UK
the ways are explored in which object-oriented programming is well adapted to image analysis, and attempt is made to assess the implications of its use. In particular, the possible transition from C to C+30+30 of an e... 详细信息
来源: 评论