咨询与建议

限定检索结果

文献类型

  • 78 篇 会议
  • 17 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 77 篇 工学
    • 71 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 电气工程
    • 4 篇 生物工程
    • 3 篇 农业工程
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 动力工程及工程热...
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 32 篇 理学
    • 22 篇 数学
    • 8 篇 系统科学
    • 4 篇 物理学
    • 4 篇 生物学
    • 1 篇 科学技术史(分学科...
    • 1 篇 统计学(可授理学、...
  • 23 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 10 篇 工商管理
    • 9 篇 图书情报与档案管...
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 文学
    • 2 篇 中国语言文学
    • 2 篇 外国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 5 篇 semantics
  • 4 篇 memory managemen...
  • 4 篇 software enginee...
  • 4 篇 optimization
  • 4 篇 instruction sets
  • 4 篇 scheduling
  • 3 篇 parallel program...
  • 3 篇 locks (fasteners...
  • 2 篇 dynamic optimiza...
  • 2 篇 underspecificati...
  • 2 篇 context free gra...
  • 2 篇 tree description...
  • 2 篇 languages
  • 2 篇 programming
  • 2 篇 application soft...
  • 2 篇 modeling languag...
  • 2 篇 load modeling
  • 2 篇 tracking
  • 2 篇 acceleration
  • 2 篇 specifications

机构

  • 8 篇 programming syst...
  • 4 篇 programming dist...
  • 3 篇 programming syst...
  • 3 篇 institute for pr...
  • 3 篇 department of co...
  • 2 篇 machine learning...
  • 2 篇 max-planck-insti...
  • 2 篇 vehicular system...
  • 2 篇 programming syst...
  • 2 篇 programming dist...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 tu braunschweig ...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 2 篇 dept. mathematic...
  • 2 篇 programming dist...
  • 2 篇 programming syst...
  • 2 篇 programming syst...
  • 1 篇 depts. of comput...

作者

  • 12 篇 wu youfeng
  • 10 篇 bauer bernhard
  • 8 篇 wang cheng
  • 8 篇 niehren joachim
  • 6 篇 koller alexander
  • 5 篇 smolka gert
  • 5 篇 saha bratin
  • 5 篇 lautenbacher flo...
  • 4 篇 lochau malte
  • 4 篇 breternitz jr. m...
  • 4 篇 kuhlmann marco
  • 3 篇 duchier denys
  • 3 篇 cheng wang
  • 3 篇 adl-tabatabai al...
  • 3 篇 erk katrin
  • 3 篇 rong hongbo
  • 3 篇 youfeng wu
  • 3 篇 debusmann ralph
  • 3 篇 möhl mathias
  • 3 篇 rajagopalan moha...

语言

  • 97 篇 英文
检索条件"机构=programming Systems Lab"
97 条 记 录,以下是11-20 订阅
排序:
Towards incremental test suite optimization for software product lines  14
Towards incremental test suite optimization for software pro...
收藏 引用
6th International Workshop on Feature-Oriented Software Development, FOSD 2014
作者: Baller, Hauke Lochau, Malte Institute for Programming and Reactive Systems Braunschweig Germany Real-time Systems Lab Darmstadt Germany
The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given co... 详细信息
来源: 评论
Just-In-Time Software Pipelining  14
Just-In-Time Software Pipelining
收藏 引用
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
作者: Hongbo Rong Hyunchul Park Youfeng Wu Cheng Wang Programming Systems Lab Intel Labs
Software pipelining exploits instruction-level parallelism from loops. In static compilers, it has been one of the most efficient optimizations for wide-issue architectures. However, the compilation time is at least O... 详细信息
来源: 评论
AccelDroid: Co-designed Acceleration of Android Bytecode
AccelDroid: Co-designed Acceleration of Android Bytecode
收藏 引用
11th IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
作者: Wang, Cheng Wu, Youfeng Cintra, Marcelo Programming Systems Lab Microprocessor and Programming Research Intel Labs
A hardware/software co-designed processor transparently supports a ubiquitous ISA (e.g. x86) with diversified and innovative microarchitectural implementations. It leverages co-designed HW features and dynamic binary ... 详细信息
来源: 评论
Multi-Objective Test Suite Optimization for Incremental Product Family Testing
Multi-Objective Test Suite Optimization for Incremental Prod...
收藏 引用
IEEE International Conference on Software Testing, Verification and Validation
作者: Hauke Baller Sascha Lity Malte Lochau Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems TU Darmstadt Real Time Systems Lab TU Braunschweig Institute of Software Engineering and Automotive Informatics
The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at e... 详细信息
来源: 评论
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. ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Model-based dynamic optimization with openmodelica and CasADi
Model-based dynamic optimization with openmodelica and CasAD...
收藏 引用
7th IFAC Symposium on Advances in Automotive Control, AAC 2013
作者: Shitahun, Alachew Ruge, Vitalij Gebremedhin, Mahder Bachmann, Bernhard Eriksson, Lars Andersson, Joel Diehl, Moritz Fritzson, Peter PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden K.U. Leuven Belgium
This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical o... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Resource-oriented consistency analysis of engineering processes
Resource-oriented consistency analysis of engineering proces...
收藏 引用
14th International Conference on Enterprise Information systems, ICEIS 2012
作者: Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany
A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering p... 详细信息
来源: 评论