POSTER: The Liberation Day of Nondeterministic Programs

被引：0

作者：

Deiana, Enrico A.

St-Amour, Vincent

Dinda, Peter

Hardavellas, Nikos

Campanoni, Simone

机构：

来源：

2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT) | 2017年

关键词：

D O I：

10.1109/PACT.2017.26

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：136 / 137

页数：2

共 50 条

[31] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC AND CONCURRENT PROGRAMS
MAIN, MG
BENSON, DB
INFORMATION AND CONTROL, 1984, 62 (2-3): : 144 - 189
[32] Workload Characterization of Nondeterministic Programs Parallelized by STATS
Deiana, Enrico A.
Campanoni, Simone
2019 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), 2019, : 190 - 201
[33] CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS
GOGUEN, JA
MESEGUER, J
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 268 - 290
[34] A PROCESS LOGIC FOR NONDETERMINISTIC WHILE-PROGRAMS
ZILLI, MV
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 346 - 346
[35] On the hierarchy of nondeterministic branching k-programs
Okol'nishnikova, EA
FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 376 - 387
[36] Good enough testing of nondeterministic parallel programs
Kranzlmüller, D
Messner, J
Schaubschläger, C
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 641 - 645
[37] A testing strategy for nondeterministic message passing programs
Kranzlmüller, D
Schaubschläger, C
Volkert, J
HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, 2000, 541 : 49 - 63
[38] MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS.
Abrahamson, Karl
Instrument Maintenance Management, 1979, 70 : 21 - 33
[39] LOWER BOUNDS FOR DETERMINISTIC AND NONDETERMINISTIC BRANCHING PROGRAMS
RAZBOROV, AA
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 529 : 47 - 60
[40] RELATIONAL ALGEBRAIC SEMANTICS OF DETERMINISTIC AND NONDETERMINISTIC PROGRAMS
BERGHAMMER, R
ZIERER, H
THEORETICAL COMPUTER SCIENCE, 1986, 43 (2-3) : 123 - 147

← 1 2 3 4 5 →