咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 7 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 26 篇 工学
    • 20 篇 计算机科学与技术...
    • 16 篇 软件工程
    • 5 篇 土木工程
    • 4 篇 安全科学与工程
    • 3 篇 电气工程
    • 3 篇 信息与通信工程
    • 3 篇 控制科学与工程
    • 3 篇 建筑学
    • 2 篇 机械工程
    • 2 篇 交通运输工程
    • 2 篇 船舶与海洋工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 农业工程
  • 6 篇 理学
    • 3 篇 数学
    • 2 篇 海洋科学
    • 1 篇 物理学
    • 1 篇 系统科学
  • 4 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 军事学

主题

  • 4 篇 semantics
  • 3 篇 embedded systems
  • 3 篇 simulink
  • 3 篇 hardware
  • 2 篇 runtime
  • 2 篇 registers
  • 2 篇 random access me...
  • 2 篇 program processo...
  • 2 篇 computational mo...
  • 1 篇 sensor nodes
  • 1 篇 self-aware
  • 1 篇 adaptive systems
  • 1 篇 theorem proving
  • 1 篇 monitor
  • 1 篇 software enginee...
  • 1 篇 computer archite...
  • 1 篇 read only memory
  • 1 篇 timing
  • 1 篇 model checking
  • 1 篇 software process...

机构

  • 2 篇 heriot-watt univ...
  • 2 篇 intelligent embe...
  • 2 篇 department of co...
  • 2 篇 institute for so...
  • 2 篇 software enginee...
  • 2 篇 software enginee...
  • 2 篇 software enginee...
  • 1 篇 software enginee...
  • 1 篇 nsc airdrop aeri...
  • 1 篇 ieee computer so...
  • 1 篇 embedded softwar...
  • 1 篇 group software e...
  • 1 篇 group software e...
  • 1 篇 software enginee...
  • 1 篇 embedded systems...
  • 1 篇 software enginee...
  • 1 篇 software and emb...
  • 1 篇 heinz nixdorf in...
  • 1 篇 software enginee...
  • 1 篇 the 2010 bt gord...

作者

  • 7 篇 glesner sabine
  • 5 篇 herber paula
  • 3 篇 sabine glesner
  • 3 篇 kowalewski stefa...
  • 2 篇 tomforde sven
  • 2 篇 göthel thomas
  • 2 篇 reinbacher thoma...
  • 2 篇 krupitzer christ...
  • 2 篇 mikulcak marcus
  • 2 篇 paula herber
  • 2 篇 horauer martin
  • 2 篇 brauer jörg
  • 1 篇 volker seeker
  • 1 篇 wilhelm hasselbr...
  • 1 篇 schneider klaus
  • 1 篇 yao xin
  • 1 篇 marcus mikulcak
  • 1 篇 almer oscar
  • 1 篇 seeker volker
  • 1 篇 thomas gothel

语言

  • 33 篇 英文
