咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 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

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
743 条 记 录,以下是91-100 订阅
排序:
From locks to correct and efficient transactional memory
From locks to correct and efficient transactional memory
收藏 引用
作者: Wang, Cheng Wu, Youfeng Programming Systems Lab Microprocessor and Programming Research Intel Labs 2200 Mission College Blvd. Santa Clara CA 95052 United States
Transactional memory addresses a number of important issues in lock-based parallel programs. Unfortunately, the semantics of transactions are different from those of critical sections defined by locks. The semantic di... 详细信息
来源: 评论
Incremental model-based testing of delta-oriented software product lines
收藏 引用
6th International Conference on Tests and Proofs, TAP 2012
作者: Lochau, Malte Schaefer, Ina Kamischke, Jochen Lity, Sascha TU Braunschweig Institute for Programming and Reactive Systems Germany TU Braunschweig Institute for Software Systems Engineering Germany
Software product line (SPL) engineering provides a promising approach for developing variant-rich software systems. But, testing of every product variant in isolation to ensure its correctness is in general not feasib... 详细信息
来源: 评论
Issues of modelling of the intellectual capital reproduction and increment processes  16
Issues of modelling of the intellectual capital reproduction...
收藏 引用
16th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning, ICICKM 2019
作者: Volkov, Denis Mamedova, Natalia Department of Information Systems Management and Programming Plekhanov Russian University of Economics Moscow Russia
The paper contains threshold results and demonstrates a perspective for ongoing research in the field of digitalization of the economy. The relationship between the knowledge economy and intangible and material produc... 详细信息
来源: 评论
The functional programming language R and the paradigm of dynamic scientific programming (Position paper)
The functional programming language R and the paradigm of dy...
收藏 引用
13th Symposium on Trends in Functional programming, TFP 2012
作者: Widemann, Baltasar Trancón Y. Bolz, Carl Friedrich Grelck, Clemens Ecological Modelling and Computer Science Universität Bayreuth Germany Software Engineering and Programming Languages Heinrich-Heine-Universität Düsseldorf Germany Computer Systems Architecture Universiteit Van Amsterdam Netherlands
R is an environment and functional programming language for statistical data analysis and visualization. Largely unknown to the functional programming community, it is popular and influential in many empirical science... 详细信息
来源: 评论
Data flow analysis as model checking within the jABC
Data flow analysis as model checking within the jABC
收藏 引用
2006 Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2006 - 2006 Conference of the GI Division on Software Engineering, Software Engineering 2006
作者: Lamprecht, Anna-Lena Margaria, Tiziana Steffen, Bernhard Service Engineering for Distributed Systems Universität Göttingen Germany Programming Systems Universität Dortmund Germany
来源: 评论
The two year curriculum in Computer programming at Purdue University Calumet campus  79
The two year curriculum in Computer Programming at Purdue Un...
收藏 引用
Proceedings of the tenth SIGCSE technical symposium on Computer science education
作者: A. J. Adams John Maniotes Information Systems and Computer Programming Department Purdue University Calumet Campus Hammond Indiana
It is the intent of this paper to describe an implementation of a curriculum compatable with the ACM “Curriculum Recommendations and Guide-lines for the Community and Junior College Career Program in Computer Program...
来源: 评论
From lock to correct and efficient software transactional memory
From lock to correct and efficient software transactional me...
收藏 引用
2010 Workshop on Interaction between Compilers and Computer Architecture, INTERACT-14
作者: Wang, Cheng Wu, Youfeng Programming Systems Lab. Microprocessor and Programming Research Intel Labs. 2200 Mission College Blvd Santa Clara CA 95053 United States
Transactional memory solves many problems in lock-based parallel programs. Unfortunately, the semantics of transactions are different from those of critical sections defined by locks. The semantic differences make it ... 详细信息
来源: 评论
Enabling scalability and performance in a large scale CMP environment  07
Enabling scalability and performance in a large scale CMP en...
收藏 引用
2007 Eurosys Conference
作者: Saha, Bratin Adl-Tabatabai, Ali-Reza Ghuloum, Anwar Rajagopalan, Mohan Hudson, Richard L. Petersen, Leaf Menon, Vijay Murphy, Brian Shpeisman, Tatiana Sprangle, Eric Rohillah, Anwar Carmean, Doug Fang, Jesse Programming Systems Lab. Intel Corporation Digital Enterprise Group Intel Corporation
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While existing CMP machines have traditionally be... 详细信息
来源: 评论
Annotation support for generic patches
Annotation support for generic patches
收藏 引用
2012 3rd International Workshop on Recommendation systems for Software Engineering, RSSE 2012
作者: Dotzler, Georg Veldema, Ronald Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
In large projects parallelization of existing programs or refactoring of source code is time consuming as well as error-prone and would benefit from tool support. However, existing automatic transformation systems are... 详细信息
来源: 评论
Enabling multiple accelerator acceleration for Java/OpenMP  3
Enabling multiple accelerator acceleration for Java/OpenMP
收藏 引用
3rd USENIX Workshop on Hot Topics in Parallelism, HotPar 2011
作者: Veldema, Ronald Blass, Thorsten Philippsen, Michael University of Erlangen-Nuremberg Computer Science Department Programming Systems Group Erlangen Germany
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal... 详细信息
来源: 评论