Search Result Save to File Save as CSV
Your search for 52305 returns 193 document(s)
Parallelizing Datalog Programs by Generalized Pivoting (241-251)
Author: Jurgen Seib J. Georg Lausen; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Inference of Monotonicity Constraints in Datalog Programs (190-199)
Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Applying an abstract data structure description approach to parallelizing scientific pointer programs, Hal. II.100-II.104
Author: Joseph Hummel; Laurie J. Hendren; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Disjunctive datalog
Author: Thomas Eiter | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Tools for Datalog Boundedness (1-12)
Author: Gerd G. Hillebrand Paris C. Kanellakis Herry G.Mairson Moshe Y. Vardi; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Parallelizing the fast multipole method for the helmholtz equation, Hal. 325-330
Author: Mark A. Stalzer; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
How much can we speedup Gaussian Elimination with Pivoting?
Author: M. Leoncini; | Call Number: SEM-212 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Hypothetical Datalog Negation and Recursion (286-300)
Author: Anthony J. Bonner; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On Datalog vs Polynomial Time (13-25)
Author: Foto Afrati Stavros S.Cosmadakis Mihalis Yannakakis; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Parallelizing the mur verifier, (LNCS-Lecture Notes in Computer Science 1254) Hal 256-267
Author: Ulrich Stern; David L. Dill; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next