共 50 条
- [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] 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
- [8] VERIFICATION OF QUASI-SYNCHRONOUS SYSTEMS WITH UPPAAL [J]. 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
- [10] Study on fast quasi-synchronous sampling algorithm [J]. ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 5159 - 5163