SC²S Colloquium - October 30 2013
|Date:||October 30, 2013|
|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