检索条件"机构=Software Engineering for Embedded Systems Group"
33 条 记 录,以下是1-10 订阅
排序:
Information flow analysis of combined simulink/stateflow models  27
Information flow analysis of combined simulink/stateflow mod...
收藏 引用
27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018
作者: Mikulcak, Marcus Herber, Paula Gothel, Thomas Glesner, Sabine Software and Embedded Systems Engineering Group Technische Universitat Berlin Germany
Simulink and Stateflow are widely-used industrial tools for the development of embedded systems, e.g. in the automotive domain. In modern automotive control systems, multiple components are typically interconnected, a... 详细信息
来源: 评论
Model checking SystemC designs using timed automata  08
Model checking SystemC designs using timed automata
收藏 引用
embedded systems Week 2008 - 6th IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System Synthesis, CODES+ISSS 2008
作者: Herber, Paula Fellmuth, Joachim Glesner, Sabine Software Engineering for Embedded Systems Group Technical University of Berlin Germany
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In this paper, we present an approach to... 详细信息
来源: 评论
Intelligent task mapping using machine learning
Intelligent task mapping using machine learning
收藏 引用
International Conference on Computational Intelligence and software engineering
作者: Tetzlaff, Dirk Glesner, Sabine Group Software Engineering for Embedded Systems Berlin Institute of Technology Germany
Task scheduling and task allocation, which are vital parts of mapping parallel programs to concurrent architectures, must take into account the interprocessor communication, whose overheads have emerged as the major p... 详细信息
来源: 评论
Optimized Hardware/software Co-Verification using the UCLID Satisfiability Modulo Theory Solver  29
Optimized Hardware/Software Co-Verification using the UCLID ...
收藏 引用
29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2020
作者: Schwan, Simon Herber, Paula Technische Universität Berlin Software and Embedded Systems Engineering Group Berlin Germany University of Münster Embedded Systems Group Münster Germany
embedded systems are often used in safety-critical applications like cars or airplanes. This makes it crucial to verify their hardware and software under all circumstances. In previous work, we have presented an appro... 详细信息
来源: 评论
The organic computing doctoral dissertation colloquium: Status and overview in 2019  49
The organic computing doctoral dissertation colloquium: Stat...
收藏 引用
49. Jahrestagung der Gesellschaft fur Informatik: 50 Jahre Gesellschaft fur Informatik - Informatik fur Gesellschaft, INFORMATIK 2019 - 49th Annual Meeting of the German Informatics Society: 50 years of the German Informatics Society - Computer Science for Society, INFORMATICS 2019
作者: Krupitzer, Christian Tomforde, Sven Software Engineering Group Universitat Wurzburg Germany Intelligent Embedded Systems Universitat Kassel Germany
Today, people are surrounded by smart and connected devices. Gartner Inc. estimated that 8.4 billion devices were connected in the Internet-of-Things worldwide in 2017, reaching 20.4 billion by 2020. The growing numbe... 详细信息
来源: 评论
Specification, verification and implementation of business processes using CSP
Specification, verification and implementation of business p...
收藏 引用
2010 4th International Symposium on Theoretical Aspects of software engineering, TASE 2010
作者: Kleine, Moritz Göthel, Thomas Technische Universität Berlin Software Engineering Group Germany Technische Universität Berlin Software Engineering for Embedded Systems Germany
Nowadays, the problem in business process management (BPM) is that BPM systems should both be easy to use for business process developers and be based on a sound formal method. Business process management systems are ... 详细信息
来源: 评论
Type systems for domain-specific languages
Type systems for domain-specific languages
收藏 引用
Multi-Conference on software engineering, SE 2013
作者: Jung, Reiner Schneider, Christian Hasselbring, Wilhelm Software Engineering Research Group Kiel University Germany Embedded and Realtime Systems Research Group Kiel University Germany
Model-driven software development employs models to describe different aspects of a system on different levels of abstraction. These aspects are driven by technology or application domain. Modeling is often done in sp...
来源: 评论
Scalable multi-core simulation using parallel dynamic binary translation
Scalable multi-core simulation using parallel dynamic binary...
收藏 引用
2011 11th International Conference on embedded Computer systems: Architectures, Modeling and Simulation, IC-SAMOS 2011
作者: Almer, Oscar Böhm, Igor Von Koch, Tobias Edler Franke, Björn Kyle, Stephen Seeker, Volker Thompson, Christopher Topham, Nigel Institute for Computing Systems Architecture University of Edinburgh United Kingdom Software Engineering for Embedded Systems Group Technical University Berlin Germany
In recent years multi-core processors have seen broad adoption in application domains ranging from embedded systems through general-purpose computing to large-scale data centres. Simulation technology for multi-core s... 详细信息
来源: 评论
VOICE OF EVIDENCE Organizational Culture and Success in SPI Initiatives
收藏 引用
IEEE software 2012年 第3期29卷 97-99页
作者: Passos, Odette Mestrinho Dias-Neto, Arilo Claudio Barreto, Raimundo da Silva Institute of Exact Sciences and Technology Federal University of Amazonas Brazil Institute of Computing Experimentation and Testing on Software Engineering Group Federal University of Amazonas Brazil Institute of Computing complex embedded systems research group Federal University of Amazonas Brazil
To succeed, a software quality improvement (SQI) initiative must reflect organizational culture and the values that compose it. A study to define these values in software organizations includes proposals for implement... 详细信息
来源: 评论
Static analysis of run-time modes in synchronous process network
Static analysis of run-time modes in synchronous process net...
收藏 引用
8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011
作者: Beyer, Michael Glesner, Sabine Software Engineering for Embedded Systems Group Technische Universität Berlin Ernst-Reuter-Platz 7 Berlin 10587 Germany
For modeling modern streaming-oriented applications, Process Networks (PNs) are used to describe systems with changing behavior, which must be mapped on a concurrent architecture to meet the performance and energy con... 详细信息
来源: 评论