共 50 条
- [1] SOFTWARE PLATFORM INMOST IN THE GERA CODE TO OPERATE WITH THE DISTRIBUTED MESH DATA MATHEMATICA MONTISNIGRI, 2016, 36 : 27 - 44
- [4] Software, code base conversions 2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 1136 - +
- [5] The Scalable Systems Laboratory: a Platform for Software Innovation for HEP 24TH INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS (CHEP 2019), 2020, 245
- [6] An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 129 - 136
- [8] Towards a Scalable Software-Defined Network Virtualization Platform 2014 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM (NOMS), 2014,
- [9] Source code analysis of flight software using a sonarqube based code quality platform Ada User Journal, 2015, 36 (02): : 99 - 103
- [10] CODE QUALITY METRICS EVALUATION PLATFORM IN SOFTWARE ENGINEERING EDUCATION PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY (IE 2017): EDUCATION, RESEARCH & BUSINESS TECHNOLOGIES, 2017, : 283 - 290