Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
1985
Perl Y, Vishkin U.  1985.  Efficient implementation of a shifting algorithm. Discrete applied mathematics. 12(1):71-80.
Tarjan RE, Vishkin U.  1985.  An efficient parallel biconnectivity algorithm. SIAM Journal on Computing. 14:862-862.
Vishkin U.  1985.  On efficient parallel strong orientation. Information Processing Letters. 20(5):235-240.
Landau GM, Vishkin U.  1985.  Efficient string matching in the presence of errors. Foundations of Computer Science, 1985., 26th Annual Symposium on. :126-136.
Zelkowitz MV, Elgot J, Itkin D, Kowalchack B, Maggio M.  1985.  The Engineering of an Environment on Small Machines. Proceedings of the IEEE 1st International Conference on Computer Workstations. :61-69.
Reggia JA.  1985.  Evaluation of Medical Expert Systems: A Case Study in Performance Analysis. Proceedings of the Ninth Annual Symposium on Computer Applications in Medical Care. :287-291.
Mount D.  1985.  On Finding Shortest Paths on Convex Polyhedra..
Reggia JA, Nau DS, Wang P, Peng Y.  1985.  A formal model of abductive inference. Information Sciences. 37:227-285.
Reggia JA, Nau DS, Wang PY, Peng Y.  1985.  A formal model of diagnostic inference, II. Algorithmic solution and application. Information Sciences. 37(1-3):257-285.
Owens RM, JaJa JF.  1985.  A High-Level Interactive System for Designing VLSI Signal Processors. ISR-TR-1985-7
Shneiderman B.  1985.  Human factors issues of manuals, online help, and tutorials. Empirical foundations of information and software science. 1984:107-107.
Perlis D.  1985.  Languages with self-reference I: Foundations. Artificial Intelligence. 25(3):301-322.
Parton D, Huffman K, Pridgen P, Norman K, Shneiderman B.  1985.  Learning a menu selection tree: training methods compared. Behaviour & Information Technology. 4(2):81-91.
JaJa JF.  1985.  Lower bounds on monotone arithmetic circuits with restricted depths. Computers & Mathematics with Applications. 11(12):1155-1164.
Shneiderman B.  1985.  A model programming environment. Advances in Human-Computer Interaction. 1:105-132.
O'Leary DP, White RE.  1985.  Multi-splittings of Matrices and Parallel Solution of Linear Systems. SIAM Journal on Algebraic and Discrete Methods. 6:630-640.
JaJa JF, Wu SM.  1985.  A New Approach for Compiling Boolean Functions. ISR; TR 1985-39
Bar-On I, Vishkin U.  1985.  Optimal parallel generation of a computation tree form. ACM Transactions on Programming Languages and Systems (TOPLAS). 7(2):348-357.
Vishkin U.  1985.  Optimal parallel pattern matching in strings. Information and Control. 67(1-3):91-113.
Schwartz JP, Norman KL, Shneiderman B.  1985.  Performance on content-free menus as a function of study method. Tech Report HCIL-85-03.
Brooks R, Sheppard S, Shneiderman B.  1985.  The Psychology of Program Documentation. Conference on Software Maintenance, 1985, Sheraton Inn Washington-Northwest, November 11-13, 1985. :191-191.
Gannon J, Basili VR, Zelkowitz MV, Yeh R.  1985.  Research in Programming Languages and Software Engineering..
Roussopoulos N, Mark L.  1985.  Schema manipulation in self-describing and self-documenting data models. International Journal of Parallel Programming. 14(1):1-28.
Roussopoulos N, Yeh RT.  1985.  SEES—A Software testing Environment Support System. IEEE Transactions on Software Engineering. SE-11(4):355-366.
Roussopoulos N, Mark L.  1985.  SELF-DESCRIBING AND SELF-DOCUMENTING DATABASE SYSTEMS. Languages for automation. :275-275.

Pages