You are not logged in | Log in

Almost) the Sam

Speaker(s)
Jerzy Tyszkiewicz
Affiliation
Uniwersytet Warszawski
Date
Dec. 19, 2011, 10:15 a.m.
Room
room 4790
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.