共 50 条
- [1] Quasi-synchronous orbits and their employment for the approach of a spacecraft to Phobos [J]. Cosmic Research, 2007, 45 : 131 - 136
- [2] Quasi-synchronous approach for distributed control in synchronous systems [J]. PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC'01), 2001, : 231 - 235
- [3] A Validation Approach for Quasi-Synchronous Checkpointing Algorithms in HPC Systems [J]. 2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 622 - 629
- [4] Soundness of the Quasi-Synchronous Abstraction [J]. PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 9 - 16
- [5] A fast algorithm for the quasi-synchronous window [J]. ICICIC 2006: FIRST INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING, INFORMATION AND CONTROL, VOL 2, PROCEEDINGS, 2006, : 366 - +
- [6] Study on Quasi-synchronous DFT Algorithm [J]. ADVANCES IN MANUFACTURING TECHNOLOGY, PTS 1-4, 2012, 220-223 : 2257 - +
- [7] VERIFICATION OF QUASI-SYNCHRONOUS SYSTEMS WITH UPPAAL [J]. 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
- [8] A quasi-synchronous approach for roll-forward recovery in distributed systems [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2117 - 2122