Conferences

    1. Abdul Razaque and Khaled Elleithy, "Novel framework for Mobile Collaborative Learning (MCL) to substantiate Pedagogical activities"Internet Technologies & Society 2011 (ITS 2011), 8-11 December 2011, Beijing, China.
    2. Abdul Razaque and Khaled Elleithy," "Innovative mobile application to foster Mobile Collaborative Learning Environment (MCLE)”, 10th International Information and Telecommunication Technologies Conference, Curitiba, Paraná State, Brazil, December 13-15, 2011.
    3. Abdul Razaque and Khaled Elleithy "Architectured based Prototypes for Mobile Collaborative Learning to improve Pedagogical activities" Interactive collaborative learning (ICL), IEEE, Piešany, Slovakia, September 21 – 23, 2011.
    4. Abdul Razaque, N. Salama, Enam ul Haq, Abhilasha Tibrewal, khaled Elleithy," Developing the Compiler to upgrade the features of Object Oriented Programming (OOP) C++", 2011 ASEE Northeast Section Conference, University of Hartford, Connecticut, April 29-30, 2011.
    5. Abdul Razaque and Khaled Elelithy, "Design and Development of Hilological prototypes for Mobile Collaborative Learning (MCL)," 2011 ASEE Northeast Section Conference, University of Hartford, Connecticut, April 29-30, 2011.
    6. Abdul Razaque, Khaled Elelithy, Fadel Hussen, Omar Etach, and Wafa Elmammai, "Novel Proactive Patch Peer Protocol to Support faster Delivery of Video-on-Demand," 2011 ASEE Northeast Section Conference, University of Hartford, Connecticut, April 29-30, 2011.
    7. Wafa Elmammai, Abdul Razaque, and Khaled Elelithy "Simulation based Study of TCP Variants in Hybrid Newtork," 2011 ASEE Northeast Section Conference, University of Hartford, Connecticut, April 29-30, 2011.
    8. Ali M. Elrashidi, Khaled Elleithy, and Hassan Bajwa, "Conformal Microstrip Printed Antenna," 2011 ASEE Northeast Section Conference, University of Hartford, Connecticut, April 29-30, 2011.
    9. Mohammed Abuhelaleh and Khaled Elleithy, "SOOAWSN: A complete framework for Wireless Sensor Networks," 2011 ASEE Northeast Section Conference, University of Hartford, Connecticut, April 29-30, 2011.
    10. Mohammed Abuhelaleh and Khaled Elleithy, "Security in Wireless Sensor Networks: Key Intrusion Detection Module in SOOAWSN," 14th Communications and Networking Simulation (CNS'11) Symposium, Boston, April 4 - 7, 2011.
    11. Eugene Gerety and Khaled Elleithy, "Location-Based Security for ID Document and ID Card Enrollment Stations," 14th Communications and Networking Simulation (CNS'11) Symposium, Boston, April 4 - 7, 2011.
    12. Syed Rizvi and Khaled Elleithy, "A Generic Optimized Time Management Algorithms (OTMA), Framework for Simulating Large-Scale Overlay Networks," 14th Communications and Networking Simulation (CNS'11) Symposium, Boston, April 4 - 7, 2011.
    13. Anil Mathew, Nithin Chandrababu, Khaled Elleithy, and Syed S. Rizvi, "IEEE 802.11 & Bluetooth Interference: Simulation and Coexistence," 7th Annual Conference on Communication Networks and Services Research (CNSR2009), Moncton, New Brunswick, Canada, May 11 - 13, 2009.
    14. Hemen Patel, Syed S. Rizvi, and Khaled M. Elleithy, "A New Approach to Avoid Deadlock in Parallel Discrete Event Simulation (PDES) System, "2009 ASEE Northeast Section Conference, University of Bridgeport, Connecticut (2009 NE ASEE), April 3-4, 2009.
    15. Sarosh Patel, Khaled Elleithy, and Syed S. Rizvi, "Hierarchically Segmented Routing (HSR) Protocol for MANET," 6th International Conference on Information Technology: New Generations ITNG 2009, April 27-29, 2009, Las Vegas, Nevada, USA, 2009.
    16. Syed S. Rizvi, Khaled M. Elleithy and Aasia Riasat, "An Efficient Optimistic Time Management Algorithms for Discrete-Event Simulation System," 6th International Conference on Information Technology: New Generations ITNG 2009, April 27-29, 2009, Las Vegas, Nevada, USA, 2009.
    17. Syed S. Rizvi, Mustafa A. Khan, Aasia Riasat, and Khaled M. Elleithy, "Combining Private and Public Key Encryption Techniques for Providing Extreme Secure Environment for an Academic Institution Application," 6th International Conference on Information Technology: New Generations ITNG 2009, April 27-29, 2009, Las Vegas, Nevada, USA, 2009.
    18. Syed S. Rizvi, Mustafa Khan, Khaled M. Elleithy, and Aasia Riasat, "Formulization of SNR for Optimum Receiver in Synchronous DS-CDMA Systems," 6th International Conference on Information Technology: New Generations ITNG 2009, April 27-29, 2009, Las Vegas, Nevada, USA, 2009.
    19. Syed S. Rizvi, Mustafa Khan, Khaled M. Elleithy, and Aasia Riasat, "Low-Complexity Algorithm for Improving the Computing Power of Multiuser Receivers for Next Generation Wireless Systems," 6th International Conference on Information Technology: New Generations ITNG 2009, April 27-29, 2009, Las Vegas, Nevada, USA, 2009.
    20. Gowrilakshmi Ponuratinam, Bhumika Patel, Syed S. Rizvi, and Khaled M. Elleithy, "Improvement in the Spread Spectrum System in DSSS, FHSS, AND CDMA," 2009 ASEE Northeast Section Conference, University of Bridgeport, Connecticut, April 3-4, 2009.
    21. Nilay Patel, Mayuresh Bhalekar, Pandya Nirav, Syed S. Rizvi, Khaled Elleithy, "Reducing Power Consumption in Sensor Network Using Sensor MAC Protocol," 2009 ASEE Northeast Section Conference, University of Bridgeport, Connecticut, April 3-4, 2009.
    22. Heven Patel, Hardik Patel, Aditya Jagannath, Syed S. Rizvi, Khaled Elleithy, "A Novel Simulation Based Methodology for the Congestion Control in ATM Networks," 2009 ASEE Northeast Section Conference, University of Bridgeport, Connecticut, April 3-4, 2009.
    23. Gowrilakshmi Ponuratinam, Bhumika Patel, Syed S. Rizvi, and Khaled M. Elleithy, "Improvement in the Spread Spectrum System in DSSS, FHSS, AND CDMA," 2009 ASEE Northeast Section Conference, University of Bridgeport, Connecticut, April 3-4, 2009.
    24. Muhammad Imran, Asif Shaikh, Syed S. Rizvi, Khaled M. Elleithy, "Performance Analysis of Switches in High Speed LAN," 2009 ASEE Northeast Section Conference, University of Bridgeport, Connecticut, April 3-4, 2009.
    25. M. A. Abuhelaleh, K. M. Elleithy, "Routing in Sensor Networks: Performance and Security in clustered networks", ASEE Zone I Conference 2008, United State Military Academy, West Point, NY March 28 - 29.
    26. Syed Rizvi, Bevin Thomas, Khaled Elleithy, and Aasia Riasat, "A New Technique of Switch & Feedback Job Scheduling Mechanism in a Distributed System," 2009 Spring Simulation Multiconference (SpringSim'09), San Diego-Mission Valley; San Diego, CA, USA, March 22 - 27, 2009.
    27. Bevin Thomas, Syed S. Rizvi, Khaled M. Elleithy, "Reducing Null Messages Using Grouping and Status Retrieval for a Conservative Discrete-Event Simulation System," 2009 Spring Simulation Multiconference (SpringSim'09), San Diego-Mission Valley; San Diego, CA, USA, March 22 - 27, 2009.
    28. Syed S. Rizvi, Hemen Patel, Khaled Elleithy, "Parallel and Distributed Algorithms and Implementations: Time Based Mutual Exclusion," 2009 Spring Simulation Multiconference (SpringSim'09), San Diego-Mission Valley; San Diego, CA, USA, March 22 - 27, 2009.
    29. Syed Rizvi, Khaled Elleithy, and Aasia Riasat, "Analyzing SNR Performance of a Low-Complexity Wireless Multiuser Receiver for DS-CDMA Systems," 2nd IEEE International Conference on Computer, Control & Communication (IEEE-IC4 2009), February 17-18, 2009, Karachi, Pakistan, 2009
    30. Syed Rizvi, Khaled Elleithy, and Aasia Riasat, "A Low Complexity Optimum Multi-user Receiver for Maximizing the BER Performance for DS-CDMA Systems," 2nd IEEE International Conference on Computer, Control & Communication (IEEE-IC4 2009), February 17-18, 2009, Karachi, Pakistan, 2009
    31. Abdelrahman Elleithy, Syed S. Rizvi, and Khaled M. Elleithy, "Optimization and Job Scheduling in Heterogeneous Networks," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 08), December 5 - 13, 2008.
    32. Abdelrahman Elleithy, Syed S. Rizvi, and Khaled M. Elleithy, "Investigating the Effects of Trees and Butterfly Barriers on the Performance of Optimistic GVT Algorithm," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 08), December 5 - 13, 2008.
    33. Syed S. Rizvi, Majid A. Jafri, and Khaled Elleithy, "A Novel Optimization of the Distance Source Routing (DSR) Protocol for the Mobile Ad Hoc Networks (MANET)," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 08), December 5 - 13, 2008.
    34. Mohamed A. Abuhelaleh, Khaled . M. Elleithy, and Thabet M. Mismar "Modified LEACH - Energy Efficient Wireless Networks Communication," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 08), December 5 - 13, 2008..
    35. Syed S. Rizvi, Shalini Poathan, and Khaled M. Elleithy, "A GVT Based Algorithm for Butterfly Barrier in Parallel and Distributed Systems," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CIS2E 08), December 5 - 13, 2008.
    36. Syed S. Rizvi, Aasia Riasat, and Khaled M. Elleithy, "Performance Analysis of End System Multicast," accepted at the 1st IEEE International Workshop on Future Multimedia Networking (IEEE FNM 2008), Cardiff, Wales, September 18, 2008.
    37. Syed S. Rizvi, Aasia Riasat, and Khaled M. Elleithy, "A Mathematical Model for Evaluating the Performance of Multicast Systems," The 1st IEEE International Workshop on IP Multimedia Communications (IPMC 2008) August 4 - 7, 2008, St. Thomas U.S. Virgin Islands in conjunction 17TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN), 2008.
    38. Jalpa Bani, Syed S. Rizvi, and Khaled M. Elleithy, "A Secured Rijndael Implementation to Withstand Cache Timing Attack Using Dynamic Cache Flushing (DCF) Algorithm," First IEEE International Workshop on Security of Computer Communications and Networks (SoCCaN 2008) August 4 - 7, 2008, St. Thomas U.S. Virgin Islands.
    39. Syed S. Rizvi, Aasia Riasat, Khaled M. Elleithy, and Mustafa Khan, "The Worst and Best case Capacity Analysis of Mobile Ad Hoc Networks (MANET) using a 3-Phase Algorithm," The 5th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad hoc Communications and Networks: IEEE SECON 2008. June 16-20, 2008, San Francisco Bay Area, 2008.
    40. Syed S. Rizvi, Aasia Riasat, and Khaled M. Elleithy, "Reducing Null Message Traffic in Large Parallel and Distributed Systems," 13th IEEE Symposium on Computers and Communications (ISCC'08), July 6 - 9, 2008, Marrakech, Morocco. (Received Best Paper Award).
    41. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "An Efficient Single Bit Store and Forward (SBSF) Routing Algorithm for Mesh-Hypercube (M-H) Networks," The 2008 World Congress in Computer Science, Computer Engineering, and Applied Computing WORLDCOMP'08. Las Vegas, Navada. pp. 69 - 75, July 14 - 17, 2008.
    42. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "A Closed Form Expression for BER to Quantify MAI for Synchronous DS-CDMA Multi-user Detector," 9th IEEE Wireless Telecommunication Symposium (IEEE WTS 2008), Pomona, California, pp. 110-114, April 24-26 2008.
    43. Auf Akhtar, Syed S. Rizvi, and Khaled M. Elleithy, "A Novel Approach of Using Data Guard for Disaster Recovery & Rolling Upgrades," ASEE Zone I Conference 2008, United State Military Academy, West Point, NY March 28 - 29.
    44. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "SNR Analysis of a Low-Complexity Wireless Multiuser Receiver for DS-CDMA Systems," IEEE International Symposium on Wireless Pervasive Computing (IEEE ISWPC-08) 2008, 7 - 9 May 2008 Santorini, Greece.
    45. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "Transformation Matrix System for Reducing the Computational Complexity of Wireless Multi-user Receivers for DS-CDMA Systems," 5th International Conference on Information Technology: New Generations ITNG 2008, April 7-9, 2008, Las Vegas, Nevada, USA.
    46. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "A New Mathematical Model for Optimizing the Performance of Parallel and Discrete Event Simulation Systems," 11th Communications and Networking Simulation Symposium (CNS'08), Part of the 2008 Spring Simulation Multiconference (SpringSim'08). April 14-16, 2008. Crowne Plaza Ottawa, Ottawa, Ontario
    47. Sarosh Patel and Khaled Elleithy, "Hierarchically Segmented Routing Protocol for MANETs". In the proceedings of the American Society for Engineering Education (ASEE 08) Zone I Conference, United States Military Academy, West Point, New York, USA, March 2008.
    48. Abdelshakour Abuzneid, Khaled Elleithy, "Using Available Wireless / Wired Network Infrastructure for Public Safety and Emergency Early Response", The American Society for Engineering Education (Zone I), ASEE 2008, March 2008.
    49. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "Deterministic Formalization of the Processing Gain for Reducing MAI in Multi-Channel Communication Systems," 5th Annual IEEE Consumer Communications and Networking Conference (IEEE CCNC'2008), pp. 859 - 860, Las Vegas, Nevada January 10 - 12, 2008.
    50. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "Use of Processing Gain to Suppress Multi Access Interference (MAI) in CDMA Based Multiuser Receiver," International Wireless communications and Mobile Computing Conference 2007 (IWCMC 2007), Honolulu, Hawaii, August 12-16, 2007.
    51. Syed S. Rizvi, Aasia Riasat, Muhammad S. Rashid, and Khaled M. Elleithy, "An Efficient Scheme for Traffic Management in ATM Networks," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 07), Bridgeport, CT, USA. December 3 - 12, 2007.
    52. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "Trees and Butterflies Barriers in Distributed Simulation System: A Better Approach to Improve Latency and the Processor Idle Time", IEEE International Conference on Information and Emerging Technologies (IEEE ICIET-2007), pp. 1 - 6, July 06-07, 2007, Karachi, Pakistan.
    53. Syed S. Rizvi, Khaled M. Elleithy, and Aasia Riasat, "The Impact of Reduced Computational Complexity of Multiuser Detectors on the Processing Gain in a Wireless DS-CDMA Multiuser System," Proceedings of the 2007 International Conference on Wireless Networks (ICWN'07). Part of the 2007 World Congress in Computer Science, Computer Engineering, & Applied Computing (Worldcomp'07), pp. 70 - 76, Las Vegas, Nevada, USA, June 25-28, 2007.
    54. Syed S. Rizvi, K. M. Elleithy, and Aasia Riasat, "Transformation Matrix Algorithm for Reducing the Computational Complexity of Multiuser Receivers for DS-CDMA Wireless Systems," Wireless Telecommunication Symposium (WTS 2007), Pomona, California, April 26-28 2007.
    55. K. M. Elleithy and A. Maqbool, "Implementations of Location Awareness Technologies and their Applications" Wireless Telecommunication Symposium (WTS 2007), Pomona, California, April 26-28 2007.
    56. Khushboo Patel, Chaitali Patel, Syed S. Rizvi, and Khaled M. Elleithy, "An Efficient Approach to Reduce the Energy Consumption in Wireless Sensor Networks through Active Nodes Optimization," 2007 Nefor Engineering Education Confernce, April 20-21, 2007.
    57. Syed S. Rizvi, K. M. Elleithy, Aasia Riasat, "Minimizing the Null Message Exchange in Conservative Distributed Simulation," International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2006, pp. 443-448 December 4-14, Bridgeport CT, 2006.
    58. K. M. Elleithy and I. Rimawi, Design, Analysis and Implementation of a Cyber Vote System, International Joint Conferences, on Computer, Information, and Systems Sciences, and Engineering, (CIS2E 05), 10 - 20 December 2005, Virtual Conference.
    59. K. M. Elleithy, D. Blagovic, W. Cheng, and P. Sideleau "Implementation and Comparison Of Denial Of Service Attack Techniques", the 8th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, USA, July 18-21, 2004.
    60. K. M. Elleithy, S. Bell, B. Plaag, and D. Stone, "Implementation and Comparison of a Rules-Based Approach and a Statistical Approach Intrusion Detection Systems" I2TS'2003, 2nd International Information and Telecommunication, Technologies Symposium. Florianópolis, Brazil - Nov 26-29, 2003.
    61. K. M. Elleithy and T. M. Sobh, "A Framework for Reverse Engineering VLSI Chips," IFAC Conference on Intelligent Control and Signal Processing, Portugal, April 2003.
    62. K. M. Elleithy, A. Adebola, S. Shrestha , and B. Bhattarai, "Support of a Banking System Using WAP," The 6th World Multiconference on systemics, cybernetics, and Informatics, Orlando, USA, July 14-18, 2002.
    63. K. M. Elleithy, H. Ha Hyungate, K. Amol, R. Utpal, "Simulation and Improvement of IMT2000 Power Control," The 6th World Multiconference on systemics, cybernetics, and Informatics, Orlando, USA, July 14-18, 2002.
    64. K. M. Elleithy, "Formal Verification of Systems On Chip: Current & Future Directions," invited paper, 2002 International Workshop on System-on-Chip for Real-Time Applications, Banff, Canada, July 6-7, 2002.
    65. K. M. Elleithy and A. Komaralingam, "A Mobile Content Manager," International Conference on Industrial Electronics, Technology and Automation IETA2001, Cairo, Egypt, 19-21 December.
    66. K. M. Elleithy and K. Al-Utaibi, "Performance Analysis of a Priority Traffic Shaper for ATM Networks," Applied Telecommunication Symposium, Seattle, Washington, April 22 -26, 2001
    67. K. M. Elleithy & A. Al-Suwaiyan, "Network Traffic Characterization for high-speed networks supporting multimedia," 34th Annual Simulation Symposium, Seattle, Washington, April 22-26, 2001.
    68. K. M. Elleithy and M. I. Khan "Security in Internet Payment System and Queuing Network Analysis " International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, Rome, Italy, August 2000. (Invited paper)
    69. K. M. Elleithy & Alaa A. Amin, "Area Estimation for DSP Algorithms," IEEE Workshop on SiGNAL PROCESSING SYSTEMS (SiPS) Design and Implementation, Lafayette, Louisiana, October 11-13, 2000.
    70. K. M. Elleithy and E. G. AbdelFattah, "A Simulated Annealing Algorithm for Register Allocation," Fifth Saudi Engineering Conference, pp. 373-382, March 1999
    71. K. M. Elleithy, Abd-El-Fattah, E.G., "A Genetic Algorithm for Register Allocation" 9th great Lake Symposium on VLSI, Michigan, March 1999.
    72. K. M. Elleithy, and S. H. Abdul-Jauwad, "A Transputer Based Sonar Range finding," The Journal of The Faculty of Science, United Arab Emirates University, May 1997, pp. 100-108.
    73. M. A. Aref and K. M. Elleithy, "HOOVER: Hardware Object-Oriented Verification," 8th Great Lake Symposium on VLSI, GLS'98, Lafayette, Louisiana, Feb. 1998.
    74. K. M. Elleithy and E. G. Abd-El-Fattah, "New Non-deterministic Approaches for Register Allocation," 4th IEEE International Conference on Electronics, Circuits, and Systems, Cairo, Dec. 1997.
    75. A. Amin and K. M. Elleithy, "Self Timing of Event Logic Data-Paths," The Eighth International Conference on Microelectronics, Cairo, Dec. 1996.
    76. K. M. Elleithy and M. A. Aref, "Verification Strategy in Prover," The Asia Pacific Conference on Circuits and Systems, Seoul, Korea, Nov. 18-21, 1996.
    77. K. M. Elleithy, "Choosing System Moduli for RNS Arithmetic Processors," 30th Annual Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, Nov. 3-6, 1996.
    78. Amin and K. M. Elleithy, "Mapping CIRCAL based Algorithms to Event Logic using a Standard Cell Library," The Seventh International Conference on Microelectronics, Kuala Lumpur, Dec. 19-21, 1995.
    79. K. M. Elleithy and A. A. Amin, "Synthesizing Digital Signal Processing Algorithms from Formal Descriptions," The Sixth International Conference on Signal Processing Applications and Technology, Boston, pp. 901-905, Oct. 24-26, 1995.
    80. K. M. Elleithy and A. A. Amin, "An Event Logic Architecture for CIRCAL Algorithms," The Seventh IASTED International Conference on Parallel and Distributed Computing and Systems, Washington, D. C., pp. 311-314, Oct. 18-21, 1995.
    81. K. M. Elleithy and A. A. Amin, "A Formal Approach for Synthesizing Digital Signal Processing Algorithms," IEEE Singapore International Conference on Signal Processing, Circuits and Systems, Singapore, pp. 163-168, July 3-7, 1995.
    82. K. M. Elleithy, "An Integer Programming Approach for Choosing the System Moduli for RNS Processor," Minisymposium on Optimization Theory and Applications, KFUPM, Dhahran, May 30, 1995.
    83. K. M. Elleithy, "Formal Verification of DSP VLSI Architectures," International Conference on Electronics, Circuits and Systems, Cairo, Egypt, Dec. 19-22, 1994.
    84. K. M. Elleithy and M. A. Al-Humaigani, "Formal Environments for Parallel Hardware Description Languages," International Conference on Electronics, Circuits and Systems, Cairo, Egypt, pp. 440-445, Dec. 19-22, 1994.
    85. K. M. Elleithy and M. A. Al-Humaigani, "Parallelism Analysis and Extraction of Digital Signal Processing Algorithms," Twenty-Eighth Annual Asilomar Conference on Signals, Systems and Computers, Pacific Grove, California, pp. 1041-1045, Oct. 31-Nov. 2, 1994.
    86. Maruf and K. M. Elleithy, "RISC Support for Real-Time Features," Sixth International Conference on Microelectronics, Istanbul, Turkey, Sep. 5-7, 1994.
    87. K. M. Elleithy and M. A. Al-Humaigani, "Formal Verification of DSP VLSI Architectures: A Tutorial" 37th Midwest Symposium on Circuits and Systems, Lafayette, Louisiana, pp. 351-355, August 3-5, 1994.
    88. K. M. Elleithy and M. A. Aref, "A Rule-based Approach for High Speed Adders Design Verification," 37th Midwest Symposium on Circuits and Systems, Lafayette, Louisiana, pp. 274-277, August 3-5, 1994.
    89. K. M. Elleithy, Samir H. Abdul-Jauwad, and Jafar Al-Rashed, "A Transputer Based Sonar Range finding," Workshop on Optimization and Parallel Computation, Al-Ain, United Arab Emirates, May 8-11, 1994.
    90. K. M. Elleithy and Muhammed A. Al-Humaigani, "A Characteristic Model for Formal Parallel Hardware Description Languages," Workshop on Optimization and Parallel Computation, Al-Ain, United Arab Emirates, May 8-11, 1994.
    91. S. M. Sait, M. Hasan, and K. M. Elleithy, "Design of a cell Library for Formal High Level Synthesis," Mediterranean Electrontecnical Conference Melecon 94, P.P. 1238-1241, April 1994.
    92. K. M. Elleithy, Sadiq M. Sait and Masud-ul-Hasaan, "Formal Design of VLSI Systems," Fifth International Conference on Microelectronics, Dhahran, pp. 214-219, Dec. 1993.
    93. K. M. Elleithy, "Formal Hardware Verification of VLSI Architecture Current Status and Future Directions," Fifth International Conference on Microelectronics, Dhahran, pp. 197-201, Dec. 1993.
    94. M. A. Aref and K. M. Elleithy, "PROVER: A Production System for Formal Hardware Verification," Fifth International Conference on Microelectronics, Dhahran, pp. 210-213, Dec. 1993
    95. K. M. Elleithy and Mostafa A. Aref, "A Production Based System for Formal Verification of Digital Signal Processing Architectures," Twenty-Seventh Annual Asilomar Conference on Signals, Systems and Computers, Pacific Grove, California, pp. 1618-1622, Nov. 1-3, 1993.
    96. K. M. Elleithy and Adel Al-Massarani, "PLORA: A Prolog and LISP oriented RISC Architecture," 18th International Conference for Statistics and Computer Science and its Scientific and Social Applications, Egypt, April 1993.
    97. K. M. Elleithy, "Systolic Arithmetic Architectures," Fifth International Conference on VLSI Design, Bangalore, India, January 1992.
    98. K. M. Elleithy and M. A. Bayoumi, "A Massively Parallel RNS Architecture," Twenty Fifth Annual Asilomar Conference on Signals, Systems and Computers, Pacific Grove, California, pp. 408-412, November 1991.
    99. K. M. Elleithy and M. A. Bayoumi, "Formal Design of RNS Processors," Proc. of the International Conference on Circuits and Systems, pp. 605-608, China, June 1991.
    100. K. M. Elleithy and M. A. Bayoumi, "From Algorithms to Parallel architectures: A Formal Approach," Proc. of Fifth International Symposium on Parallel Processing, pp. 358-363, April 1991.
    101. K. M. Elleithy and M. A. Bayoumi, "Formalization of DSP Architectural Synthesis," Proc. of the Fifth European Signal Processing Conference, Spain, pp. 1451-1454, vol. 3., Sep. 1990.
    102. K. M. Elleithy and M. A. Bayoumi, "A Formal Design Methodology for Parallel Architectures," Proc. of the International Conference on Application Specific Array Processors, pp. 603-614, Sep. 1990.
    103. K. M. Elleithy and M. A. Bayoumi, "Formal Synthesis of Parallel Architectures from Recursive Equations," Proc. of the 1990 International Conference on Parallel Processing, vol. I, pp. 145-148, Aug. 1990.
    104. K. M. Elleithy and M. A. Bayoumi, "Synthesizing DSP Architectures from Behavioral Specifications: A Formal Approach," Proc. of the 1990 IEEE International Symposium for Circuits and Systems, pp. 1131-1134, May 1990.
    105. K. M. Elleithy and M. A. Bayoumi, "A Formal High Level Synthesis Approach for DSP Architectures," Proc. of the 1990 International Conf. on Acoustics, Speech and Signal Processing, pp. 897-900, April 1990.
    106. K. M. Elleithy and M. A. Bayoumi, "A Formal Framework for Synthesis of Parallel Architectures," Proc. of the Fourth Annual Symposium on Parallel Processing, April 1990.
    107. K. M. Elleithy and M. A. Bayoumi, "A Framework for High Level Synthesis of Digital Architectures from U-recursive Algorithms," Proc. of the ACM Eighteenth Annual Computer Science Conference, pp. 305-311, Feb. 1990.
    108. K. M. Elleithy, M. A. Bayoumi, and K. P. Lee, "Θ (logN) architectures for RNS arithmetic decoding," Proc. of the 9th Symposium on Computer Arithmetic, pp. 202-209, Sep. 1989.
    109. K. M. Elleithy and M. A. Bayoumi, "A Θ(log n) algorithm for modulo multiplication," Proc. of the 32nd Midwest Symposium on Circuits and Systems, pp. 353-356, Aug. 1989.
    110. P. Lee, M. A. Bayoumi and K. M. Elleithy, "A Fast and Flexible Residue Decoder Based on the Chinese Remainder Theorem," Proc. of The 1989 International Symposium on Circuits and Systems, pp. 200-203, May 1989.
    111. K. M. Elleithy, M. A. Bayoumi, and L. M. Delcambre, "A Systolic Machine for Relational Database and Hashing," Proc. Third Annual Parallel Processing Symposium, pp. 621-635, Mar. 1989.
    112. M. A. Bayoumi and K. M. Elleithy, "A Logic Programming Approach for DSP architectures Design," Proc. of the 22nd IEEE Asilomar Conf. on Signals, Systems and Computers, vol. 2, pp. 753-757, Nov. 1988.

    © 2013 University Of Bridgeport, 126 Park Avenue, Bridgeport, CT 06604 USA | 1-800-EXCEL-UB (392-3582)