咨询与建议

限定检索结果

文献类型

  • 344 篇 会议
  • 16 册 图书
  • 16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 287 篇 工学
    • 262 篇 计算机科学与技术...
    • 153 篇 软件工程
    • 70 篇 信息与通信工程
    • 39 篇 电子科学与技术(可...
    • 37 篇 电气工程
    • 27 篇 控制科学与工程
    • 9 篇 安全科学与工程
    • 5 篇 机械工程
    • 5 篇 动力工程及工程热...
    • 4 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 交通运输工程
    • 2 篇 环境科学与工程(可...
    • 2 篇 生物医学工程(可授...
    • 2 篇 网络空间安全
  • 71 篇 理学
    • 54 篇 数学
    • 15 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 6 篇 物理学
    • 4 篇 生物学
    • 2 篇 化学
  • 25 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 3 篇 法学
    • 3 篇 社会学
  • 3 篇 医学
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 44 篇 embedded systems
  • 38 篇 computer archite...
  • 29 篇 computational mo...
  • 11 篇 data communicati...
  • 11 篇 hardware
  • 9 篇 simulation and m...
  • 9 篇 software enginee...
  • 8 篇 computer simulat...
  • 8 篇 simulation
  • 8 篇 system-on-chip
  • 7 篇 computer hardwar...
  • 7 篇 program processo...
  • 7 篇 integrated circu...
  • 7 篇 wireless telecom...
  • 6 篇 analytical model...
  • 6 篇 embedded system
  • 6 篇 field programmab...
  • 5 篇 circuit simulati...
  • 5 篇 information syst...
  • 5 篇 application soft...

机构

  • 3 篇 politecnico di t...
  • 3 篇 univ victoria de...
  • 2 篇 katholieke univ ...
  • 2 篇 beijing institut...
  • 2 篇 univ aachen rhei...
  • 2 篇 university of go...
  • 2 篇 federal universi...
  • 2 篇 seoul natl univ ...
  • 2 篇 vrije univ bruss...
  • 2 篇 univ amsterdam i...
  • 2 篇 beijing institut...
  • 2 篇 tampere univ tec...
  • 2 篇 computer enginee...
  • 2 篇 intel corp mobil...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 univ wisconsin d...
  • 2 篇 vienna univ tech...
  • 2 篇 tampere univ tec...
  • 2 篇 sandbridge techn...

作者

  • 6 篇 pimentel andy d.
  • 6 篇 hamalainen timo ...
  • 5 篇 catthoor francky
  • 5 篇 vassiliadis stam...
  • 4 篇 thompson mark
  • 4 篇 berekovic mladen
  • 4 篇 polstra simon
  • 4 篇 takala jarmo
  • 4 篇 hannikainen mark...
  • 3 篇 erbas cagkan
  • 3 篇 dutt nikil
  • 3 篇 blume holger
  • 3 篇 kohvakka mikko
  • 3 篇 bertels koen
  • 3 篇 vassiliadis s
  • 2 篇 salminen erno
  • 2 篇 herber paula
  • 2 篇 gurun selim
  • 2 篇 wong stephan
  • 2 篇 jhon chu shik

语言

  • 375 篇 英文
  • 1 篇 中文
检索条件"任意字段=6th International Workshop on Embedded Computer Systems - Architectures, Modeling and Simulation"
376 条 记 录,以下是31-40 订阅
排序:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System  1
收藏 引用
4th international Symposium on Foundations of Health Information Engineering and systems (FHIES) / 6th international workshop on Software Engineering in Healthcare (SEHC)
作者: Murugesan, Anitha Heimdahl, Mats P. E. Whalen, Michael W. Rayadurgam, Sanjai Komp, John Duan, Lian Kim, Baek-Gyu Sokolsky, Oleg Lee, Insup Univ Minnesota Dept Comp Sci & Engn 200 Union St Minneapolis MN 55455 USA Univ Penn Dept Comp & Informat Sci 3330 Walnut St Philadelphia PA 19104 USA
the advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assuranc... 详细信息
来源: 评论
Proceedings of the 6th international workshop in Performance modeling, Benchmarking and simulation of High Performance computer systems, PMBS 2015 - Held as part of ACM/IEEE Supercomputing 2015, SC 2015
Proceedings of the 6th International Workshop in Performance...
收藏 引用
6th international workshop in Performance modeling, Benchmarking and simulation of High Performance computer systems, PMBS 2015 - Held as part of the 27th ACM/IEEE international Conference for High Performance Computing, Networking, Storage and Analysis, SC 2015
the proceedings contain 9 papers. the topics discussed include: performance evaluation of the IBM POWER8 system to support computational neuroscientific application using morphologically detailed neurons;performance a...
来源: 评论
Proving correctness of refactorings for hybrid simulink models with control flow
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017年 10107 LNCS卷 71-86页
作者: Schlesinger, Sebastian Herber, Paula thel, thomas Glesner, Sabine Software and Embedded Systems Engineering Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany
Hybrid models are highly relevant for the development of embedded systems because they cover both their continuous and discrete aspects. To master the increasing complexity of embedded systems design, transformation t... 详细信息
来源: 评论
Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2017年 10107 LNCS卷 17-30页
作者: Betsuno, Kenichi Matsumoto, Shota Ueda, Kazunori Department of Computer Science and Engineering Waseda University 3-4-1 Okubo Shinjuku-ku Tokyo169-8555 Japan
Hybrid systems are dynamical systems that include both continuous and discrete changes. Some hybrid systems involve a large or infinite number of discrete changes within an infinitesimal-width region of phase space. S... 详细信息
来源: 评论
Hardware-in-the-loop testbed for load management applications
Hardware-in-the-loop testbed for load management application...
收藏 引用
international Conference on Clean Electrical Power (ICCEP)
作者: Sepehr Nakhostin Sergio Moreno Rodríguez Massimo Belometti Luca Omati Politecnico di Milano Milan Italy Electrification Products ABB Bergamo Italy
this paper focuses on smart power management systems for application in the Low Voltage power distribution. In particular, we consider load management systems based on distributed control implemented by processors emb... 详细信息
来源: 评论
Securing embedded systems and their IPs with Digital Reconfigurable PUFs  26
Securing Embedded Systems and their IPs with Digital Reconfi...
收藏 引用
26th international workshop on Power and Timing modeling, Optimization and simulation (PATMOS)
作者: Zheng, Jason Xin Xu, Teng Potkonjak, Miodrag Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA
In the near future, firmware security will be imperative for the large number of smart embedded devices that are tightly integrated into one's daily lives. In this paper, we present a security scheme for these emb... 详细信息
来源: 评论
Dynamic modeling on the MIMO system with linear programming support vector regression and its application  6
Dynamic modeling on the MIMO system with linear programming ...
收藏 引用
2016 6th international workshop on computer Science and Engineering, WCSE 2016
作者: Yu, Yanfang Jiang, Li Shanghai Institute of Technology Shanghai201418 China
Few researches have been done for dynamic modeling on the multiple-input multiple-output system in actual industry so far. therefore, this paper proposed a novel dynamic model to solve the multiple-input multiple-outp... 详细信息
来源: 评论
Architecture-oriented combat system effectiveness simulation modeling  6
Architecture-oriented combat system effectiveness simulation...
收藏 引用
6th international Defense and Homeland Security simulation workshop, DHSS 2016
作者: Lei, Yonglin Zhu, Ning Yao, Jian Zhu, Zhi Chen, Shuai School of Information Systems and Management National University of Defense Technology 109 Yanwachi Rd Changsha Hunan410073 China
Combat system effectiveness simulation (CESS) is a special type of complex system simulation. their models feature multiple disciplines and are rich in domain knowledge. To develop such simulation models, model compos... 详细信息
来源: 评论
ACM international Conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
7th workshop on Parallel Programming and Run-Time Management Techniques for Many-Core architectures and 5th workshop on Design Tools and architectures For Multicore embedded Computing Platforms, PARMA-DITAM 2016
the proceedings contain 6 papers. the topics discussed include: stack size estimation on machine-independent intermediate code for OpenCL kernels;predictive modeling methodology for compiler phase-ordering;flexible re...
来源: 评论
Towards multi-level-simulation using dynamic cloud environments  6
Towards multi-level-simulation using dynamic cloud environme...
收藏 引用
6th international Conference on simulation and modeling Methodologies, Technologies and Applications, SIMULTECH 2016
作者: Wittek, Stefan H.A. Göttsche, Michael Rausch, Andreas Grabowski, Jens Department of Informatics Clausthal University of Technology Clausthal-Zellerfeld Germany Institute of Computer Science Georg-August-University Göttingen Göttingen Germany
the engineering of cyber physical systems requires holistic simulation perspectives. To cope with the complexity of these systems, we aim to provide a simulation methodology that is efficient regarding model complexit... 详细信息
来源: 评论