Almost) the Sam

Speaker(s)

Jerzy Tyszkiewicz

Affiliation

Uniwersytet Warszawski

Date

Dec. 19, 2011, 10:15 a.m.

Room

room 4790

Title in Polish

Parallel Random Access Machines and Spreadsheets Are

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

W referacie (po polsku, tytuł i slajdy po angielsku) pokażę, że w arkuszach kalkulacyjnych można nie używając żadnych makr zaimplementować interpreter maszyny PRAM (Parallel Random Access Machine).

Wskazuje to zarazem na:

1) Możliwość wyrażania w arkuszach bardzo skomplikowanych obliczeń i związane z tym trudności z dowodami ich poprawności.

2) Możliwość używania arkuszy jako interfejsów do specyfikacji obliczeń równoległych ogólnego stosowania.

3) Potencjał optymalizacji obliczeń wykonywanych w arkuszach w kierunku ich zrówlnoleglania.

---