SC²S Colloquium - October 30 2013

From Sccswiki
Jump to navigation Jump to search
Date: October 30, 2013
Room: 02.07.023
Time: 3 pm, s.t.

Adham Norqobilov: Supercritical fluid extraction: modeling, computer simulation and optimal synthesis

Development of supercritical fluid extraction in vegetable oil extraction process. Nowadays, implementation of the new advanced small multi-purpose technology with the use of computer modeling in the industry is crucial for the improvement of the current situation of the chemical, food and pharmaceutical industries.

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