Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
O'Leary DP, Whitman P.  1990.  Parallel QR factorization by householder and modified Gram-Schmidt algorithms. Parallel Computing. 16(1):99-112.
Hollingsworth J, Miller BP.  1992.  Parallel program performance metrics: a comprison and validation. Proceedings of the 1992 ACM/IEEE conference on Supercomputing. :4-13.
Raschid L, Su SYW.  1986.  A parallel processing strategy for evaluating recursive queries. Proceedings of the 12th International Conference on Very Large Data Bases. :412-419.
D'Autrechy CL, Reggia JA.  1989.  Parallel plan execution with self-processing networks. Telematics and Informatics. 6(3-4):145-157.
Raschid L, Su SYW.  1992.  A parallel pipelined strategy for evaluating linear recursive predicates in a multiprocessor environment.. J. Parallel Distrib. Comput.. 14(2):146-162.
Tabatabaee V, Tiwari A, Hollingsworth J.  2005.  Parallel Parameter Tuning for Applications with Performance Variability. Proceedings of the 2005 ACM/IEEE conference on Supercomputing. :57–-57–.
Shiloach Y, Vishkin U, An O.  1982.  parallel MAX-FLOW algorithm. Journal of Algorithms. 3:128-146.
Berkman O, Vishkin U.  1993.  On parallel integer merging. Information and Computation. 106(2):266-285.
Martin, M.P, Candler GV.  2006.  A parallel implicit method for the direct numerical simulation of wall-bounded compressible turbulence. Journal of Computational Physics. 215(1):153-171.
O'Leary DP.  1987.  Parallel implementation of the block conjugate gradient algorithm. Parallel Computing. 5(1–2):127-139.
Matias Y, Vishkin U.  1991.  On parallel hashing and integer sorting. Journal of Algorithms. 12(4):573-606.
Juba D, Cardone A, Ip C Y, Simon Jr CG, K Tison C, Kumar G, Brady M, Varshney A.  2013.  Parallel geometric classification of stem cells by their three-dimensional morphology. Computational Science & Discovery. 6(1):015007.
Maon Y, Schieber B, Vishkin U.  1986.  Parallel ear decomposition search (EDS) and st-numbering in graphs. Theoretical Computer Science. 47:277-298.
Paul W, Vishkin U, Wagener H.  1983.  Parallel dictionaries on 2–3 trees. Automata, Languages and Programming. :597-609.
Apostolico A, Iliopoulos C, Landau GM, Schieber B, Vishkin U.  1988.  Parallel construction of a suffix tree with applications. Algorithmica. 3(1):347-365.
Landau G, Schieber B, Vishkin U.  1987.  Parallel construction of a suffix tree. Automata, Languages and Programming. :314-325.
O'Leary DP.  1994.  Parallel Computing: Emerging from a Time Warp. IEEE Computational Science & Engineering. 1(4):1,15-1,15.
Chandran S, Kim SK, Mount D.  1992.  Parallel computational geometry of rectangles. Algorithmica. 7(1):25-49.
Paul W, Vishkin U, Wagener H.  1983.  Parallel computation on 2-3-trees. RAIRO Informatique théorique. 17(4):397-404.
Khuller S, Vishkin U.  1994.  On the parallel complexity of digraph reachability. Information Processing Letters. 52(5):239-241.
Vishkin U.  1992.  A parallel blocking flow algorithm for acyclic networks. Journal of Algorithms. 13(3):489-501.
Elman H, Howle VE, Shadid J, Tuminaro R.  2002.  A Parallel Block Multi-level Preconditioner for the 3D Incompressible Navier--Stokes Equations. UMIACS-TR-2002-95
Kamara S, Papamanthou C.  2013.  Parallel and Dynamic Searchable Symmetric Encryption. Financial Cryptography and Data Security. :258-274.
Katz J, Shin JS, Smith A.  2010.  Parallel and concurrent security of the HB and HB+ protocols. Journal of cryptology. 23(3):402-421.
Chang S-C, JaJa JF.  1988.  Parallel Algorithms for Wiring Module Pins to Frame Pads.

Pages