共 50 条
- [1] On the correctness of transformations in compiler back-ends [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, 2006, 4313 : 74 - 95
- [2] Unifying Cosine and PLDA Back-ends for Speaker Verification [J]. INTERSPEECH 2022, 2022, : 336 - 340
- [3] Robust Graph SLAM Back-ends: A Comparative Analysis [J]. 2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 2683 - 2690
- [4] Multi Back-Ends for a Model Library Abstraction Layer [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2013), PT III, 2013, 7973 : 160 - 174
- [5] Optimization toolkit for scheduling optimization in semiconductor back-ends [J]. 27th International Spring Seminar on Electronics Technology, Books 1-3, Conference Proceedings: MEETING THE CHALLENGES OF ELECTRONICS TECHNOLOGY PROGRESS, 2004, : 266 - 271
- [8] Extending a distributed virtual reality system with exchangeable rendering back-ends [J]. VISUAL COMPUTER, 2013, 29 (10): : 1039 - 1049
- [9] IF processing and back-ends: An optimised configuration for the HET instrument on FIRST [J]. FAR INFRARED AND SUBMILLIMETRE UNIVERSE: AN ESA SYMPOSIUM DEVOTED TO THE FAR INFRARED AND SUBMILLIMETRE TELESCOPE (FIRST) MISSION, 1997, 401 : 413 - 416