咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3051-3060 订阅
排序:
programming thE TWISTED-CUBE ARCHITECTURES
PROGRAMMING THE TWISTED-CUBE ARCHITECTURES
收藏 引用
9th international CONF ON DISTRIBUTED COMPUTING SYSTEMS
作者: EFE, K Univ of Southwestern Louisiana Lafayette LA USA
A network is proposed that preserves all of the properties of the hypercube, but has a diameter which is only about half of that of the hypercube. this network is self-routing, in the sense that there is a simple dist... 详细信息
来源: 评论
Camelot library: a C language extension for programming a general purpose distributed transaction system
Camelot library: a C language extension for programming a ge...
收藏 引用
9th international conference on Distributed Computing Systems
作者: Bloch, Joshua J. Carnegie-Mellon Univ Pittsburgh PA USA
the Camelot library extends the C programming language to provide a high-level programming interface to Camelot, a general-purpose distributed transaction system. the Camelot library is implemented as a collection of ... 详细信息
来源: 评论
Shared dataspace model of concurrency - language and programming implications
Shared dataspace model of concurrency - language and program...
收藏 引用
9th international conference on Distributed Computing Systems
作者: Roman, Gruia-Catalin Cunningham, H.Conrad Washington Univ St Louis MO USA
A language paradigm called shared dataspace is defined that causes computations to be performed using an anonymous, content-addressable communication medium acted upon by atomic transactions. To probe the essence of t... 详细信息
来源: 评论
OPTIMIZING AND EVALUATING ALGORIthMS FOR REPLICATED DATA CONCURRENCY-CONTROL
OPTIMIZING AND EVALUATING ALGORITHMS FOR REPLICATED DATA CON...
收藏 引用
9th international CONF ON DISTRIBUTED COMPUTING SYSTEMS
作者: KUMAR, A SEGEV, A Cornell Univ Ithaca NY USA
Many algorithms for replicated data concurrency control are based on voting methods. Techniques are developed for optimizing the assignment of votes in an environment where intersite communications costs are nonunifor... 详细信息
来源: 评论
Implementation of a 2D-Euler solver using id world, a parallel programming environment
Implementation of a 2D-Euler solver using id world, a parall...
收藏 引用
9th Computational Fluid Dynamics conference, 1989
作者: Landsberg, Alexandra M. Murman, Earll M. Computational Fluid Dynamics Laboratory Department of Aeronautics and Astronautics Massachusetts Institute of Technology CambridgeMA02139 United States
A new parallel programming environment, Id World, is under development by MIT’s Laboratory of Computer Science. this approach to parallel processing is distinct in that it employs a dataflow architecture and a functi... 详细信息
来源: 评论
CONCERT: a high-level-language approach to heterogeneous distributed systems
CONCERT: a high-level-language approach to heterogeneous dis...
收藏 引用
9th international conference on Distributed Computing Systems
作者: Yemini, Shaula A. Goldszmidt, German S. Stoyenko, Alexander D. Wei, Yi-Hsiu Beeck, Langdon W. IBM T.J. Watson Research Cent Yorktown Heights NY USA
Concert, a high-level-language approach to programming heterogeneous distributed systems, is described. the Concert model introduces a small set of language extensions into conventional procedural languages. these lan... 详细信息
来源: 评论
Reliable distributed sorting through the application-oriented fault tolerance paradigm
Reliable distributed sorting through the application-oriente...
收藏 引用
9th international conference on Distributed Computing Systems
作者: McMillin, Bruce M. Ni, Lionel M. Univ of Missouri Rolla MO USA
the design and implementation of a reliable version of the distributed bitonic sorting algorithm using the application-oriented fault tolerance paradigm on a commercial multicomputer is described. Sorting assertions i... 详细信息
来源: 评论
Decentralized evaluation of associative and commutative functions
Decentralized evaluation of associative and commutative func...
收藏 引用
9th international conference on Distributed Computing Systems
作者: Hsieh, C.Samuel Vanderbilt Univ Nashville TN USA
A family of distributed algorithms for decentralized evaluation of associative and commutative functions is presented. It is shown that if N is the number of processes which cooperate to evaluate such a function, then... 详细信息
来源: 评论
Detecting termination of distributed computations by external agents
Detecting termination of distributed computations by externa...
收藏 引用
9th international conference on Distributed Computing Systems
作者: Huang, Shing-Tsaan Natl Tsing-Hua Univ HsinChu Taiwan
An algorithm is presented that detects for termination of distributed computations by an auxiliary controlling agent. the algorithm assigns a weight W, 0 < W &le 1, to each active process and to each message in... 详细信息
来源: 评论
Performance implications of design alternatives for remote procedure call stubs
Performance implications of design alternatives for remote p...
收藏 引用
9th international conference on Distributed Computing Systems
作者: Chung, Sung K. Lazowska, Edward D. Notkin, David Zahorjan, John Univ 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 com... 详细信息
来源: 评论