共 50 条
- [1] A DATA-FLOW PROLOG EXECUTION MODEL AND ITS ARCHITECTURAL SUPPORT [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 33 (02): : 119 - 130
- [2] DATA-FLOW AND LOGICFLOW MODELS FOR DEFINING A PARALLEL PROLOG ABSTRACT MACHINE [J]. PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 1994, 50 : 289 - 298
- [5] CONCURRENT EXECUTION OF PROLOG TRANSACTION [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 315 : 313 - 327
- [6] LIVE-STRUCTURE DATA-FLOW ANALYSIS FOR PROLOG [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 205 - 258
- [9] A Data-Flow Based Coordination Approach to Concurrent Software Engineering [J]. 2012 SECOND WORKSHOP ON DATA-FLOW EXECUTION MODELS FOR EXTREME SCALE COMPUTING (DFM 2012), 2012, : 36 - 43
- [10] A PARALLEL LOGIC SIMULATOR BASED ON CONCURRENT PROLOG [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 256 - 265