Publications

Export 538 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is A  [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 
A
Kozen D, Teitelbaum T, Chen WZ, Field JH, Pugh W, Vander Zanden BT.  1987.  ALEX-an Alexical Programming Language. TR87-835
Grant J, Litwin W, Roussopoulos N, Sellis T.  1991.  An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
Zelkowitz MV.  1995.  Algebra and models (and reality). SIGSOFT Softw. Eng. Notes. 20(2):55-57.
Zelkowitz MV.  1994.  Algebra and models (and reality). SIGSOFT Softw. Eng. Notes. 19(4):79-81.
Fayzullin M, V.S. Subrahmanian.  2004.  An algebra for powerpoint sources. Multimedia Tools and Applications. 24(3):273-301.
Elman H, Zhang X.  1995.  Algebraic Analysis of the Hierarchical Basis Preconditioner. SIAM Journal on Matrix Analysis and ApplicationsSIAM. J. Matrix Anal. & Appl.. 16(1):192-192.
Agrawal A, Chellappa R, Raskar R.  2005.  An algebraic approach to surface reconstruction from gradient fields. Computer Vision, 2005. ICCV 2005. Tenth IEEE International Conference on. 1:174-181Vol.1-174-181Vol.1.
Ray A, Cleaveland R, Skou A.  2005.  An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.
Cleaveland R, L\üttgen G, Mendler M.  1997.  An algebraic theory of multiple clocks. CONCUR'97: Concurrency Theory. :166-180.
Natarajan V, Cleaveland R.  1996.  An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
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.
Bai Z, Stewart G.W.  1997.  Algorithm 776: SRRIT: a Fortran subroutine to calculate the dominant invariant subspace of a nonsymmetric matrix. ACM Trans. Math. Softw.. 23(4):494-513.
Kolda TG, O'Leary DP.  2000.  Algorithm 805: computation and uses of the semidiscrete matrix decomposition. ACM Trans. Math. Softw.. 26(3):415-435.
Berry MW, Pulatova SA, Stewart G.W.  2005.  Algorithm 844: Computing sparse reduced-rank approximations to sparse matrices. ACM Transactions on Mathematical Software-TOMS. 31(2):252-269.
Lee C-R, Stewart G.W.  2008.  Algorithm 879: EIGENTEST—a test matrix generator for large-scale eigenproblems. ACM Trans. Math. Softw.. 35(1):7:1–7:11-7:1–7:11.
Mount D, Stein C.  2002.  Algorithm Engineering and Experiments: 4th International Workshop, Alenex 2002, San Francisco, Ca, Usa, January 4-5. 2002 : Revised Papers.
Son SH, Agrawala AK.  1986.  Algorithm for concurrency control in replicated databases.. COMP. SYST. SCI. ENG.. 1(2):75-81.
Agrawala AK, Ricart G.  1980.  An Algorithm for Mutual Exclusion in Computer Networks..
M. Wu, Wolf W, Liu B.  1998.  An algorithm for wipe detection. Image Processing, 1998. ICIP 98. Proceedings. 1998 International Conference on. 1:893-897vol.1-893-897vol.1.
Sankaranarayanan AC, Chellappa R, Srivastava A.  2005.  Algorithmic and architectural design methodology for particle filters in hardware. Computer Design: VLSI in Computers and Processors, 2005. ICCD 2005. Proceedings. 2005 IEEE International Conference on. :275-280.
Sankaranarayanan AC, Srivastava A, Chellappa R.  2008.  Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering. Image Processing, IEEE Transactions on. 17(5):737-748.
Vishkin U.  2009.  Algorithmic approach to designing an easy-to-program system: Can it lead to a HW-enhanced programmer's workflow add-on? Computer Design, 2009. ICCD 2009. IEEE International Conference on. :60-63.
Kumar AVS, Marathe MV, Parthasarathy S, Srinivasan A.  2005.  Algorithmic aspects of capacity in wireless networks. Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems. :133-144.
Xu C, Gupta SK.  2004.  Algorithmic Foundations for Consistency-Checking of Interaction-States of Mechatronic Systems.
Demaine ED, Hajiaghayi MT, Kawarabayashi K.  2005.  Algorithmic graph minor theory: Decomposition, approximation, and coloring. Foundations of Computer Science, 2005. FOCS 2005. 46th Annual IEEE Symposium on. :637-646.

Pages