Publications

Export 538 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is A  [Clear All Filters]
1976
Perlis D.  1976.  An application of compiler simulation at the source language level. The Computer Journal. 19(1):90-90.
Zelkowitz MV.  1976.  Automatic program analysis and evaluation. Proceedings of the 2nd international conference on Software engineering. :158-163.
1978
Basili VR, Zelkowitz MV.  1978.  Analyzing medium-scale software development. Proceedings of the 3rd international conference on Software engineering. :116-123.
1980
Zelkowitz MV.  1980.  Advances in software engineering resource estimation. Advances in computer programming management. 1:206-225.
Agrawala AK, Ricart G.  1980.  An Algorithm for Mutual Exclusion in Computer Networks..
Davis LS, Roussopoulos N.  1980.  Approximate pattern matching in a pattern database system. Information Systems. 5(2):107-119.
Lerner MR, Boyle JA, Mount SM, Wolin SL, Steitz JA.  1980.  Are snRNPs involved in splicing? Nature. 283(5743):220-224.
Thomas G, Shneiderman B.  1980.  Automatic database system conversion: A transformation language approach to sub-schema implementation. IEEE Computer Software and Applications Conference. :80-88.
1981
O'Leary DP, Widlund O.  1981.  Algorithm 572: Solution of the Helmholtz Equation for the Dirichlet Problem on General Bounded Three-Dimensional Regions [D3]. ACM Transactions on Mathematical Software. 7(2):239-246.
1982
Shneiderman B, Thomas G.  1982.  An architecture for automatic relational database sytem conversion. ACM Trans. Database Syst.. 7(2):235-257.
Shneiderman B, Thomas G.  1982.  Automatic database system conversion: schema revision, data translation, and source-to-source program transformation. Proceedings of the June 7-10, 1982, national computer conference. :579-587.
1983
Pop M, Romas D, Romania.  1983.  Achievements and Prospects with Regard to Energy Recycling in Textile Finishing Shops.
O'Leary DP, Peleg S.  1983.  Analysis of Relaxation Processes: the Two Node, Two Label Case. IEEE Transactions on Systems, Man, and Cybernetics. SMC-13:618-623.
1984
Reggia JA, Nau DS.  1984.  An abductive non-monotonic logic. Workshop on Nonmonotonic Reasoning.
Minter J, Perlis D.  1984.  Applications or Protected Circumscription. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings. 170:414-414.
1985
Reggia JA.  1985.  Abductive inference. Proceedigns of the Expert Systems in Government Symposium. :484-489.
Reggia JA, Perricone B, Nau DS, Peng Y.  1985.  Answer justification in abductive expert systems for diagnostic problem solving. IEEE Transactions on Biomedical Engineering.
Reggia JA, Perricone BT, Nau DS, Peng Y.  1985.  Answer Justification in Diagnostic Expert Systems-Part II: Supporting Plausible Justifications. Biomedical Engineering, IEEE Transactions on. (4):268-272.
1986
Cole R, Vishkin U.  1986.  The accelerated centroid decomposition technique for optimal parallel tree evaluation in logarithmic time, Ultracomputer Note-108.
Son SH, Agrawala AK.  1986.  Algorithm for concurrency control in replicated databases.. COMP. SYST. SCI. ENG.. 1(2):75-81.
Iseki O, Shneiderman B.  1986.  Applying direct manipulation concepts: direct manipulation dik operating system (DMDOS). SIGSOFT Softw. Eng. Notes. 11(2):22-26.
Cole R, Vishkin U.  1986.  Approximate and exact parallel scheduling with applications to list, tree and graph problems. 27th Annual Symposium on Foundations of Computer Science. :478-491.
Cole R, Vishkin U.  1986.  Approximate scheduling, exact scheduling, and applications to parallel algorithms. Proceedings Symposium on Foundations of Computer Science. :478-491.
O'Leary DP, Stewart G.W.  1986.  Assignment and scheduling in parallel matrix factorization. Linear Algebra and its Applications. 77:275-299.
1987
Kozen D, Teitelbaum T, Chen WZ, Field JH, Pugh W, Vander Zanden BT.  1987.  ALEX-an Alexical Programming Language. TR87-835

Pages