Subject » BMEVIHID043
Parallel Architectures
Párhuzamos architektúrák
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
| Subject name (Hungarian, English) |
Párhuzamos architektúrák
Parallel Architectures
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Subject code | BMEVIHID043 | ||||||||||||
| Subject type | — | ||||||||||||
| Training Level | — | ||||||||||||
| Course types and hours (weekly/semester) |
|
||||||||||||
| Assessment type | vizsga | ||||||||||||
| Credits | 5 | ||||||||||||
| Subject coordinator |
DR. Imre Sándor Zsolt
position: egyetemi tanár
contact:
imre.sandor@vik.bme.hu
|
||||||||||||
| Responsible department |
Hálózati Rendszerek és Szolgáltatások Tanszék
|
||||||||||||
| Faculty | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Subject website | — | ||||||||||||
| Primary curriculum type | — | ||||||||||||
| Direct prerequisites – Strong prerequisite | none | ||||||||||||
| Direct prerequisites – Weak prerequisite | none | ||||||||||||
| Direct prerequisites – Parallel prerequisite | none | ||||||||||||
| Direct prerequisites – Milestone prerequisite | none | ||||||||||||
| Direct prerequisites – Exclusion | none |
Objectives
Programme
1.week: Information processing models.
Control driven architecture (loosely coupled and tightly coupled multiprocessor systems). Data flow architecture (instruction and procedure level data flow organisations).
Demand driven architectures.
Information driven architectures (neural networks and associative processors).
2. week: Cooperation of processes, moving agent principle.
3. week: Ordering of events. Generalisation of the behavioural models. General sinchronisation of cooperating processes (demand driven, permission driven and close cooperation).
4.week: Design methods for distributed resource control algortihms. Creation of formal, complete and consistent specifications from informal, incomplete and inconsistent problem formulation.
5. week: Theory of directly executable specification languages.
6. week: Creation of modified finite state automata model for large scale parallel and distributed system design.
7. week: Creation of modified finite state automata model for large scale parallel and distributed system design (continued).
8. week: Modification of the basic data flow model for the design of large scale parallel and distributed systems.
9. week: Design systems based ont he advanced data flow model.
10. week: Theoretical bases of the abstract (algebraic) specidication method.
11. week: Theoretical bases of the abstract (algebraic) specidication method (continued).
12. week: Design of large scale system with abstract specification method. Creation of the logical design model.
13. week: Application of formal proof method during the design process in order to create a correctly operating large scale system.
14. week: New theoretical and practical results (new technologies, e.g. superconductivity, organic transistors, quantum computers).
Control driven architecture (loosely coupled and tightly coupled multiprocessor systems). Data flow architecture (instruction and procedure level data flow organisations).
Demand driven architectures.
Information driven architectures (neural networks and associative processors).
2. week: Cooperation of processes, moving agent principle.
3. week: Ordering of events. Generalisation of the behavioural models. General sinchronisation of cooperating processes (demand driven, permission driven and close cooperation).
4.week: Design methods for distributed resource control algortihms. Creation of formal, complete and consistent specifications from informal, incomplete and inconsistent problem formulation.
5. week: Theory of directly executable specification languages.
6. week: Creation of modified finite state automata model for large scale parallel and distributed system design.
7. week: Creation of modified finite state automata model for large scale parallel and distributed system design (continued).
8. week: Modification of the basic data flow model for the design of large scale parallel and distributed systems.
9. week: Design systems based ont he advanced data flow model.
10. week: Theoretical bases of the abstract (algebraic) specidication method.
11. week: Theoretical bases of the abstract (algebraic) specidication method (continued).
12. week: Design of large scale system with abstract specification method. Creation of the logical design model.
13. week: Application of formal proof method during the design process in order to create a correctly operating large scale system.
14. week: New theoretical and practical results (new technologies, e.g. superconductivity, organic transistors, quantum computers).
In the modern computer science a basic need is the treatment of the information processing models of parallel and distributed systems and the basics of the relevant architectures. Treatment of the basics of formal design methods. Application of formal design methods for systems providing guaranteed correct logical solutions in case of applying arbitrary subsystems. Treatment of the generalisation of the classical models.
Learning outcomes
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Knowledge
No learning outcomes recorded.
Skills
No learning outcomes recorded.
Attitudes
No learning outcomes recorded.
Autonomy and responsibility
No learning outcomes recorded.
Oktatási módszertan
Lecture
Tanulástámogató anyagok
Not provided.
Recommended preliminary knowledge for completing the subject
Knowledge type competencies
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
Computer
architectures, Digital technics
Skill type competencies
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Recommended (non-compulsory) preliminary competencies
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
Computer
architectures, Digital technics
General rules
Requirements:
oral exam
Assessment methods
In-term assessments
No detailed assessments provided.
Weight of in-term assessments
No weights provided.
Exam-period assessments
No detailed assessments provided.
Weight of exam elements
No weights provided.
Grade calculation
No grade thresholds provided.
Attendance requirements
No attendance requirements provided.
Rules for retake and resubmission
Not provided.
Short description
Not provided.
Detailed description
Not provided.
Recommended courses
Not provided.
Workload to complete the subject
No workload breakdown provided.
Validity of subject requirements
Requirements valid from:
—
Requirements valid until:
—
Curriculum placement
No curriculum placements recorded for this subject version.