נושאים: יסודות התכנות הפונקציונאלי וטכניקות בסיסיות בחישוב מבוזר, שפת ארלנג ERLANG))- שפת תכנות פונקציונאלית עם תמיכה מובנית בתכנות מערכות מבוזרות. עקרונות התכנות הפונקציונאלי ותחשיב למדה- פונקציות, רקורסיה, שערוך עצל. טיפוסים דינמיים. מודל CSP לתכניות מבוזרות. ניתוח נכונות תוכנה. מודל- שרת לקוח. שמירת מידע קבוע PERSISTENT)). עמידה בנפילות וטכניקות שכפול. מודלים נוספים לתכנות מבוזר: MAP-REDUCE, ממשק MPI להעברת הודעות וסנכרון עם מחסומים BARRIERS)), חישובי STREAMING .

פקולטה: הנדסת חשמל ומחשבים
|תואר ראשון |תארים מתקדמים

מקצועות קדם

44101 - מבוא למערכות תכנה או 234124 - מבוא לתכנות מערכות


מקצועות צמודים

46209 - מבנה מערכות הפעלה 234123 - מערכות הפעלה


מידע סמסטריאלי