QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文    专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Spintronic Devices as Key Elements for Energy-Efficient Neuroinspired Architectures 会议论文 Conference on Design Automation Test in Europe (DATE), Alpexpo Congress Center, Grenoble, FRANCE, 2015-03-09 作者:  Locatelli, Nicolas;  Vincent, Adrien F.;  Mizrahi, Alice;  Friedman, Joseph S.;  Vodenicarevic, Damir 收藏  |  浏览/下载：8/0  |  提交时间：2020/01/06 Spintronic Devices as Key Elements for Energy-Efficient Neuroinspired Architectures 会议论文 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015-01-01 作者:  Locatelli, Nicolas;  Vincent, Adrien F.;  Mizrahi, Alice;  Friedman, Joseph S.;  Vodenicarevic, Damir 收藏  |  浏览/下载：9/0  |  提交时间：2020/01/06 Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM Model Checker 会议论文 IEEE 17th International Conference on Computational Science and Engineering (CSE), Chengdu, PEOPLES R CHINA, 2014-01-01 作者:  Lu, Yu;  Miller, Alice;  Johnson, Chris;  Peng, Zhaoguang;  Zhao, Tingdi 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 GNSS  satellite positioning  aviation  availability analysis  probabilistic model checking   Timed Fault Tree Models of the China Yongwen Railway Accident 会议论文 Asia Modelling Symposium 2014 8th International Conference Mathematical Modelling Computer Simulation, Taipei, TAIWAN, 2014-01-01 作者:  Lu, Yu;  Peng, Zhaoguang;  Miller, Alice;  Zhao, Tingdi;  Johnson, Chris 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 railway transportation systems  fault tree analysis  risk analysis  timed fault trees   A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System 会议论文 UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS), Manchester, ENGLAND, 2013-01-01 作者:  Peng, Zhaoguang;  Lu, Yu;  Miller, Alice;  Johnson, Chris;  Zhao, Tingdi 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 satellite systems  reliability  availability and maintainability (RAM) analysis  probabilistic model checking  continuous time Markov chains (CTMCs)