SC²S Colloquium - October 30 2013

From Sccswiki
Revision as of 19:47, 25 October 2013 by Schreibm (talk | contribs) (Created page with "{| class="wikitable" |- | '''Date:''' || October 30, 2013 |- | '''Room:''' || 02.07.023 |- | '''Time:''' || 3 pm, s.t. |- |} == Adham Norqobilov: ICT for Research and teachi...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
Date: October 30, 2013
Room: 02.07.023
Time: 3 pm, s.t.


Adham Norqobilov: ICT for Research and teaching

ICT for Research: Supercritical fluid extraction: modeling, computer simulation and optimal synthesis. ICT for Teaching: Development of modern Distance education and e-learning strategies.


Amanzhol Bektemessov: Verification of transactional memory on supercomputers

Today widely used multicore processors. But their parallelization and synchronization doing significant problem. Transactional memory is a programming abstraction intended to simplify the synchronization of conflicting concurrent memory accesses without the difficulties associated with locks. However parallelization creates many difficulties and some errors in code which can verify to correctness. Best regards Amanzhol Bektemessov

Retrieved from "https://www5.in.tum.de/wiki/index.php?title=SC²S_Colloquium_-_October_30_2013&oldid=14305"