咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
HW/SW Co-designed Acceleration of Dynamic Languages
HW/SW Co-designed Acceleration of Dynamic Languages
收藏 引用
14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded systems
作者: Wu, Youfeng Programming Systems Lab United States
Dynamic programming Languages, such as Java, JavaScr ipt, PHP, Perl, Python, Ruby, etc., are dominating languages for programming the web. HW/SW co-designed virtual machine can significantly accelerate their execution... 详细信息
来源: 评论
SMARQ: Software-Managed Alias Register Queue for Dynamic Optimizations  45
SMARQ: Software-Managed Alias Register Queue for Dynamic Opt...
收藏 引用
45th IEEE/ACM Annual International Symposium on Microarchitecture (MICRO)
作者: Wang, Cheng Wu, Youfeng Rong, Hongbo Park, Hyunchul Programming Systems Laboratory Microprocessor and Programming Research Intel Laboratories USA
Traditional alias analysis is expensive and ineffective for dynamic optimizations. In practice, dynamic optimization systems perform memory optimizations speculatively, and rely on hardware, such as alias registers, t... 详细信息
来源: 评论
DISTRIBUTED DATABASE FOR SAA
收藏 引用
IBM systems JOURNAL 1988年 第3期27卷 362-369页
作者: REINSCH, R IBM Programming Systems Division San Jose CA
This paper describes, in general terms, distributed database and its relationship to systems Application Architecture (SAA). It shows the importance to effective distribution of IBM's Structured Query Language (SQ...
来源: 评论
Transactional programming in a multi-core environment  07
Transactional programming in a multi-core environment
收藏 引用
2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07
作者: Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University
With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core p... 详细信息
来源: 评论
THE CROSS SYSTEM PRODUCT APPLICATION GENERATOR - AN EVOLUTION
收藏 引用
IBM systems JOURNAL 1988年 第3期27卷 384-390页
作者: HAYNES, WK DEWELL, ME HERMAN, PJ IBM Programming Systems Development Laboratory Cary NC
An application generator is a generalized application development tool with which professional programmers develop applications using a fourth-generation language. This paper describes the requirements that led to the...
来源: 评论
CHARACTER LOSS IN CERTAIN CLASSES OF COMPUTERS
收藏 引用
IEEE TRANSACTIONS ON COMMUNICATION TECHNOLOGY 1965年 第4期CO13卷 425-+页
作者: WEINGARTEN, A Real Time Systems Programming Division ITT Paramus NJ USA
Character loss in a conceptual computer at its input terminals is analyzed. This is first done within the classical framework in which a system must be designed to allow no loss whatsoever. The problem is then treated... 详细信息
来源: 评论
Constraint logic programming for resolution of relative time expressions
收藏 引用
10th Conference on Computability in Europe, CiE 2014
作者: Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University Denmark
Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time... 详细信息
来源: 评论
Towards the Unmanned Factory
收藏 引用
Industrial Management & Data systems 1983年 第3-4期83卷 10-12页
作者: Shaw, Ray Industrial Division Systems Programming Limited
Ever since the industrial revolution in the eighteenth century, the proportion of the population engaged in argriculture has been steadily falling while the number of industrial workers has increased; that is, until t...
来源: 评论
STORAGE REQUIREMENTS FOR MESSAGE SWITCHING COMPUTER
收藏 引用
IEEE TRANSACTIONS ON COMMUNICATIONS systems 1964年 第2期CS12卷 191-&页
作者: WEINGARTEN, AW Real Time Systems Programming Division ITT Paramus NJ USA
A mathematical model which utilizes queuing theory is devised for estimating the storage requirements of a message switching computer. Since the storage needed for a message is proportional to the message length, the ... 详细信息
来源: 评论
"A user's experience in computer aided manufacturing" or "CAM" at GTE - Automatic electric  15
"A user's experience in computer aided manufacturing" or "CA...
收藏 引用
15th Design Automation Conference, DAC 1978
作者: Olson, H.T. Systems and Programming United States
The term "Computer Aided Manufacturing" (CAM) congers up different ideas in the minds of different people, depending upon their particular area of expertise, and the size and type of the company they are ass... 详细信息
来源: 评论