Η εργασία αυτή επικεντρώνεται στη σχεδίαση και υλοποίηση αλγορίθμων scheduling εργασιών σε κατανεμημένο περιβάλλον (Grid Computing, HPC), οι οποίοι μπορούν να προσφέρουν δίκαιο καταμερισμό των υπολογιστικών πόρων, ενώ διατηρούν τον βαθμό της ποιότητας υπηρεσίας που απαιτούν κάποιες κατηγορίες χρηστών. Οι αλγόριθμοι που αναλύονται και υλοποιούνται βασίζονται στις τεχνικές του περιορισμού των χρηστών από μια γραμμική σχέση, καθώς και την ομαδοποίηση των πόρων σε αφιερωμένες ομάδες, οι οποίες εξυπηρετούν συγκεκριμένες κατηγορίες χρηστών. Οι τεχνικές συνδυάζονται για την επίτευξη μεγαλύτερης απόδοσης, καλύτερης ποιότητας υπηρεσίας και δικαιότερης κατανομής των υπολογιστικών πόρων. Παράλληλα αναπτύχθηκε και ένα ευέλικτο και αποδοτικό περιβάλλον προσομοίωσης, το οποίο χρησιμοποιείται για τον πειραματικό έλεγχο της απόδοσης των αλγορίθμων. Περιγράφεται αναλυτικά το μοντέλο προσομοίωσης, του οποίου η απλότητα, σε συνδυασμό με την ευελιξία της υλοποίησης του προσομοιωτή και τον έλεγχο πάνω σε οποιαδήποτε παράμετρο των προσομοιωμένων συστημάτων, επιτρέπει τον ταχύ σχεδιασμό και υλοποίηση πειραματικών προσομοιώσεων, καθώς και την άμεση σύγκριση των αποτελεσμάτων, με την αυτόματη παραγωγή συγκριτικών γραφικών παραστάσεων. / This thesis addresses the design and implementation of algorithms for task (job) scheduling in distributed computational enviroments (Grid Computing, HPC). These algorithms provide fair resource usage while preserving the provided QoS for user types that demand it. The algorithms that are being developed utilize linear bounds in order to keep under control workload submission rates, while dedicated node sets are used to handle jobs submitted from QoS-demanding users. In order to test the behavior of the proposed algorithms, a new simulation application was designed and developed. The simulator uses a simple, but powerful model of simulation, is extremely extendible and flexible in reusing components and developing new ones, allows execution of a series of the same experiments over the values of a single parameter (e.g. arrival rate λ) and incorporates graph creation utilities, making it a valuable tool for engineers, administrators and scientists trying to choose an optimal scheduling policy for their distributed systems.