نتایج جستجو برای: order free

تعداد نتایج: 1376149  

Journal: :International Journal of Computer Vision 2012

Journal: :Journal of Computer and System Sciences 1986

Journal: :Mathematics of Computation 1976

Journal: :Journal of Symbolic Computation 2007

Journal: :Proceedings of the ACM on programming languages 2023

Reasoning about concurrent programs is challenging, especially if data shared among threads. Program correctness can be violated by the presence of races—whose prevention has been a topic concern both in research and practice. The Rust programming language prime example, putting slogan fearless concurrency practice not only employing an ownership-based type system for memory management, but als...

Journal: :Journal of Algebra 2005

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید