咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是271-280 订阅
排序:
Learning extended finite state machines
收藏 引用
12th International Conference on Software Engineering and Formal Methods, SEFM 2014
作者: Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Carnegie Mellon University Moffet CA United States Department of Programming Systems Technical University Dortmund Germany
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree q... 详细信息
来源: 评论
Morpheus: A degradation framework for resilient IoT systems  9
Morpheus: A degradation framework for resilient IoT systems
收藏 引用
STAF 2021 Workshop: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International Workshop on MDE for Smart IoT systems, 4th International Workshop on (Meta) Modeling for Healthcare systems, and 20th International Workshop on OCL and Textual Modeling, STAF-WS 2021
作者: Heß, Alexander Hauck, Franz J. Mödinger, David Pietron, Jakob Tichy, Matthias Domaschka, Jörg Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany Institute of Information Resource Management Ulm University Germany
Graceful degradation is an established concept to improve the resilience of systems, especially when other resilience mechanisms have failed. Its implementation is often heavily tied to the application code and, thus,... 详细信息
来源: 评论
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic Control System
Runtime Analysis of a Self-Adaptive Hard Real-Time Robotic C...
收藏 引用
IEEE Workshop on Engineering of Autonomic and Autonomous systems (EASE)
作者: Jens Steiner Matthias Hagner Institute for Programming and Reactive Systems Technical University of Braunschweig Germany
This paper describes a software architecture for parallel kinematic machines and its evolvement to a self-adaptive system striving to optimize, protect and heal itself Self-* properties are provided by self-manager co... 详细信息
来源: 评论
Evolutionary algorithms that use runtime migration of detector processes to reduce latency in event-based systems
Evolutionary algorithms that use runtime migration of detect...
收藏 引用
2013 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2013
作者: Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Programming Systems Group CS Dept. University of Erlangen-Nuremberg Germany Sensor Fusion and Event Processing Group Locating and Comm. Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Erlangen Germany
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... 详细信息
来源: 评论
Configuration of Labeled Trees under Lexicalized Constraints and Principles
收藏 引用
Research on Language and Computation 2003年 第3期1卷 307-336页
作者: Duchier, Denys Programming Systems Lab Universität des Saarlandes Saarbrücken Germany (E-mail
Trees with labeled edges have widespread applicability, for examplefor the representation of dependency syntax trees. Given a fixednumber of nodes and constraints on how edges may be drawn betweenthem, the task of fin...
来源: 评论
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Spec...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Sven Jörges Bernhard Steffen Chair of Programming Systems TU Dortmund University Dortmund Germany
This paper shows how the reflexivity of Ecore can be exploited for incrementally bootstrapping domain-specific code generators in the model-driven and service-oriented code generation framework Genesys. Key to this te... 详细信息
来源: 评论
Dependency grammar: Classification and exploration
收藏 引用
作者: Debusmann, Ralph Kuhlmann, Marco Programming Systems Lab. Saarland University 66123 Saarbrücken Germany Department of Linguistics and Philology Uppsala University 75126 Uppsala Sweden
Syntactic representations based on word-to-word dependencies have a long tradition in descriptive linguistics [29]. In recent years, they have also become increasingly used in computational tasks, such as information ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Video-Based Real-Time Heart Rate Detection for Drivers Inside the Cabin Using a Smartphone
Video-Based Real-Time Heart Rate Detection for Drivers Insid...
收藏 引用
2022 IEEE International Conference on Internet of Things and Intelligence systems, IoTaIS 2022
作者: Othman, Walaa Kashevnik, Alexey Itmo University Information Technology and Programming Faculty St. Petersburg Russia Laboratory of Computer-aided Integrated Systems Spc Ras St. Petersburg Russia
Developing vehicles with the Internet of Thing technology including driver health monitoring systems, driver safety systems, and accident prevention has drawn the attention of researchers in the last few years. The mo... 详细信息
来源: 评论
Simplified Validation of Emergent systems through Automata Learning-Based Testing
Simplified Validation of Emergent Systems through Automata L...
收藏 引用
Annual IEEE/ NASA Goddard Workshop on Software Engineering
作者: Bernhard Steffen Johannes Neubauer Chair of Programming Systems Technische Universität Dortmund Germany
In this paper we present a novel approach to the test-based validation of complex heterogeneous applications which is tailored to simplify the requirements for the responsible personnel. Key to our approach is to auto... 详细信息
来源: 评论