咨询与建议

限定检索结果

文献类型

  • 21 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 21 篇 工学
    • 20 篇 计算机科学与技术...
    • 19 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
  • 3 篇 理学
    • 3 篇 数学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

  • 2 篇 semantics
  • 2 篇 formal verificat...
  • 1 篇 voltmeters
  • 1 篇 programming lang...
  • 1 篇 computer algebra
  • 1 篇 exceptions
  • 1 篇 bill of material...
  • 1 篇 standard templat...
  • 1 篇 libraries
  • 1 篇 functors
  • 1 篇 threshold voltag...
  • 1 篇 computational ef...
  • 1 篇 model checking
  • 1 篇 generic librarie...
  • 1 篇 parallel program...
  • 1 篇 exception-safety
  • 1 篇 c++ (programming...
  • 1 篇 program interpre...
  • 1 篇 field programmab...
  • 1 篇 graph algorithm

机构

  • 1 篇 edison design gr...
  • 1 篇 eotvos lorand un...
  • 1 篇 univ tubingen d-...
  • 1 篇 rensselaer polyt...
  • 1 篇 lucent technol m...
  • 1 篇 university of il...
  • 1 篇 molde coll n-640...
  • 1 篇 univ nacl cuyo f...
  • 1 篇 univ munster d-4...
  • 1 篇 los alamos natio...
  • 1 篇 dragon systems u...
  • 1 篇 kansas state uni...
  • 1 篇 swiss fed inst t...
  • 1 篇 daimlerchrysler ...
  • 1 篇 rensselaer polyt...
  • 1 篇 ecole polytech f...
  • 1 篇 dept.of electric...
  • 1 篇 claas solutions ...
  • 1 篇 univ s australia...
  • 1 篇 univ karlsruhe k...

作者

  • 2 篇 schupp s
  • 2 篇 loos r
  • 1 篇 bischof h
  • 1 篇 czarnecki krzysz...
  • 1 篇 smith stephen
  • 1 篇 schirra s
  • 1 篇 schwarzweller c
  • 1 篇 vera de serio v....
  • 1 篇 m.h. hristov
  • 1 篇 taha w
  • 1 篇 dwyer matthew b.
  • 1 篇 porkoláb z
  • 1 篇 veltkamp r
  • 1 篇 loos rüdiger g. ...
  • 1 篇 humphrey william
  • 1 篇 talcott carolyn ...
  • 1 篇 stepanov alexand...
  • 1 篇 schreiner w
  • 1 篇 näher s
  • 1 篇 reynders john

语言

  • 23 篇 英文
  • 1 篇 其他
检索条件"任意字段=International Seminar on Generic Programming"
24 条 记 录,以下是1-10 订阅
排序:
Stability of the Duality Gap in Linear Optimization
收藏 引用
SET-VALUED AND VARIATIONAL ANALYSIS 2017年 第3期25卷 617-636页
作者: Goberna, M. A. Ridolfi, A. B. Vera de Serio, V. N. Univ Alicante Dept Math E-03080 Alicante Spain Univ Nacl Cuyo Fac Ciencias Econ Fac Ciencias Aplicadas Ind Mendoza Argentina Univ Nacl Cuyo Fac Ciencias Econ Mendoza Argentina
In this paper we consider the duality gap function g that measures the difference between the optimal values of the primal problem and of the dual problem in linear programming and in linear semi-infinite programming.... 详细信息
来源: 评论
Practical Techniques for Language Design and Prototyping
Practical Techniques for Language Design and Prototyping
收藏 引用
Foundations of Global Computing 2005
作者: Stehr, Mark-Oliver Talcott, Carolyn L. University of Illinois at Urbana-Champaign Dept. of Computer Science UrbanaIL61801-2302 United States SRI International Computer Science Laboratory Menlo ParkCA94025 United States
Global computing involves the interplay of a vast variety of languages, but practially useful foundations for language specification and prototyping at the semantic level are lacking. In this paper we present a system... 详细信息
来源: 评论
Design and implementation of a V-f converter using FPAA
Design and implementation of a V-f converter using FPAA
收藏 引用
international Spring seminar on Electronics Technology
作者: P.I. Yakimov E.D. Manolov M.H. Hristov Faculty of Electronic Engineering and Technologies Technical University of Sofia Sofia Bulgaria
Voltage-to-frequency converters convert an input analog voltage to square waves at frequencies that are accurately proportional to the analog quantity. They are built into long-term high-precision integrators, digital... 详细信息
来源: 评论
generic parallel programming using C++ templates and skeletons
收藏 引用
international seminar on Domain-Specific Program Generation
作者: Bischof, H Gorlatch, S Leshchinskiy, R Univ Munster D-4400 Munster Germany Tech Univ Berlin Berlin Germany
We study how the concept of generic programming using C++ templates, realized in the Standard Template Library (STL), can be efficiently exploited in the specific domain of parallel programming. We present our approac... 详细信息
来源: 评论
A gentle introduction to multi-stage programming
收藏 引用
international seminar on Domain-Specific Program Generation
作者: Taha, W Rice Univ Dept Comp Sci Houston TX 77251 USA
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-designed language extensions that suppor... 详细信息
来源: 评论
The structured complexity of object-oriented programs
收藏 引用
MATHEMATICAL AND COMPUTER MODELLING 2003年 第7-9期38卷 815-827页
作者: Fóthi, A Nyéky-Gaizler, J Porkoláb, Z Eotvos Lorand Univ Dept Gen Comp Sci H-1117 Budapest Hungary
There are several methods measuring the complexity of object-oriented programs. Most of them are based on some special object-oriented feature: number of methods/classes, cohesion of classes, inheritance, etc. In prac... 详细信息
来源: 评论
international seminar on generic programming, 1998
International Seminar on Generic Programming, 1998
收藏 引用
international seminar on generic programming, 1998
The proceedings contain 20 papers. The special focus in this conference is on generic programming. The topics include: Fundamentals of generic programming;requirement oriented programming;the refinement relation of gr...
来源: 评论
generic programming: international seminar on generic programming dagstuhl castle, Germany, April 27-May 1, 1998 selected papers
Generic programming: International seminar on generic progra...
收藏 引用
international seminar on generic programming, 1998
作者: Jazayeri, Mehdi Loos, Rüdiger G. K. Musser, David R. Technical University of Vienna Information Systems Institute Distributed Systems Group Argentinierstr. 8/184-1 Vienna Austria Universität Tübingen Wilhelm-Schickard-Institut für Informatik Sand 13 Tübingen Germany Rensellaer Polytechnic Institute Computer Science Department TroyNY United States
来源: 评论
GeoWin -: A generic tool for interactive visualization of geometric algorithms
收藏 引用
international seminar on Softwave Visualization
作者: Bäsken, M Näher, S Univ Trier FB Informat 4 Trier Germany
This paper introduces GeoWin, a generic visualization tool for geometric algorithms. GeoWin can be easily interfaced with todays standard geometry software libraries like LEDA and CGAL. By supporting the generic progr... 详细信息
来源: 评论
Requirement oriented programming - Concepts, implications, and algorithms
Requirement oriented programming - Concepts, implications, a...
收藏 引用
international seminar on generic programming
作者: Musser, D Schupp, S Loos, R Rensselaer Polytech Inst Dept Comp Sci Troy NY 12181 USA Univ Tubingen Wilhelm Schickard Inst Informat D-72074 Tubingen Germany
generic programming is requirement oriented programming. We study the concept of genericity and generic concepts. Support of generic programming is exemplified by TECTON formalizations of algebraic and STL concepts. W... 详细信息
来源: 评论