共 50 条
- [2] A Symbolic computation method for automatic generation of a full vehicle model simulation code for a driving simulator [J]. Journal of Mechanical Science and Technology, 2005, 19 : 395 - 402
- [3] AN AUTOMATIC-GENERATION OF FORTRAN CODE FOR FINITE-DIFFERENCE METHOD [J]. BULLETIN OF THE JSME-JAPAN SOCIETY OF MECHANICAL ENGINEERS, 1986, 29 (256): : 3361 - 3366
- [5] GENERATION OF MORE EFFICIENT FORTRAN CODE VIA SYMBOLIC SOFTWARE [J]. SUPERCOMPUTER, 1990, 7 (01): : 36 - 41
- [6] SymForce: Symbolic Computation and Code Generation for Robotics [J]. ROBOTICS: SCIENCE AND SYSTEM XVIII, 2022,
- [7] SymForce: Symbolic Computation and Code Generation for Robotics [J]. Robotics: Science and Systems, 2022,
- [8] An Automatic Exploit Generation Method Based on Symbolic Execution [J]. 2018 EIGHTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC 2018), 2018, : 437 - 440
- [9] Automatic code generation method based on Esterel [J]. Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2015, 41 (05): : 817 - 824
- [10] Automatic Code Generation for Spacecraft Attitude Determination and Control [J]. 2014 IEEE AEROSPACE CONFERENCE, 2014,