咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
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...
来源: 评论
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
来源: 评论