The small reconnaissance of atmospheres mission platform concept, part 2: design of carrier spacecraft and atmospheric entry probes
- 期刊名称International Journal of Space Science and Engineering
- 作者Moores, John E.; Carroll, Kieran A.; DeSouza, Isaac; Sathiyanathan, Kartheephan; Stoute, Barry; Shan, Jinjun; Lee, Regina S.; Quine, Ben
- 卷第2卷
- 期第4期
- 印刷ISSN2048-8459
- 电子ISSN2048-8467
- 文件大小325.73KB
- 发表时间2014
- DOI10.1504/ijspacese.2014.066961
A Wait-Free Hash MapLaborde, Pierre; Feldman, Steven; Dechev, Damian · International Journal of Parallel Programming · 2017
Lock-Free Transactional Transformation for Linked Data StructuresZhang, Deli; Laborde, Pierre; Lebanoff, Lance; Dechev, Damian · ACM Transactions on Parallel Computing · 2018
A Wait-Free Multi-Word Compare-and-Swap OperationFeldman, Steven; LaBorde, Pierre; Dechev, Damian · International Journal of Parallel Programming · 2015
LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore ApplicationsDechev, Damian; Laborde, Pierre; Feldman, Steven D. · IEEE Access · 2013
[IEEE 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Montreal, QC, Canada (2019.5.25-2019.5.26)] 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - CCSpec: A Correctness Condition Specification ToolPeterson, Christina; LaBorde, Pierre; Dechev, Damian · 2019
[ACM Press the 10th International Workshop - Washington, DC, USA (2019.02.17-2019.02.17)] Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19 - Wait-free Dynamic Transactions for Linked Data StructuresLaBorde, Pierre; Lebanoff, Lance; Peterson, Christina; Zhang, Deli; Dechev, Damian · 2019
[IEEE 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Samos, Greece (2015.7.19-2015.7.23)] 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Tervel: A unification of descriptor-based techniques for non-blocking programmingFeldman, Steven; LaBorde, Pierre; Dechev, Damian · 2015
Enhanced web services collaboration in B2B contextBaroudi, Salim; Bahaj, Mohamed · International Journal of Software Engineering, Technology and Applications · 2015
Four tier architecture of component selection process using clusteringKaur, Jagdeep; Tomar, Pradeep · International Journal of Software Engineering, Technology and Applications · 2015
Estimation of software testing effort using fuzzy multiple linear regressionSrivastava, Praveen Ranjan · International Journal of Software Engineering, Technology and Applications · 2015
Automated generation of pervasive systems architectures: a detailed empirical evaluationHamza, Mostafa A.; Aly, Sherif G.; Elaasar, Maged · International Journal of Software Engineering, Technology and Applications · 2015
Dynamic inheritance coupling metric-design and analysis for assessing reusabilityGehlot, Neha; Kaur, Jagdeep · International Journal of Software Engineering, Technology and Applications · 2015
STPCH: a framework for planning of software maintenance and support projectsBali, Shivani; Kunal, Kishor · International Journal of Software Engineering, Technology and Applications · 2015
A novel approach to streamline RE process for multi-agent systemsSoni, Anuja; Gaur, Vibha · International Journal of Software Engineering, Technology and Applications · 2015