咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是3321-3330 订阅
排序:
Querying graph databases using a functional language extended with second order facilities  14th
收藏 引用
Proceedings of the 1996 14th British National conference on Databases, BNCOD 14
作者: Ayres, Robert King, Peter J.H. Department of Computer Science and Information Systems Brunel University Uxbridge Middlessex UB8 3PH United Kingdom Department of Computer Science Birkbeck College University of London Malet Street London WC1E 7HX United Kingdom
this paper presents the functional database language Hydra which extends previous such languages with associational facilities enabling a user to pose queries about the ways in which values and entities in the databas... 详细信息
来源: 评论
A replication technique based on a functional and attribute grammar computation model
A replication technique based on a functional and attribute ...
收藏 引用
international Symposium on Software Reliability Engineering (ISSRE)
作者: A. Cherif M. Suzuki T. Katayama Japan Advanced Institute of Science and Technology Tatsunokuchi Japan
Presents a replication technique based on the FTAG (fault-tolerant attribute grammar) computation model, where instances of a replicated application are active on different groups of processors called replicas. FTAG i... 详细信息
来源: 评论
Integrity checking for nested transactions
Integrity checking for nested transactions
收藏 引用
international Workshop on Database and Expert Systems Applications
作者: B. Defude H. Martin Institut National de Télécommunications Evry France IMAG-Campus Laboratoire de Génie Informatique Grenoble France
the authors present a mechanism to specify and to validate consistency constraints in object oriented databases. Constraints are specified using preand post-conditions associated with an exception handling mechanism. ... 详细信息
来源: 评论
thread scheduling for cache locality
收藏 引用
Computer architecture news 1996年 第SPECIAL ISSU期24卷 60-71页
作者: Philbin, J. Edler, J. Anshus, O.J. Douglas, C.C. Li, K. NEC Research Inst Princeton NJ United States
this paper describes a method to improve the cache locality of sequential programs by scheduling fine-grained threads. the algorithm relies upon hints provided at the time of thread creation to determine a thread exec... 详细信息
来源: 评论
Truly concurrent constraint programming  7th
Truly concurrent constraint programming
收藏 引用
7th international conference on Concurrency theory, CONCUR 1996
作者: Gupta, Vineet Jagadeesan, Radha Saraswat, Vijay Xerox PARC 3333 Coyote Hill Road Palo AltoCA94304 United States Dept. of Mathematical Sciences Loyola University-Lake Shore Campus ChicagoIL60626 United States
Concurrent Constraint Prograrnming (CCP) is a powerful computation model for concurrency obtained by internalizing the notion of computation via deduction over (first-order) systems of partial information (constraints... 详细信息
来源: 评论
Classifying software process models based on natural language descriptions
Classifying software process models based on natural languag...
收藏 引用
international Workshop on Database and Expert Systems Applications
作者: E. Ellmer D. Merkl Department of Information Engineering University of Technology Vienna Vienna Austria Department of Software Technology University of Technology Vienna Vienna Austria
Reuse of the valuable knowledge gained through the realization of software projects is an important step in overcoming well-known problems of the software industry such as wrong schedules and cost estimations, low pro... 详细信息
来源: 评论
the ROL deductive object base language
The ROL deductive object base language
收藏 引用
international Workshop on Database and Expert Systems Applications
作者: M. Liu Department of Computer Science University of Regina Regina SAS Canada
the paper presents a novel deductive object base language, called ROL (Rule-based Object Language), which has been implemented at the University of Regina (Canada) and is available via anonymous ftp. It effectively in... 详细信息
来源: 评论
Processing deductions in an active fashion
Processing deductions in an active fashion
收藏 引用
international Workshop on Database and Expert Systems Applications
作者: M.S. Desouki A. Simonet M. Simonet Faculteé de Mé'decine de Grenoble Laboratoire TIMC-IMAG La Tronche France
Active and deductive rules in databases and procedural attachment in knowledge bases are used as mechanisms of computation of derived attributes. these research domains have become very closely related. the support of... 详细信息
来源: 评论
Structure and performance of interpreters
收藏 引用
Computer architecture news 1996年 第SPECIAL ISSU期24卷 150-159页
作者: Romer, T.H. Lee, D. Voelker, G.M. Wolman, A. Wong, W.A. Baer, J.-L. Bershad, B.N. Levy, H.M. Univ of Washington Seattle WA United States
Interpreted languages have become increasingly popular due to demands for rapid program development, ease of use, portability, and safety. Beyond the general impression that they are ″slow″, however, little has been... 详细信息
来源: 评论
Whole-program optimization for time and space efficient threads
收藏 引用
Computer architecture news 1996年 第SPECIAL ISSU期24卷 50-59页
作者: Grunwald, D. Neves, R. Univ of Colorado Boulder CO United States
Modern languages and operating systems often encourage programmers to use threads, or independent control streams, to mask the overhead of some operations and simplify program structure. Multitasking operating systems... 详细信息
来源: 评论