共 50 条
- [42] A Simple, Verified Validator for Software Pipelining [J]. POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 83 - 92
- [43] Decoupled software pipelining with the synchronization array [J]. 13TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURE AND COMPILATION TECHNIQUES, PROCEEDINGS, 2004, : 177 - 188
- [45] SOFTWARE PIPELINING - A GENETIC ALGORITHM APPROACH [J]. PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 1994, 50 : 311 - 314
- [46] On the periodic register need in software pipelining [J]. IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (11) : 1493 - 1504
- [48] A formal model of software pipelining loops with conditions [J]. 11TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM, PROCEEDINGS, 1997, : 554 - 558
- [50] Loop pipelining in hardware-software partitioning [J]. PROCEEDINGS OF THE ASP-DAC '98 - ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1998 WITH EDA TECHNO FAIR '98, 1998, : 361 - 366