共 50 条
- [21] Dataflow Analysis for Datarace-Free Programs PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 196 - 215
- [22] From Functional Programs to Pipelined Dataflow Circuits CC'17: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2017, : 76 - 86
- [24] Symbolic Simulation of Dataflow Synchronous Programs with Timers 2017 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2017,
- [25] Dataflow Testing of Java']Java Programs with DFC ADVANCES IN SOFTWARE ENGINEERING TECHNIQUES, 2012, 7054 : 215 - 228
- [26] EFFICIENT SOFTWARE SYNTHESIS OF DYNAMIC DATAFLOW PROGRAMS 2014 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2014,
- [27] EXPLOITING STATICALLY SCHEDULABLE REGIONS IN DATAFLOW PROGRAMS 2009 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS 1- 8, PROCEEDINGS, 2009, : 565 - +
- [28] Dataflow approach to testing Java']Java programs PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2009, : 69 - 76
- [29] Exploiting Statically Schedulable Regions in Dataflow Programs JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2011, 63 (01): : 129 - 142
- [30] Symbolic Simulation of Dataflow Synchronous Programs with Timers LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, 2019, 530 : 45 - 70