咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 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...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 software enginee...
  • 12 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 11 篇 artificial intel...
  • 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...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 19 篇 bernhard steffen
  • 17 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 tiziana margaria
  • 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

语言

  • 693 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Programming Systems"
720 条 记 录,以下是291-300 订阅
排序:
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... 详细信息
来源: 评论
Allocating rotating registers by scheduling  46
Allocating rotating registers by scheduling
收藏 引用
46th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2013
作者: Rong, Hongbo Park, Hyunchul Wang, Cheng Wu, Youfeng Programming Systems Lab. Intel Labs. United States
A rotating alias register file is a scalable hardware support to detect memory aliases at run-time. It has been shown that it can enable instruction-level parallelism to be effectively exploited from sequential code. ... 详细信息
来源: 评论
Higher-order process modeling: Product-lining, variability modeling and beyond
Higher-order process modeling: Product-lining, variability m...
收藏 引用
Semantics, Abstract Interpretation, and Reasoning About Programs: Essays Dedicated to David A. Schmidt on the Occasion of His 60th Birthday
作者: Neubauer, Johannes Steffen, Bernhard Margaria, Tiziana Programming Systems Technische Universität Dortmund Germany Service and Software Engineering Universität Potsdam Germany
We present a graphical and dynamic framework for binding and execution of (business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inte... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Object Support for OpenMP-style programming of GPU Clusters in Java
Object Support for OpenMP-style Programming of GPU Clusters ...
收藏 引用
International Conference on Advanced Information Networking and Applications Workshops (AINAW)
作者: Carolin Wolf Georg Dotzler Ronald Veldema Michael Philippsen Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Erlangen Germany
For scientists, it is advantageous to use a high level of abstraction for programming their simulations, so that they can focus on the problem at hand instead of struggling with low-level details. However, current HPC... 详细信息
来源: 评论
Acceldroid: Co-designed acceleration of Android bytecode
Acceldroid: Co-designed acceleration of Android bytecode
收藏 引用
International Symposium on Code Generation and Optimization (CGO)
作者: Cheng Wang Youfeng Wu Marcelo Cintra Programming Systems Laboratory Microprocessor and Programming Research Intel Laboratories USA
A hardware/software co-designed processor transparently supports a ubiquitous ISA (e.g. ×86) with diversified and innovative microarchitectural implementations. It leverages co-designed HW features and dynamic bi... 详细信息
来源: 评论
Querying sentiment development over time
Querying sentiment development over time
收藏 引用
10th International Conference on Flexible Query-Answering systems, FQAS 2013
作者: Andreasen, Troels Christiansen, Henning Have, Christian Theil Research Group PLIS: Programming Logic and Intelligent Systems Dept. of Communication Business and Information Technologies Roskilde University Denmark
A new language is introduced for describing hypotheses about fluctuations of measurable properties in streams of timestamped data, and as prime example, we consider trends of emotions in the constantly flowing stream ... 详细信息
来源: 评论
Reducing higher-order theorem proving to a sequence of SAT problems
Reducing higher-order theorem proving to a sequence of SAT p...
收藏 引用
作者: Brown, Chad E. Programming Systems Lab Universität des Saarlandes Campus E1 3 66123 Saarbrücken Germany
We describe a complete theorem proving procedure for higher-order logic that uses SAT-solving to do much of the heavy lifting. The theoretical basis for the procedure is a complete, cut-free, ground refutation calculu... 详细信息
来源: 评论
Hybrid-logical reasoning in false-belief tasks  14
Hybrid-logical reasoning in false-belief tasks
收藏 引用
14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013
作者: Braüner, Torben Programming Logic and Intelligent Systems Research Group Roskilde University P.O. Box 260 RoskildeDK-4000 Denmark
The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logic... 详细信息
来源: 评论
CellCilk: Extending cilk for heterogeneous multicore platforms
CellCilk: Extending cilk for heterogeneous multicore platfor...
收藏 引用
24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011
作者: Werth, Tobias Schreier, Silvia Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Germany Faculty of Mathematics and Computer Science Data Processing Technology University of Hagen Germany
The potential of heterogeneous multicores, like the Cell BE, can only be exploited if the host and the accelerator cores are used in parallel and if the specific features of the cores are considered. Parallel programm... 详细信息
来源: 评论