咨询与建议

限定检索结果

文献类型

  • 3,396 篇 会议
  • 132 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,403 篇 工学
    • 1,901 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 419 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 交通运输工程
    • 55 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 674 篇 理学
    • 485 篇 数学
    • 104 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 50 篇 化学
  • 404 篇 管理学
    • 339 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 102 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 185 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 51 篇 mathematical mod...
  • 48 篇 computer program...
  • 47 篇 heuristic algori...
  • 42 篇 quadratic progra...
  • 42 篇 artificial intel...

机构

  • 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. ...
  • 7 篇 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,431 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3604 条 记 录,以下是2401-2410 订阅
排序:
Code Generation to Support Static and Dynamic Composition of Software Product Lines  08
Code Generation to Support Static and Dynamic Composition of...
收藏 引用
7th international conference on Generative programming and Component Engineering
作者: Rosenmueller, Marko Siegmund, Norbert Saake, Gunter Apel, Sven Univ Magdeburg Sch Comp Sci D-39106 Magdeburg Germany
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL is possible statically before runtime o... 详细信息
来源: 评论
Analytic programming powered by Distributed Self-Organizing Migrating Algorithm application
Analytic programming powered by Distributed Self-Organizing ...
收藏 引用
7th international conference on Computer Information Systems and Industrial Management Applications
作者: Varacha, Pavel Zelinka, Ivan Tomas Bata Univ Zlin Dept Appl Informat Zlin 76005 Czech Republic
this paper presents an idea of new algorithm combining advantages of evolutionary algorithm and simple distributed computing to perform tasks which required many re-runs of the same program. Computing time is shorted ... 详细信息
来源: 评论
Improving efficiency of multi-kernel learning for support vector machines
Improving efficiency of multi-kernel learning for support ve...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Yeh, Chi-Yuan Su, Wen-Pin Lee, Shie-Jue Natl Sun Yat Sen Univ Dept Elect Engn Kaohsiung 804 Taiwan
Support vector machines (SVMs) have been successfully applied to classification problems. Practical issues involve bow to determine the right type and suitable hyperparameters of kernel functions. Recently, multiple-k... 详细信息
来源: 评论
CHALO, stateful aspects in C
CHALO, stateful aspects in C
收藏 引用
7th Workshop on Aspects, Components, and Patterns for Infrastructure Software ACP4IS'08 held at the 7th international conference on Aspect-Oriented Software Development, AOSD
作者: Adams, Bram Herzeel, Charlotte Gybels, Kris GH-SEL INTEC Ghent University Sint-Pietersnieuwstraat 41 B-9000 Ghent Belgium PROG Vrije Universiteit Brussel Pleinlaan 2 Brussels Belgium
History-based pointcut languages are a very expressive and powerful means to obtain robust pointcuts. To implement them in an efficient way, people have proposed various optimisations and program history retention str... 详细信息
来源: 评论
EJFlow: Taming exceptional control flows in aspect-oriented programming  08
EJFlow: Taming exceptional control flows in aspect-oriented ...
收藏 引用
7th international conference on Aspect-Oriented Software Development, AOSD.08
作者: Cacho, Nelio Filho, Fernando Castor Garcia, Alessandro Figueiredo, Eduardo Computing Department Lancaster University United Kingdom Department of Computing and Systems University of Pernambuco Brazil
Many of the problems that stem from the use of exception handling are caused by the local way in which exceptions are handled. It demands that developers understand the source of an exception, the place where it is ha... 详细信息
来源: 评论
A container-iterator parallel programming model
收藏 引用
7th international conference on Parallel Processing and Applied Mathematics
作者: Zumbusch, Gerhard Univ Jena Inst Angew Math D-07743 Jena Germany
there are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain specific programming models, a splitting into... 详细信息
来源: 评论
Groovy AOP: A dynamic AOP system for a JVM-based language
Groovy AOP: A dynamic AOP system for a JVM-based language
收藏 引用
6th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2008 - 7th international conference on Aspect-Oriented Software Development, AOSD 2008
作者: Kaewkasi, Chanwit Gurd, John R. School of Computer Science University of Manchester Manchester United Kingdom
Groovy AOP is a general-purpose AOP system for Groovy, a JVM-based dynamic language. Groovy AOP provides a hybrid dynamic AOP implementation based on both metaprogramming and bytecode transformation. It implements the... 详细信息
来源: 评论
Implementing design patterns in CaesarJ: An exploratory study
Implementing design patterns in CaesarJ: An exploratory stud...
收藏 引用
6th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2008 - 7th international conference on Aspect-Oriented Software Development, AOSD 2008
作者: Monteiro, Miguel P. Sousa, Edgar Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2829-516 Caparica Portugal Departamento de Informática Universidade do Minho Campus de Gualtar 4710-057 Braga Portugal
In the past, repositories of examples of the well-known Gang-of-Four design patterns brought insights on the potential contributions of aspect-oriented programming, as well as providing a suitable case study for subse... 详细信息
来源: 评论
Tightness results for malleable task scheduling algorithms
收藏 引用
7th international conference on Parallel Processing and Applied Mathematics
作者: Schwarz, Ulrich M. Univ Kiel Inst Informat D-24098 Kiel Germany
Malleable tasks are a way of modelling jobs that can be parallelized to get a (usually sublinear) speedup. the best currently known approximation algorithms for scheduling malleable tasks with precedence constraints a... 详细信息
来源: 评论
Proceedings of the 7th international conference on Interaction Design and Children, IDC 2008
Proceedings of the 7th International Conference on Interacti...
收藏 引用
7th international conference on Interaction Design and Children, IDC 2008
the proceedings contain 60 papers. the topics discussed include: accountable game designs for classroom learning;utilizing technology to support the development of empathy;digital learning ecosystems: authoring, colla...
来源: 评论