咨询与建议

限定检索结果

文献类型

  • 123 篇 会议
  • 34 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 101 篇 工学
    • 71 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 20 篇 控制科学与工程
    • 13 篇 信息与通信工程
    • 10 篇 土木工程
    • 10 篇 安全科学与工程
    • 9 篇 电气工程
    • 8 篇 机械工程
    • 8 篇 电子科学与技术(可...
    • 8 篇 建筑学
    • 6 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 4 篇 光学工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 动力工程及工程热...
    • 3 篇 生物工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 材料科学与工程(可...
    • 2 篇 船舶与海洋工程
  • 32 篇 理学
    • 18 篇 数学
    • 7 篇 物理学
    • 6 篇 系统科学
    • 3 篇 生物学
    • 3 篇 统计学(可授理学、...
    • 2 篇 海洋科学
    • 2 篇 地球物理学
  • 18 篇 管理学
    • 13 篇 管理科学与工程(可...
    • 5 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 医学
  • 2 篇 军事学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学
  • 1 篇 农学

主题

  • 12 篇 hardware
  • 9 篇 embedded systems
  • 7 篇 computer archite...
  • 7 篇 unified modeling...
  • 6 篇 model checking
  • 6 篇 machine learning
  • 5 篇 runtime
  • 5 篇 safety
  • 5 篇 real time system...
  • 5 篇 semantics
  • 5 篇 software
  • 4 篇 registers
  • 4 篇 timing
  • 4 篇 petri nets
  • 4 篇 processor schedu...
  • 4 篇 static analysis
  • 4 篇 schedules
  • 4 篇 computational mo...
  • 4 篇 control systems
  • 4 篇 analytical model...

机构

  • 6 篇 embedded softwar...
  • 5 篇 software enginee...
  • 3 篇 school of electr...
  • 3 篇 faculty of compu...
  • 3 篇 software and emb...
  • 3 篇 school of electr...
  • 3 篇 cea laboratory o...
  • 3 篇 cea list laborat...
  • 3 篇 software and emb...
  • 3 篇 engineering rese...
  • 3 篇 distributed & em...
  • 2 篇 college of compu...
  • 2 篇 heriot-watt univ...
  • 2 篇 embedded softwar...
  • 2 篇 embedded softwar...
  • 2 篇 software and emb...
  • 2 篇 college of compu...
  • 2 篇 centre for high ...
  • 2 篇 intelligent embe...
  • 2 篇 department of co...

作者

  • 19 篇 glesner sabine
  • 11 篇 sabine glesner
  • 7 篇 herber paula
  • 4 篇 gwanggil jeon
  • 4 篇 ansgar radermach...
  • 4 篇 göthel thomas
  • 4 篇 klös verena
  • 4 篇 zhangqin huang
  • 4 篇 jeon gwanggil
  • 4 篇 yibin hou
  • 4 篇 tetzlaff dirk
  • 4 篇 paula herber
  • 3 篇 kogel paul
  • 3 篇 mahmoud hussein
  • 3 篇 dirk tetzlaff
  • 3 篇 schlesinger seba...
  • 3 篇 kowalewski stefa...
  • 3 篇 chunhua xiao
  • 3 篇 da li
  • 3 篇 reda nouacer

语言

  • 155 篇 英文
  • 2 篇 其他
  • 1 篇 德文
  • 1 篇 中文
检索条件"机构=Software Engineering of Embedded Systems"
159 条 记 录,以下是151-160 订阅
排序:
A low-power multithreaded processor for software defined radio
A low-power multithreaded processor for software defined rad...
收藏 引用
作者: Schulte, Michael Glossner, John Jinturkar, Sanjay Moudgill, Mayan Mamidi, Suman Vassiliadis, Stamatis University of Wisconsin Dept. of ECE 1415 Engineering Drive Madison WI 53706 United States Sandbridge Technologies 1 North Lexington Ave. White Plains NY 10512 United States Delft University of Technology Electrical Engineering Mathematics and Computer Science Department Delft Netherlands University of Wisconsin Madison Madison Embedded Systems and Architectures Group IEEE IEEE Computer Society Sandbridge Technologies Sandbridge Systems Software and Communications Software Groups Department of Electrical and Computer Engineering University OfWisconsin Madison Netherlands ACM
embedded digital signal processors for software defined radio have stringent design constraints including high computational bandwidth, low power consumption, and low interrupt latency. Furthermore, due to rapidly evo... 详细信息
来源: 评论
Internal Flow Management in a Multi-Zone Climate Control Unit
Internal Flow Management in a Multi-Zone Climate Control Uni...
收藏 引用
IEEE International Conference on Computer-Aided Design
作者: C. De Persis J.J. Jessen R. Izadi-Zamanabadi H. Schioler Dipartimento di Informatica e Sistemistica A. Ruberti Università di Roma La Sapienza Rome Italy Department of Control Engineering Center for Embedded Software Systems University of Aalborg Aalborg Denmark
In this contribution, we examine a dynamic model describing the evolution of internal climate conditions in a closed environment partitioned into zones for which different climate conditions must be guaranteed. The zo... 详细信息
来源: 评论
Providing means for precision airdrop delivery from high altitude
Providing means for precision airdrop delivery from high alt...
收藏 引用
AIAA Guidance, Navigation, and Control Conference 2006
作者: Hattis, Philip D. Campbell, Darryn P. Carter, David W. McConley, Marc Tavan, Steve Draper Laboratory Cambridge MA 02139 United States US Army Research Development and Engineering Command Natick Soldier Center Natick MA 01760 United States Mission Design and Analysis Group 555 Technology Square Mail Stop 77 AIAA United States Embedded Software Group 555 Technology Square Mail Stop 77 Decision Systems Group 555 Technology Sauare Mail Stop 77 United States Tactics Guidance and Control Group 555 Technology Square Mail Stop 77 Precision Airdrop GN and C Research NSC Airdrop Aerial Delivery Directorate AMSRD-NSC-AD-JP Kansas Street United States
Precision airdrop is essential to insertion of military and humanitarian supplies at remote, globally distributed locations that are involved in conflict or have experienced natural disasters. Enabling precision paylo... 详细信息
来源: 评论
Mobile ECG detector through GPRS/Internet
Mobile ECG detector through GPRS/Internet
收藏 引用
Proceedings 17th IEEE Symposium on Computer-Based Medical systems, CBMS 2004
作者: Dong, Jun Zhu, Hong-Hai Software Engineering Institute East China Normal University Shanghai 200062 China Shanghai Embedded Systems Institute Shanghai 200062 China
In modern society, requirements on medical insurance are increased rapidly with economy grown and living conditions improved. As human being self-health being focused on and social medical grade being progressed, huma... 详细信息
来源: 评论
Refinement and verification applied to an in-flight data acquisition unit
收藏 引用
13th International Conference on Concurrency Theory, CONCUR 2002
作者: Fokkink, Wan Ioustinova, Natalia Kesseler, Ernst Van De Pol, Jaco Usenko, Yaroslav S. Yushtein, Yuri A. Department of Software Engineering PO Box 94079 1090 GB Amsterdam Netherlands Department of Embedded Systems PO Box 90502 1006 MB Amsterdam Netherlands
In order to optimise maintenance and increase safety, the Royal Netherlands Navy initiated the development of a multi-channel on-board data acquisition system for its Lynx helicopters. This AIDA (Automatic In-flight D... 详细信息
来源: 评论
AN EXPERT SYSTEM FOR REAL-TIME NOISE AND VIBRATION ANALYSIS OF SHIPBOARD EQUIPMENT
收藏 引用
NAVAL ENGINEERS JOURNAL 1986年 第3期98卷 107-114页
作者: KLEIN, SK VAIL, JA BALON, K Jeannine A. Vailis a graduate of the University of Pittsburgh and Wheeling College where she earned MS and BS degrees in mathematics. She is currently the president of Vail Research and Technology Corporation. Experience includes twelve years in reliability maintainability and availability (RMA) engineering software development and cost analysis in NA VSEA the Naval Surface Weapons Center and industry. She developed RMA requirements and performed simulations on a wide variety of naval ships and underwater weapons. She is a co-developer of the computer simulation techniques used in this paper for which she received a Group Achievement A ward from NA VSEA in 1980. Ms. Vail is currently a member of ASNE IEEE and the Society of Reliability Engineers. Publications include “DDG-47 Reliability Engineering Analysis”Naval Engineers JournalApril 1978. Steven K. Kleinattended Indiana University where he earned BS and MS degrees in mathemtical physics and completed course work for PhD degrees in mathematical physics and inorganic chemistry. He is currently a division director with ORI Inc. He has taught physics and mathematics at Indiana University and has over fifteen years experience in RMA engineering and management including director of product assurance for the joint cruise missile project. He has provided RMA engineering support to a broad spectrum of Navy and Air Force tactical and strategic weapon systems and is a past member of the NASA microcircuit line certification team. Kevin Balonis a graduate of the University of Maryland where he earned a BSEE degree. He is currently employed with ORI Inc. where he is performing a variety of projects related with implementation of higher order languages in embedded firmware architectures.
An expert system is described which allows real-time analysis of the noise and vibration signature of vibrating machinery. The system presented consists of an adaptive algorithm which varies the band width of analysis... 详细信息
来源: 评论
RATIONALE FOR AN ADA software engineering ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS
收藏 引用
NAVAL ENGINEERS JOURNAL 1984年 第4期96卷 133-145页
作者: PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.
The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of co...
来源: 评论
Design Methodology for Intelligent Technical systems  1
收藏 引用
丛书名: Lecture Notes in Mechanical engineering
1000年
作者: Jürgen Gausemeier Franz Josef Rammig Wilhelm Schäfer
来源: 评论
Ernst Denert Award for software engineering 2022  1
收藏 引用
1000年
作者: Eric Bodden Michael Felderer Wilhelm Hasselbring Paula Herber Heiko Koziolek Carola Lilienthal Florian Matthes Lutz Prechelt Bernhard Rumpe Ina Schaefer
来源: 评论