UB ScholarWorks

Browsing Engineering Proceedings by Subject "Algorithms analysis"

Browsing Engineering Proceedings by Subject "Algorithms analysis"

Sort by: Order: Results:

  • Elleithy, Khaled M.; Bayoumi, Magdy A. (IEEE, 1990-09-05)
    In this paper, we introduce a formal approach for synthesis of array architectures. Four different forms are used to express the input algorithm: simultaneous recursion, recursion with respect to different variables, fixed ...
  • Elleithy, Khaled M.; Bayoumi, Magdy A. (IEEE, 1990-04-01)
    In this paper, we introduce a novel approach for high level synthesis for DSP algorithms. Two features are provided by the approach: completeness and correctness. A given algorithm will be represented in a new developed ...
  • Elleithy, Khaled M.; Aref, Mostafa A. (1998-02-19)
    Email Print Request Permissions Save to Project In this paper a new formal hardware verification approach based on object oriented techniques is presented. The HOOVER system (Hardware Object Oriented VERification) ...
  • Elleithy, Khaled M.; Al-Suwaiyan, A. (2001-04-22)
    Continuously growing needs for distributed applications that transmit massive amount of data has led to the emergence of high-speed networks that require broadband and multimedia capabilities. Such networks are supposed ...
  • Rizvi, Syed S.; Thomas, Bevin; Elleithy, Khaled M.; Riasat, Aasia (Society for Computer Simulation International, 2009-03-22)
    In this paper we investigate on a special type of job scheduler for distributed heterogeneous systems called the switch and feedback job scheduler. The main objective of the centralized job scheduler is to achieve maximum ...
  • Sobh, Tarek M.; Wohn, Kwangyoen (SPIE, 1990-03-01)
    We discuss the problem of recovering the 3-D motion and structure. An algorithm for computing the camera motion and the orientation of planar surface is developed. It solves for the 3-D motion and structure iteratively ...
  • Elleithy, Khaled M.; Aref, Mostafa A. (IEEE, 1994-08-03)
    In this paper, a rule-based framework for formal hardware verification is presented. The PROVER system (PROduction system for hardware VERification) is implemented using CLIPS (C Language Integrated Production System). The ...
  • Sobh, Tarek M.; Dekhil, Mohamed; Efros, Alexei A. (IEEE, 1995-08-01)
    In this paper we present a sensor-based distributed control scheme for mobile robots. This scheme combines centralized and decentralized control strategies. A server-client model is used to implement this scheme where the ...
  • Elleithy, Khaled M.; Bayoumi, Magdy A. (1989-08-19)

Search ScholarWorks


Advanced Search

Browse

My Account