首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
POSTER: The Liberation Day of Nondeterministic Programs
被引:0
|
作者
:
Deiana, Enrico A.
论文数:
0
引用数:
0
h-index:
0
Deiana, Enrico A.
St-Amour, Vincent
论文数:
0
引用数:
0
h-index:
0
St-Amour, Vincent
Dinda, Peter
论文数:
0
引用数:
0
h-index:
0
Dinda, Peter
Hardavellas, Nikos
论文数:
0
引用数:
0
h-index:
0
Hardavellas, Nikos
Campanoni, Simone
论文数:
0
引用数:
0
h-index:
0
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 条
[1]
ON NONDETERMINISTIC PROGRAMS
LANDWEHR, CE
论文数:
0
引用数:
0
h-index:
0
LANDWEHR, CE
COMMUNICATIONS OF THE ACM,
1982,
25
(04)
: 292
-
292
[2]
LIBERATION POSTER EXHIBITS
WALSH, DJ
论文数:
0
引用数:
0
h-index:
0
机构:
LIBERAT GRAPH,ALEXANDRIA,VA 22301
LIBERAT GRAPH,ALEXANDRIA,VA 22301
WALSH, DJ
P S,
1985,
18
(04)
: 725
-
726
[3]
IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS
GUERREIRO, P
论文数:
0
引用数:
0
h-index:
0
GUERREIRO, P
LECTURE NOTES IN COMPUTER SCIENCE,
1984,
167
: 133
-
144
[4]
CORRECTNESS OF NONDETERMINISTIC PROGRAMS
MANNA, Z
论文数:
0
引用数:
0
h-index:
0
机构:
STANFORD UNIV,STANFORD,CA
STANFORD UNIV,STANFORD,CA
MANNA, Z
ARTIFICIAL INTELLIGENCE,
1970,
1
(1-2)
: 1
-
26
[5]
A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
GILLUEZAS, A
论文数:
0
引用数:
0
h-index:
0
GILLUEZAS, A
LECTURE NOTES IN COMPUTER SCIENCE,
1989,
380
: 197
-
208
[6]
Termination of nondeterministic quantum programs
Li, Yangjia
论文数:
0
引用数:
0
h-index:
0
机构:
Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol, Dept Comp Sci & Technol, Beijing 100084, Peoples R China
Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol, Dept Comp Sci & Technol, Beijing 100084, Peoples R China
Li, Yangjia
Yu, Nengkun
论文数:
0
引用数:
0
h-index:
0
机构:
Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol, Dept Comp Sci & Technol, Beijing 100084, Peoples R China
Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol, Dept Comp Sci & Technol, Beijing 100084, Peoples R China
Yu, Nengkun
Ying, Mingsheng
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Technol Sydney, Fac Engn & Informat Technol, Ctr Quantum Computat & Intelligent Syst, Sydney, NSW 2007, Australia
Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol, Dept Comp Sci & Technol, Beijing 100084, Peoples R China
Ying, Mingsheng
ACTA INFORMATICA,
2014,
51
(01)
: 1
-
24
[7]
Termination of Nondeterministic Probabilistic Programs
Fu, Hongfei
论文数:
0
引用数:
0
h-index:
0
机构:
Shanghai Jiao Tong Univ, Shanghai, Peoples R China
Shanghai Jiao Tong Univ, Shanghai, Peoples R China
Fu, Hongfei
Chatterjee, Krishnendu
论文数:
0
引用数:
0
h-index:
0
机构:
IST Austria, Klosterneuburg, Austria
Shanghai Jiao Tong Univ, Shanghai, Peoples R China
Chatterjee, Krishnendu
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019,
2019,
11388
: 468
-
490
[8]
ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
论文数:
0
引用数:
0
h-index:
0
机构:
IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598
IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598
HAREL, D
THEORETICAL COMPUTER SCIENCE,
1981,
13
(02)
: 175
-
192
[9]
Termination of nondeterministic quantum programs
Yangjia Li
论文数:
0
引用数:
0
h-index:
0
机构:
Tsinghua University,Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology
Yangjia Li
Nengkun Yu
论文数:
0
引用数:
0
h-index:
0
机构:
Tsinghua University,Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology
Nengkun Yu
Mingsheng Ying
论文数:
0
引用数:
0
h-index:
0
机构:
Tsinghua University,Tsinghua National Laboratory of Information Science and Technology, Department of Computer Science and Technology
Mingsheng Ying
Acta Informatica,
2014,
51
: 1
-
24
[10]
THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED
HOLENDERSKI, L
论文数:
0
引用数:
0
h-index:
0
HOLENDERSKI, L
INFORMATION PROCESSING LETTERS,
1986,
23
(06)
: 299
-
303
←
1
2
3
4
5
→