搜索页_+New+Generation+Operations+Systems+and+Software+

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

SpringerLink电子期刊(54)

在“SpringerLink电子期刊”中，命中：54条，耗时：0.0579761 秒

在所有数据库中总计命中：146条

1. Conceptual design of a crewed reusable space transportation system aimed at parabolic flights: stakeholder analysis, mission concept selection, and spacecraft architecture definition

作者： Roberta Fusaro ; Nicole Viola ; Franco Fenoglio ; Francesco Santoro

关键词：Conceptual design ; Parabolic flights ; Trans ; atmospheric transportation systems ; Mission analysis ; Quality functional deployment tool

刊名：CEAS Space Journal

出版年：2017

2. A multirobot platform based on autonomous surface and underwater vehicles with bio-inspired neurocontrollers for long-term oil spills monitoring

作者： Antonio Guerrero-González ; Francisco García-Córdova…

关键词：ASV ; UUV ; Multi ; vehicle cooperation ; Artificial neural networks ; Bio ; inspired control ; Oil spills monitoring ; Component based software architecture ; Autonomous long ; term navigation

刊名：Autonomous Robots

出版年：2016

3. Many-core on-the-fly model checking of safety properties using GPUs

作者： Anton Wijs ; Dragan Bošnački

关键词：GPU ; Model checking ; Safety properties ; Graph search ; Refinement

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2016

4. Automatically reasoning about metamodeling

作者：Ethan K. Jackson (1)
Tihamer Levendovszky (2)
Daniel Balasubramanian (2)

1. Microsoft Research ; Redmond ; WA ; USA
2. Vanderbilt University ; Nashville ; TN ; USA

关键词：Metamodeling ; Formal specifications ; Automated analysis

刊名：Software and Systems Modeling

出版年：2015

5. A stochastic model for the cell formation problem considering machine reliability

作者： Bahman Esmailnezhad ; Parviz Fattahi…

关键词：Cell formation ; Queuing theory ; Metaheurstic algorithm ; Reliability

刊名：Journal of Industrial Engineering International

出版年：2015

6. DET-ABE: A Java API for Data Confidentiality and Fine-Grained Access Control from Attribute Based Encryption

关键词：Pairings ; Cryptographic API ; Attribute based encryption

刊名：Lecture Notes in Computer Science

出版年：2015

7. Engineering Variance: Software Techniques for Scalable, Customizable, and Reusable Multimodal Processing

作者：Marc Erich Latoschik (16)
Martin Fischbach (16)

关键词：Multimodal processing ; interactive systems ; software architecture ; actor system ; DSL ; reactive manifesto ; software patterns

刊名：Lecture Notes in Computer Science

出版年：2014

8. An approximation algorithm for box abstraction of transition systems on real state spaces

作者：Kunihiko Hiraishi (1)
Koich Kobayashi (1)

关键词：Hybrid dynamical systems ; Predicate abstraction ; Safety verification

刊名：Formal Methods in System Design

出版年：2013

9. Minimal Unroll Factor for Code Generation of Software Pipelining

作者：Mounira Bachir (1)
Sid-Ahmed-Ali Touati (1)
Frederic Brault (1)
David Gregg (1)
Albert Cohen (1)

关键词：Periodic register allocation ; Software pipelining ; Code generation ; Instruction level parallelism ; Embedded systems ; Compilation

刊名：International Journal of Parallel Programming

出版年：2013

10. The NBI Control System for the EAST

作者： Peng Sheng ; Chundong Hu ; Shihua Song ; Yuanzhe Zhao…

关键词：Control system ; Real ; time ; Neutral beam injector ; CPCI ; PXI

刊名：Journal of Fusion Energy

出版年：2014

按检索点细分(54)

题名(1)

关键词(2)

文摘(33)

按出版年细分(54)

2017年(1)

2016年(2)

2015年(3)

2014年(3)

2013年(8)

2011年(3)

2010年(3)

2009年(2)

2008年(8)

2007年(4)

2006年(6)

2005年(5)

2000年及以前(6)