Model checking /

Model checking /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (συγγραφέας.)
Άλλοι συγγραφείς:	Grumberg, Orna (συγγραφέας.), Peled, Doron A., 1962- (συγγραφέας.)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge, Mass. : MIT Press, c1999.
Θέματα:	Υπολογιστικά συστήματα

Παρόμοια τεκμήρια

Nursing informatics : where caring and technology meet /
Έκδοση: (1988)

Πρωτόκολλα πληθυσμών
ανά: Μιχαήλ, Όθων Σ.
Έκδοση: (2009)

Measurement and modeling of computer systems (1985) Proceedings of the 1985 ACM SIGMETRICS Conference Austin, TX August 26-29, 1985 ACM/SIGMETRICS Vol.13, No.2, August 1985
Έκδοση: (1985)

Measurement and modeling of computer systems (1990) Proceedings 1990 ACM SIGMETRICS Conference Boulder, Colorado May 22-25, 1990 ACM/SIGMETRICS Vol.18, No.1, May 1990
Έκδοση: (1990)

Measurement and modeling of computer systems (1994) Proceedings 1994 ACM SIGMETRICS conference Mashville, Tennessee, USA, May 16-20, 1994 ACM/SIGMETRICS Vol. 22, No 1, May 1994
Έκδοση: (1994)

Measurement and modeling of computer systems (1982) Proceedings of the 1982 ACM SIGMETRICS Conference Seattle, Washington August 30 - September 1, 1982 ACM/SIGMETRICS Vol.11, No.4, Winter 1982-1983
Έκδοση: (1982)

Measurement and modeling of computer systems (1993) Proceedings 1993 ACM SIGMETRICS conference Santa Clara, California, USA, May 10-14, 1993 ACM/SIGMETRICS Vol. 21, No 1, June 1993
Έκδοση: (1993)

Measurement and modeling of computer systems (1987) Proceedings of the 1987 ACM SIGMETRICS Conference Banff, Alberta, Canada May 11-14, 1987 ACM/SIGMETRICS (Vol.15, No.1, May 1987 Special issue)
Έκδοση: (1987)

Measurement and Modeling of Computer Systems (1999) Proceedings of the ACM SIGMETRICS '99 International Conference Atlanta, Georgia, USA, May 1-4, 1999 ACM SIGMETRICS Special Issue: vol. 27, no 1, June 1999
Έκδοση: (1999)

Measurement and modeling of computer systems (1989) Proceedings 1989 ACM SIGMETRICS and PERFORMANCE'89 International Conference, May 23-26, 1989 Berkeley, California, USA ACM/SIGMETRICS Vol.17, No.1, May 1989
Έκδοση: (1989)

Measurement and Modeling of Computer Systems (1995) Proceedings 1995 ACM SIGMETRICS/PERFORMANCE Joint International Conference. Ottawa, Ontario, Canada, May 15-19, 1995 ACM SIGMETRICS Vol. 23, No 1, May 1995
Έκδοση: (1995)

Measurement and Modeling of Computer Systems (1996) Proceedings 1996 ACM SIGMETRICS International Conference Philadelphia, Pennsylvania, U.S.A , May 23-26 , 1996 ACM/SIGMETRICS (Special Issue) Vol. 24 , No 1 , May 1996
Έκδοση: (1996)

Measurement and Modeling of Computer Systems (1997) Proceedings 1997 of the ACM SIGMETRICS International Conference Seattle, Washington, U.S.A. June 15-18 1997 ACM SIGMETRICS (Special Issue) vol. 25 no 1 June 1997
Έκδοση: (1997)

Measurement and modeling of computer systems (1988) Proceedings of the 1988 ACM SIGMETRICS Conference Santa Fe, New Mexico, USA May 24-27, 1988 ACM/SIGMETRICS (Vol.16, No.1, Special Issue, May 1988)
Έκδοση: (1988)

Measurement and Modeling of Computer Systems (1998) Proceedings of the ACM SGMETRICS Joint Intern. Conference 1998 Madison, Wiskonsin, June 22-26 ACM SIGMETRICS Special Issue vol. 26, no 1 1998 ACM SIGMETRICS and IFIP Working Group 7.3
Έκδοση: (1998)

Measurement and modeling of computer systems (1992) Proceedings 1992 ACM SIGMETRICS International Conference Newport, Rhode Island, U.S.A, June 1-5, 1992 ACM/SIGMETRICS Vol. 20, No. 1, June 1992
Έκδοση: (1992)

Building and managing enterprise-wide portals /
ανά: Polgar, Jana, 1945-
Έκδοση: (2006)

Grid computing : making the global infrastructure a reality /
Έκδοση: (2003)

Στατιστική ανάλυση και μοντελοποίηση εργασιών σε δίκτυα πλέγματος και πολύ-επίπεδος σχεδιασμός IP ευέλικτων οπτικών δικτύων /
ανά: Γκάμας, Βασίλειος

