咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是161-170 订阅
排序:
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... 详细信息
来源: 评论
Synchrony versus causality in distributed systems
Synchrony versus causality in distributed systems
收藏 引用
作者: Peters, Kirstin Schicke-Uffmann, Jens-Wolfhard Goltz, Ursula Nestmann, Uwe School of Electrical Engineering and Computer Science TU Berlin Germany Institute for Programming and Reactive Systems TU Braunschweig Germany
Given a synchronous system, we study the question whether - or, under which conditions - the behaviour of that system can be realized by a (non-trivially) distributed and hence asynchronous implementation. In this pap... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Automated regression testing of CTI-systems
Automated regression testing of CTI-systems
收藏 引用
IEEE European Test Workshop, ETW 2001
作者: Niese, Oliver Margaria, Tiziana Hagerer, Andreas Steffen, Bernhard Brune, Georg Goerigk, Werner Ide, Hans-Dieter METAFrame Technologies GmbH Dortmund Germany Department of Programming Systems Univ. of Dortmund Germany Siemens AG Witten Germany
In this paper we present an integrated testing environment for the automated regression test of Computer Telephony Integrated applications. Its novelty consists of a coordinative test management layer that instantiate... 详细信息
来源: 评论
Supporting process development in Bio-jETI by model checking and synthesis
Supporting process development in Bio-jETI by model checking...
收藏 引用
Workshop on Semantic Web Applications and Tools for Life Sciences, SWAT4LS 2008
作者: Lamprecht, Anna-Lena Margaria, Tiziana Steffen, Bernhard Programming Systems Dortmund University of Technology 44227 Dortmund Germany Service and Software Engineering Potsdam University 14482 Potsdam Germany
Bio-jETI is a platform for the intuitive graphical design and execution of bioinformatics workows composed from heterogeneous remote services. In this paper we use a simple phylogenetic analysis process to show how fo... 详细信息
来源: 评论
Guest editor's introduction
收藏 引用
International Journal on Software Tools for Technology Transfer 2009年 第3期11卷 173-174页
作者: Hinchey, Mike Margaria, Tiziana Steffen, Bernhard Lero The Irish Software Engineering Research Centre Limerick Ireland Department of Service and Software Engineering University of Potsdam Potsdam Germany Department of Programming Systems TU Dortmund Dortmund Germany
来源: 评论
Improving Predictions of Long Sequences by Hyperparameter Tuning  10
Improving Predictions of Long Sequences by Hyperparameter Tu...
收藏 引用
10th International Scientific Conference on Computer Science, COMSCI 2022
作者: Koparanov, Kiril Andreev Georgiev, Krasin Krasimirov Shterev, Vasil Aleksandrov Minkovska, Daniela Veleva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Department of Air Transport Faculty of Transport Department of Communication Networks Faculty of Telecommunications Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. 1000 Sofia Bulgaria
The problem of forecasting long sequences is important in many different domains. Proper selection of the hyperparameters when a machine learning approach is applied could make the difference between adequate and inad... 详细信息
来源: 评论
StarDBT: An efficient multi-platform dynamic binary translation system
StarDBT: An efficient multi-platform dynamic binary translat...
收藏 引用
12th Asia-Pacific Computer systems Architecture Conference, ACSAC 2007
作者: Wang, Cheng Hu, Shiliang Kim, Ho-Seop Nair, Sreekumar R. Breternitz Jr., Mauricio Ying, Zhiwei Wu, Youfeng Programming Systems Lab. Intel Corporation 2200 Mission College Blvd Santa Clara CA 95052 United States
This paper describes the design and implementation of a research dynamic binary translation system, StarDBT, which runs many real-world applications. StarDBT is a multi-platform translation system that is capable of t... 详细信息
来源: 评论
Relaxing underspecified semantic representations for reinterpretation
收藏 引用
Grammars 2000年 第2-3期3卷 217-241页
作者: Koller, Alexander Niehren, Joachim Striegnitz, Kristina Department of Computational Linguistics University of the Saarland 66041 Saarbrücken Germany Programming Systems Lab. University of the Saarland 66041 Saarbrücken Germany
Type and sort conflicts in semantics are usually resolved by a process of reinterpretation, which introduces an operator into the semantic representation. We elaborate on the foundations of a recent approach to reinte... 详细信息
来源: 评论
ITKBoard: A visual dataflow language for biomedical image processing
ITKBoard: A visual dataflow language for biomedical image pr...
收藏 引用
2nd International Conference on Software and Data Technologies
作者: Le, Hoang D. K. Li, Rongxin Ourselin, Sebastien Potter, John M. BioMedIA Autonomous Systems Laboratory Australia Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney Australia
Experimenters in biomedical image processing rely on software libraries to provide a large number of standard filtering and image handling algorithms. The Insight Toolkit (ITK) is an open-source library that provides ... 详细信息
来源: 评论