Massively parallel execution of logic programs: A static approach

被引：0

作者：

Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy ^{[1
]}

不详 ^{[2
]}

机构：

来源：

J Syst Archit | / 6-7卷 / 437-457期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] ON THE EXECUTION OF PARALLEL PROGRAMS ON MULTIPROCESSOR SYSTEMS - A QUEUING THEORY APPROACH
BACCELLI, F
LIU, Z
JOURNAL OF THE ACM, 1990, 37 (02) : 373 - 414
[32] Massively Parallel Logic Simulation with GPUs
Zhu, Yuhao
Wang, Bo
Deng, Yangdong
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2011, 16 (03)
[33] STATIC ALLOCATION IN MASSIVELY PARALLEL COMPUTERS
MATURANA, G
COMPUTER PHYSICS COMMUNICATIONS, 1987, 45 (1-3) : 319 - 322
[34] Unconventional Logic for Massively Parallel Reasoning
Schumann, Andrew
2013 6TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2013, : 298 - 305
[35] Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
Klemen, Maximiliano
Lopez-Garcia, Pedro
Gallagher, John P.
Morales, Jose F.
Hermenegildo, Manuel, V
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 238 - 240
[36] Static approach for compiling communications in parallel scientific programs
Gautier, de Lahaut, Damien
Germain, Cecile
Scientific Programming, 4 (04):
[37] Adaptive, Efficient, Parallel Execution of Parallel Programs
Sridharan, Srinath
Gupta, Gagan
Sohi, Gurindar S.
ACM SIGPLAN NOTICES, 2014, 49 (06) : 169 - 180
[38] A PACKET BASED DEMAND DATA DRIVEN REDUCTION MODEL FOR THE PARALLEL EXECUTION OF LOGIC PROGRAMS
LEE, MKO
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 237 : 214 - 221
[39] OBTAINING 1ST SOLUTIONS FASTER IN AND-OR PARALLEL EXECUTION OF LOGIC PROGRAMS
SALETORE, VA
KALE, LV
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 390 - 406
[40] MACHINE-INDEPENDENT AND AND OR PARALLEL EXECUTION OF LOGIC PROGRAMS .1. THE BINDING ENVIRONMENT
RAMKUMAR, B
KALE, LV
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1994, 5 (02) : 170 - 180

← 1 2 3 4 5 →