Μελέτη και ανάπτυξη τεχνικών για την αποτελεσματική διαχείριση πόρων σε δίκτυα πλέγματος και υποδομές υπολογιστικών νεφών
ανά: Κρέτσης, Αριστοτέλης

Ένας πρακτικός οδηγός για τη συσχεδίαση υλικού και λογισμικού /
ανά: Schaumont, Patrick R. (Patrick Robert)
Έκδοση: (2019)

Grid Computing "Χρονοδρομολόγηση ν διεργασιών σε μ μηχανές με περιορισμούς καθυστέρησης μετάδοσης και χρονικές προθεσμίες". Διπλωματική Εργασία Πανεπιστήμιο Πατρών Πολυτεχνική Σχολή Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής
ανά: Χατζηιωαννίδης, Χρήστος
Έκδοση: (2002)

Διαχείριση πόρων σε δίκτυα πλέγματος, χρησιμοποιώντας το ενδιάμεσο λογισμικό gLite
ανά: Κρέτσης, Αριστοτέλης
Έκδοση: (2008)

Σχεδίαση και ανάπτυξη πλατφόρμας παροχής υπηρεσιών στο διαδίκτυο με έμφαση στις εφαρμογές χρονοπρογραμματισμού
ανά: Γούλας, Γεώργιος
Έκδοση: (2009)

Κατηγοριοποίηση επικοινωνιακών και υπολογιστικών εργασιών σε GRID συστήματα
ανά: Οικονομάκος, Μιχάλης
Έκδοση: (2006)

Προβλήματα επιτάχυνσης διεργασιών σε grid computing αλγόριθμοι και πολυπλοκότητα
ανά: Στούμπου, Αμαλία
Έκδοση: (2008)

Χρονοπρογραμματισμός και δρομολόγηση σε δίκτυα πλέγματος και δίκτυα δεδομένων
ανά: Κόκκινος, Παναγιώτης

Grid computing making the global infrastructure a reality
Έκδοση: (2003)

Διαχείριση Πόρων σε Αρχιτεκτονική Grid Computing Διπλωματική εργασία. Πανεπιστήμιο Πατρών Πολυτεχνική σχολή Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής
ανά: Βαρελάς, Γεώργιος
Έκδοση: (2003)

UM99 user modeling proceedings of the seventh International Conference Banff, Canada June 20-24, 1999
Έκδοση: (1970)

ΜΕΛΕΤΗ ΑΛΓΟΡΙΘΜΩΝ ΧΡΟΝΟΔΡΟΜΟΛΟΓΗΣΗΣ ΕΡΓΑΛΕΙΩΝ ΣΕ ΔΙΚΤΥΑ ΠΛΕΓΜΑΤΟΣ ΧΡΗΣΙΜΟΠΟΙΩΝΤΑΣ ΤΟ ΕΝΔΙΑΜΕΣΟ ΛΟΓΙΣΜΙΚΟ gLite ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ, ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ, ΤΜΗΥΠ
ανά: Μουρίκη Ν., Νικολέτα, κ.ά.
Έκδοση: (2012)

Hardware-software co-design of embedded systems : the POLIS approach /
Έκδοση: (1997)

The internet of things /
ανά: Greengard, Samuel
Έκδοση: (2015)

User interface design : a software engineering perspective /
ανά: Lauesen, Soren
Έκδοση: (2005)

Αποτελεσματική σχεδίαση πληροφοριακών συστημάτων για λύσεις εφαρμογών φορητών συσκευών μια μελέτη περίπτωσης
ανά: Βιέννας, Εμμανουήλ
Έκδοση: (2010)

Ultra-low power programmable processor architecture for 60 GHz digital front-end Προγραμματιζόμενη αρχιτεκτονική επεξεργαστών πολύ χαμηλής κατανάλωσης για ψηφιακό front-end στα 60 GHz
ανά: Μπεμπέλης, Ευάγγελος
Έκδοση: (2011)

Μοντελοποίηση και ανάπτυξη ετερογενών κινητών δικτύων οχήματος-προς-όχημα (Vehicle-to-Vehicle) και οχήματος- προς-υποδομή (Vehicle-to-Infrastructure) με έμφαση σε δύσκολα περιβάλλοντα μετάδοσης /
ανά: Χαρίτος, Μιχαήλ

X and Motif Quick Reference Guide Based on X Window System Version 11, Release 4, and OSF/Motif Version 1.1
ανά: Rost, Randi J.
Έκδοση: (1990)

Κατανεμημένα συστήματα πολλαπλών αρχιτεκτονικών /
ανά: Αντωνάτος, Νικόλαος
Έκδοση: (2014)

Proceedings of the Sixth International Conference User modeling
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_t7hdhsnvjmb8svnrl8mn1dms8g