2 Hits in 5.4 sec

An Empirical Study over Correctness Properties for Multithreaded Programs

Abdul Rahim Mohamed Ariffin, Isma Farah Siddiqui, Scott Uk-Jin Lee
2016 Indian Journal of Science and Technology  
It is nearly impossible to achieve completeness and soundness for multithreaded programs.  ...  In recent years, a number of verification tools have been developed in order to support multithreaded programs to achieve completeness and soundness.  ...  A recent proposed technique, Abstraction Subspace Reduction (ASR), systematically reduce the ratios of atomicity violation in abstraction level of concurrent programs and it has been proven to efficiently  ... 
doi:10.17485/ijst/2016/v9i17/92730 fatcat:hsovlngggnbepab2d3q4ne4ntm

State-dependent forces in cold quantum gases

I also report on the conception and flourishing of a control and analysis software suite for experiments in quantum science.  ...  Prior to this technique, treating the outside of an atom classically failed to reproduce a bedrock experiment of quantum mechanics—the Stern–Gerlach experiment.  ...  Wood for their input into making this a better system. This work was supported by Australian Research Council Grant Nos. DP1094399 and DP1096830.  ... 
doi:10.26180/5bd68acaf0696 fatcat:33ulubmqmjh6hbnvsr2vq5hbt4