Reports

  • K. M. Elleithy and Tarek Sobh, “Wireless LAN Laboratory,” National Sceinec Foundation (NSF), Proposal, June 2001.
  • K. M. Elleithy, “Mobile Content Mnanger,” United Nations Develoment Program (UNDP), Transfer of Knowledge through Expatriate Nationals (TOTKEN), Proposal, July 2001.
  • M. A Aref, K. M. Elleithy, T. Sobh,  “Developing an Intelligence Web Based Expert System for Anemia Diagnosis and Categorization’‘U.S. Egypt Joint Board on Scientific and Technological Cooperation, Proposal, October 2001.
  • K. Altawil and K. Elleithy, “Security Implementation and Evaluation of Armco Enterprise Network,” Saudi Aramco, Final report, May 2000.
  • K. Altawil and K. Elleithy, “Security Implementation and Evaluation of Armco Enterprise Network,” Saudi Aramco, First report, May 1999.
  • K. Altawil and K. Elleithy, “Security Implementation and Evaluation of Armco Enterprise Network,” Saudi Aramco, Proposal, January 1999.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, Final report, AR-13-11, March 1996.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, progress report #5, AR-13-11, June 1995.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, progress report #4, AR-13-11, January 1995.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, progress report #3, AR-13-11, June 1994.
  • K. M. Elleithy and M. A. Aref, “A Production System Based Environment for Formal Hardware Verification,” King Abdulaziz City of Science and Technology, proposal report, AR-15-63, January 1994.
  • M. A. Barr, M. Y. Osman, S. H. Juwad, S. M. Sait, M. S. Benten, and K. M. Elleithy, “An Integrated Framework for Synthesis, Verification, Optimization, and Testability of VLSI-Based Design,” King Abdulaziz City of Science and Technology, proposal report, AR-15-74, January 1994.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, progress report #2, AR-13-11, January 1994.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, progress report #1, AR-13-11, July 1993.
  • K. M. Elleithy and A. A. Amin, “A Formal Methodology for Parallel VLSI Algorithm Design,” King Abdulaziz City of Science and Technology, proposal report, AR-13-11, July 1991.
  • K. M. Elleithy, “Formalization of High Level Synthesis,” VLSI Technical Report TR 89-8-2, The Center for Advanced Computer Studies, University of Southwestern Louisiana, 1989.
  • K. M. Elleithy, “Optimization of SQL queries” The Center for Advanced Computer Studies, University of South Western Louisiana, Project Report, May 88.
  • K. M. Elleithy, “Emulating the Instruction Set of a Simple Computer,” The Center for Advanced Computer Studies, University of South Western Louisiana, Project Report, December 1987.
  • K. M. Elleithy, “On bit-Parallel Implementation for the Chinese Remainder Theorem,” VLSI Technical Report TR 87-8-1, The Center for Advanced Computer Studies, University of Southwestern Louisiana, 1987.
  • K. M. Elleithy, “Parallel Implementation of Searching Algorithms,” The Center for Advanced Computer Studies, University of South Western Louisiana, project report, May 1987.
  • K. M. Elleithy, “Parallel Implementation of Template Matching Algorithms,” The Center for Advanced Computer Studies, University of South Western Louisiana, project report, May 1987.
  • K. M. Elleithy, “A Library for Scene Analysis and Image processing,” The Center for Advanced Computer Studies, University of South Western Louisiana, project report, April 1987.
  • K. M. Elleithy, “On bit-Parallel Processing for Modulo Arithmetic,” VLSI Technical Report TR 86-8-1, The Center for Advanced Computer Studies, University of Southwestern Louisiana, 1986.
  • K. M. Elleithy, “Simulation of a Computer Queuing Model,’” The Center for Advanced Computer Studies, University of South Western Louisiana, project report, November 1986.
  • K. M. Elleithy, “Design and Implementation of Switching Functions Representation and Minimization Package,” The Center for Advanced Computer Studies, University of South Western Louisiana, project report, November 1986.