Accelerating multi-party scheduling for transaction-level modeling
暂无分享,去创建一个
Di Wang | Wei Qin | Jayanta Bhadra | Zhen Wang | Hangsheng Wang | Vyas Venkataraman | Mrinal Bose | Hangsheng Wang | Zhen Wang | J. Bhadra | W. Qin | Vyas Venkataraman | Di Wang | Mrinal Bose
[1] Rishiyur S. Nikhil,et al. Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions , 2008 .
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[4] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[5] S. Tucker Taft,et al. Consolidated Ada Reference Manual Language and Standard Libraries , 2002, Lecture Notes in Computer Science.
[6] Peter Barth. Logic-Based 0-1 Constraint Programming , 2011 .
[7] Ed Solari,et al. PCI Express System Architecture , 2003 .
[8] Stephen A. Edwards,et al. SHIM: a deterministic model for heterogeneous embedded systems , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
[9] Yuh-Jzer Joung,et al. A comprehensive study of the complexity of multiparty interaction , 1992, POPL '92.
[10] M. F. Bowen. Handel-c language reference manual , 1998 .