咨询与建议

限定检索结果

文献类型

  • 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 篇 日文
检索条件"机构=Systems and Programming"
720 条 记 录,以下是301-310 订阅
排序:
Double inspection for run-time loop parallelization
Double inspection for run-time loop parallelization
收藏 引用
24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011
作者: Philippsen, Michael Tillmann, Nikolai Brinkers, Daniel Computer Science Dept. Programming Systems Group University of Erlangen-Nuremberg Erlangen Germany Microsoft Research One Microsoft Way Redmond WA United States
The Inspector/Executor is well-known for parallelizing loops with irregular access patterns that cannot be analyzed statically. The downsides of existing inspectors are that it is hard to amortize their high run-time ... 详细信息
来源: 评论
A declarative pipeline language for complex data analysis
A declarative pipeline language for complex data analysis
收藏 引用
22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012
作者: Christiansen, Henning Theil Have, Christian Torp Lassen, Ole Petit, Matthieu Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University P.O. Box 260 Roskilde 4000 Denmark
We introduce BANpipe - a logic-based scripting language designed to model complex compositions of time consuming analyses. Its declarative semantics is described together with alternative operational semantics facilit... 详细信息
来源: 评论
Evolutionary Algorithms that use Runtime Migration of Detector Processes to Reduce Latency in Event-Based systems
Evolutionary Algorithms that use Runtime Migration of Detect...
收藏 引用
NASA/ESA Conference on Adaptive Hardware and systems
作者: Christoffer Loffler Christopher Mutschler Michael Philippsen Programming Systems Group CS Dept. University of Erlangen-Nuremberg
Event-based systems (EBS) are widely used to efficiently process massively parallel data streams. In distributed event processing the allocation of event detectors to machines is crucial for both the latency and effic... 详细信息
来源: 评论
Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares  13
Reliable speculative processing of out-of-order event stream...
收藏 引用
7th ACM International Conference on Distributed Event-Based systems, DEBS 2013
作者: Mutschler, Christopher Philippsen, Michael University of Erlangen-Nuremberg Department of Computer Science Programming Systems Group Erlangen Germany Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany
In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Synthesis-based variability control: Correctness by construction
Synthesis-based variability control: Correctness by construc...
收藏 引用
10th International Symposium on Formal Methods for Components and Objects, FMCO 2011
作者: Lamprecht, Anna-Lena Margaria, Tiziana Schaefer, Ina Steffen, Bernhard Department for Service and Software Engineering University of Potsdam Germany Institut für Softwaretechnik und Fahrzeuginformatik Technische Universität Braunschweig Germany Department for Programming Systems Technical University Dortmund Germany
In this paper, we show the power of combining modern synthesis technology with a constraint-oriented approach to variability modeling. This combination guarantees the validity of all the required properties simply by ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A Methodology for Model-based Development and Automated Verification of Software for Aerospace systems
A Methodology for Model-based Development and Automated Veri...
收藏 引用
IEEE Aerospace Conference
作者: Lukas Martin Maxim Schatalov Matthias Hagner Ursula Goltz Olaf Maibaum Institute for Programming and Reactive Systems TU Braunschweig Simulation and Software Technology German Aerospace Center
Today's software for aerospace systems typically is very complex. This is due to the increasing number of features as well as the high demand for safety, reliability, and quality. This complexity also leads to sig... 详细信息
来源: 评论
Property-driven benchmark generation
Property-driven benchmark generation
收藏 引用
20th International Symposium on Model Checking Software, SPIN 2013
作者: Steffen, Bernhard Isberner, Malte Naujokat, Stefan Margaria, Tiziana Geske, Maren Department of Programming Systems Dortmund University of Technology Dortmund D-44227 Germany Carnegie Mellon University Moffett Field CA United States Department of Service and Software Engineering Universität Potsdam Potsdam D-14482 Germany
We present a systematic approach to the automatic generation of platform-independent benchmarks of tailored complexity for evaluating verification tools for reactive systems. Key to this approach is a tool chain that ... 详细信息
来源: 评论
A Distributed Polling with Probabilistic Privacy
A Distributed Polling with Probabilistic Privacy
收藏 引用
Reliable Distributed systems
作者: Yahya Benkaouz Rachid Guerraoui Mohammed Erradi Florian Huc Networking and Distributed Systems Research Group Mohammed V-Souissi University Rabat Morocco Distributed Programming Laboratory EPFL Lausanne Switzerland
In this paper, we present PDP, a distributed polling protocol that enables a set of participants to gather their opinion on a common interest without revealing their point of view. PDP does not rely on any centralized... 详细信息
来源: 评论