共 50 条
- [1] Finding Divergent Executions in Asynchronous Programs COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2016, PT V, 2016, 9790 : 410 - 421
- [2] An asynchronous systemic library and control data flow extraction MIXDES 2008: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, : 377 - 382
- [4] Finding Non-terminating Executions in Distributed Asynchronous Programs STATIC ANALYSIS, SAS 2012, 2012, 7460 : 439 - 455
- [6] Manala: a Flexible Flow Control Library for Asynchronous Task Communication 2017 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2017, : 509 - 519
- [7] DiagDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 410 - 421
- [8] Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2017, PT VI, 2017, 10409 : 233 - 245
- [9] Modularly structured B-spline Networks for internal model control PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 2001 - 2005
- [10] Specifying Transaction Control to Serialize Concurrent Program Executions ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, 2014, 8477 : 142 - 157