共 50 条
- [32] Towards a verified compiler prototype for the synchronous language SIGNAL Frontiers of Computer Science, 2016, 10 : 37 - 53
- [34] π: Towards a Simple Formal Semantic Framework for Compiler Construction SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1562 - 1569
- [36] Towards a compiler framework for thread-level speculation PROCEEDINGS OF THE 19TH INTERNATIONAL EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING, 2011, : 267 - 271
- [37] TOWARDS A PARTITIONING COMPILER FOR A DISTRIBUTED COMPUTING SYSTEM. Journal of Digital Systems, 1600, 5 (1-2): : 157 - 179
- [38] Towards a Compiler for a Polychronous Wavefront Computer: Programming by Optimization COMPLEX ADAPTIVE SYSTEMS, 2014, 36 : 387 - 392
- [40] Towards a framework for integrated information management in mechatronic product development PROCEEDINGS OF NORDDESIGN 2004: PRODUCT DEVELOPMENT IN CHANGING ENVIRONMENT, 2004, : 153 - 162