共 50 条
- [31] Programs from Proofs of Predicated Dataflow Analyses 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1729 - 1736
- [32] Synthesizing Recursive Programs through Dataflow Constraints COMPANION PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2023, 2023, : 25 - 27
- [33] AN HETEROGENEOUS COMPILER OF DATAFLOW PROGRAMS FOR ZYNQ PLATFORMS 2019 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2019, : 1537 - 1541
- [34] Tabu Search for Partitioning Dynamic Dataflow Programs INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE 2016 (ICCS 2016), 2016, 80 : 1577 - 1588
- [35] Decidability of the Analysis Problem for Dataflow Models of Programs Programming and Computer Software, 2003, 29 : 121 - 129
- [36] A Partition Scheduler Model for Dynamic Dataflow Programs INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE 2016 (ICCS 2016), 2016, 80 : 2287 - 2291
- [37] Exploiting Statically Schedulable Regions in Dataflow Programs Journal of Signal Processing Systems, 2011, 63 : 129 - 142
- [38] Tracing and Profiling Machine Learning Dataflow Applications on GPU International Journal of Parallel Programming, 2019, 47 : 973 - 1013
- [39] Dataflow Analysis for Concurrent Programs using Datarace Detection PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 316 - 326
- [40] From software extensions to product lines of dataflow programs SOFTWARE AND SYSTEMS MODELING, 2017, 16 (04): : 929 - 947