咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 308 篇 软件工程
    • 56 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 22 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 220 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 34 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 20 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 712 篇 英文
  • 21 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是31-40 订阅
排序:
IBM RESPONSES TO THE SHARE SOFTWARE SERVICE TASK FORCE REPORT.
IBM RESPONSES TO THE SHARE SOFTWARE SERVICE TASK FORCE REPOR...
收藏 引用
Proceedings - SEAS Spring Meeting 1984: Processing Statistical Information.
作者: Fenton, L.H. IBM VM Programming Systems Kingston NY USA IBM VM Programming Systems Kingston NY USA
The report addressed five major areas of concern: quality, the interface between the customer and IBM, the need for better problem diagnostic tools, and the process for delivering product and service. In addition, rec... 详细信息
来源: 评论
The computer center and academic support services at the University of Akron  75
The computer center and academic support services at the Uni...
收藏 引用
3rd Annual ACM SIGUCCS Conference on User Services, SIGUCCS 1975
作者: Briechle, Robert L. Academic Systems and Programming United States
The Academic systems and programming Section at The University of Akron is the organizational unit of the Computer Center responsible for user services directed towards the academic community. The section is comprised...
来源: 评论
B3-SPLINES FOR INTERACTIVE CURVE AND SURFACE FITTING
收藏 引用
COMPUTERS & GRAPHICS 1990年 第2期14卷 281-288页
作者: CHU, KC IBM Programming Systems 2800 Sand Hill Rd. Menlo Park CA 94025 USA
B3-splines are introduced in this paper with explicit expressions. The new splines are extensions of the B-spline but overcome the latter's weakness of not passing through interpolation points for curve or surface... 详细信息
来源: 评论
Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes  35th
Employing Polyhedral Methods to Reduce Data Movement in FP...
收藏 引用
35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022
作者: Mayer, Florian Brandner, Julian Philippsen, Michael Programming Systems Group Erlangen Germany
Due to the ubiquity of stencil codes in scientific computing there is a strong need to optimize their runtimes. When using a GPU as an accelerator, programmers need to amortize the cost of shipping data to/from the de... 详细信息
来源: 评论
DATA MODELING FOR SOFTWARE-DEVELOPMENT
收藏 引用
IBM systems JOURNAL 1990年 第2期29卷 228-235页
作者: MATTHEWS, RW MCGEE, WC Santa Teresa Laboratory IBM Programming Systems San Jose CA
One of the motivations for the use of a facility such as the Repository Manager™ in an information processing system is to centralize the information needed for the development of software. What this information is an...
来源: 评论
REPOSITORY MANAGER TECHNOLOGY
收藏 引用
IBM systems JOURNAL 1990年 第2期29卷 209-227页
作者: SAGAWA, JM Santa Teresa Laboratory IBM Programming Systems San Jose CA
IBM's Repository Manager™ enables specifications involved in the program application development process to be managed. On the basis of the technology, the Repository Manager/MVS™ was developed as a product. The p...
来源: 评论
Just-in-time software pipelining
Just-in-time software pipelining
收藏 引用
12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014
作者: Rong, Hongbo Park, Hyunchul Wu, Youfeng Wang, Cheng Programming Systems Lab United States
Software pipelining exploits instruction-level parallelism from loops. In static compilers, it has been one of the most eficient optimizations for wide-issue architectures. How- ever, the compilation time is at least ... 详细信息
来源: 评论
EXCEPTION HANDLING - EXPECTING THE UNEXPECTED
收藏 引用
COMPUTER LANGUAGES 1994年 第2期20卷 69-87页
作者: DREW, SJ GOUGH, KJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Queensland Australia 4000
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor... 详细信息
来源: 评论
Fail-safety techniques and their extensions to concurrent systems
收藏 引用
COMPUTER LANGUAGES 1996年 第4期22卷 193-203页
作者: Drew, SJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Sydney Queensland Australia 4000
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a... 详细信息
来源: 评论
THE ROLE OF WORK MANAGEMENT IN APPLICATION DEVELOPMENT
收藏 引用
IBM systems JOURNAL 1990年 第2期29卷 189-208页
作者: CHROUST, G GOLDMANN, H GSCHWANDTNER, O IBM Programming Systems Vienna Software Development Laboratory Vienna Austria
Quality is probably one of the most serious concerns of today's software community. For software applications exhibiting a certain complexity, the quality of a product can only be guaranteed by a methodological ap...
来源: 评论