咨询与建议

限定检索结果

文献类型

  • 261 篇 会议
  • 21 篇 期刊文献
  • 9 册 图书

馆藏范围

  • 291 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 221 篇 工学
    • 185 篇 软件工程
    • 177 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 18 篇 电气工程
    • 16 篇 信息与通信工程
    • 8 篇 机械工程
    • 7 篇 安全科学与工程
    • 6 篇 生物医学工程(可授...
    • 6 篇 生物工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 交通运输工程
    • 4 篇 光学工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 航空宇航科学与技...
    • 4 篇 网络空间安全
    • 3 篇 仪器科学与技术
    • 3 篇 化学工程与技术
    • 1 篇 力学(可授工学、理...
  • 48 篇 理学
    • 36 篇 数学
    • 7 篇 系统科学
    • 6 篇 生物学
    • 5 篇 物理学
    • 5 篇 化学
    • 2 篇 统计学(可授理学、...
  • 41 篇 管理学
    • 25 篇 管理科学与工程(可...
    • 23 篇 图书情报与档案管...
    • 9 篇 工商管理
  • 10 篇 教育学
    • 10 篇 教育学
    • 2 篇 心理学(可授教育学...
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
  • 1 篇 医学
  • 1 篇 艺术学

主题

  • 23 篇 software enginee...
  • 21 篇 design
  • 19 篇 languages
  • 11 篇 computer program...
  • 11 篇 computer program...
  • 10 篇 object oriented ...
  • 9 篇 algorithms
  • 8 篇 performance
  • 8 篇 programming
  • 8 篇 programming tech...
  • 8 篇 code generation
  • 7 篇 feature-oriented...
  • 7 篇 automatic progra...
  • 7 篇 java
  • 7 篇 optimization
  • 7 篇 generic programm...
  • 7 篇 middleware
  • 6 篇 generative progr...
  • 6 篇 component
  • 6 篇 software archite...

机构

  • 4 篇 texas a&m univ c...
  • 3 篇 univ alberta dep...
  • 3 篇 school of space ...
  • 3 篇 univ magdeburg d...
  • 2 篇 univ lugano luga...
  • 2 篇 college of telec...
  • 2 篇 university of co...
  • 2 篇 orange labs maps...
  • 2 篇 johannes kepler ...
  • 2 篇 institute of sys...
  • 2 篇 univ southampton...
  • 2 篇 shanghai yanding...
  • 2 篇 univ marburg d-3...
  • 2 篇 kansas state uni...
  • 2 篇 department of in...
  • 2 篇 johannes kepler ...
  • 2 篇 ecole polytech f...
  • 2 篇 school of inform...
  • 2 篇 northeastern uni...
  • 2 篇 sixty-third rese...

作者

  • 7 篇 apel sven
  • 6 篇 binder walter
  • 5 篇 ansaloni danilo
  • 5 篇 moret philippe
  • 4 篇 kaestner christi...
  • 4 篇 batory don
  • 4 篇 moessenboeck han...
  • 3 篇 stefani jean-ber...
  • 3 篇 schaeffer j
  • 3 篇 schmitt alan
  • 3 篇 marcus mat
  • 3 篇 smith jacob n.
  • 3 篇 szafron d
  • 3 篇 cassou damien
  • 3 篇 fischer bernd
  • 2 篇 yuehui chen
  • 2 篇 yang yuan
  • 2 篇 javad marzbanrad
  • 2 篇 hatcliff john
  • 2 篇 guddat j

语言

  • 278 篇 英文
  • 13 篇 其他
  • 1 篇 中文
检索条件"任意字段=6th International Conference on Generative Programming and Component Engineering"
291 条 记 录,以下是221-230 订阅
排序:
Gaigen 2: A geometric algebra implementation generator  06
Gaigen 2: A geometric algebra implementation generator
收藏 引用
5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006
作者: Fontijne, Daniel University of Amsterdam
Geometric Algebra (GA) is an algebra that encodes geometry much better than standard techniques, which are mainly based on linear algebra with various extensions. Compared to standard techniques, GA has clearer semant... 详细信息
来源: 评论
generative design supported by tree based genetic algorithm
Generative design supported by tree based genetic algorithm
收藏 引用
6th IEEE international conference on Computer and Information Technology, CIT 2006
作者: Liu, Hong Liu, Xiyu School of Information Science and Engineering Shandong Normal University Jinan 250014 China School of Management Shandong Normal University Jinan 250014 China
this paper presents a novel computational approach that uses tree based genarative algorithm to generate design. this approach is illustrated by a reading lamp design example, which uses general mathematical expressio... 详细信息
来源: 评论
Modeling, validating and automating composition of web services  06
Modeling, validating and automating composition of web servi...
收藏 引用
ICWE'06: 6th international conference on Web engineering
作者: Fu, Yujian Dong, Zhijiang He, Xudong Florida International University Miami FL 33199
Current service architecture description language and composition approaches consider simplistic method invocation. they pay less attention to the formal semantics and verification of service composition in the design... 详细信息
来源: 评论
generative programming and component engineering - 4th international conference, GPCE 2005, Proceedings
Generative Programming and Component Engineering - 4th Inter...
收藏 引用
4th international conference on generative programming and component engineering, GPCE 2005
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova:... 详细信息
来源: 评论
A modified standard embedding with jumps in nonlinear optimization
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 2006年 第3期169卷 1185-1206页
作者: Guddat, J Vázquez, G Nowack, D Rückmann, JJ Univ Americas Puebla Escuela Ciencias Cholula 72820 Mexico Humboldt Univ Inst Math D-10099 Berlin Germany
the paper deals with a combination of pathfollowing methods (embedding approach) and feasible descent direction methods (so-called jumps) for solving a nonlinear optimization problem with equality and inequality const... 详细信息
来源: 评论
Programmed strategies for program verification
Programmed strategies for program verification
收藏 引用
6th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2006, as part of the Federated Logic conference, FLoC 2006
作者: Kieburtz, Richard B. OGI School of Science and Engineering OHSU Portland OR United States
Plover is an automated property-verifier for Haskell programs that has been under development for the past three years as a component of the Programatica project. In Programatica, predicate definitions and property as... 详细信息
来源: 评论
Polychronous mode automata
Polychronous mode automata
收藏 引用
6th ACM and IEEE international conference on Embedded Software, EMSOFT 2006
作者: Talpin, Jean-Pierre Brunette, Christian Gautier, thierry Gamatié, Abdoulaye IRISA/INRIA-Rennes Campus de Beaulieu F-35042 Rennes France INRIA Futurs 6b Av. Pierre et Marie Curie 59260 Lezennes France
Among related synchronous programming principles, the model of computation of the POLYCHRONY workbench stands out by its capability to give high-level description of systems where each component owns a local activatio... 详细信息
来源: 评论
A modified standard embedding with jumps in nonlinear optimization
A modified standard embedding with jumps in nonlinear optimi...
收藏 引用
6th international conference on Industrial engineering and Production Management
作者: Guddat, J Vázquez, G Nowack, D Rückmann, JJ Univ Americas Puebla Escuela Ciencias Cholula 72820 Mexico Humboldt Univ Inst Math D-10099 Berlin Germany
the paper deals with a combination of pathfollowing methods (embedding approach) and feasible descent direction methods (so-called jumps) for solving a nonlinear optimization problem with equality and inequality const... 详细信息
来源: 评论
Workflow deployment in ICENI II
收藏 引用
6th international conference on Computational Science (ICCS 2006)
作者: McGough, A. Stephen Lee, William Darlington, John Univ London Imperial Coll Sci Technol & Med Dept Comp London Esci Ctr London SW7 2AZ England
the Imperial College e-Science Networked Infrastructure (ICENI) has been developed by the London e-Science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware.... 详细信息
来源: 评论
Tutorial on generative Software Development
Tutorial on Generative Software Development
收藏 引用
international Software Product Line conference (SPLC)
作者: K. Czarnecki University of Waterloo Canada
Software product line engineering (SPLE) [5] seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In SPLE, new system variants c... 详细信息
来源: 评论