[Lecture Notes in Computer Science] Languages and Compilers for Parallel Computing Volume 892 || Optimizing parallel SPMD programs
- 作者Pingali, Keshav; Banerjee, Utpal; Gelernter, David; Nicolau, Alex; Padua, David
- 文件大小892.26KB
- 发表时间1995
- DOI10.1007/BFb0025888
- 页码331-345
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Improving Dependency PairsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Disproving False ConjecturesVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Congruence Closure with Integer OffsetsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Automatic Structures of Bounded DegreeVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Is Cantor’s Theorem Automatic?Vardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Minimizing Automata on Infinite WordsVardi, Moshe Y.; Voronkov, Andrei · 2003
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || A Machine-Verified Code GeneratorVardi, Moshe Y.; Voronkov, Andrei · 2003