نتایج جستجو برای: data compilation

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

2017
Yannick Zakowski David Cachera Delphine Demange David Pichardie

Modern programming languages provide libraries for concurrent data structures. For better performance, these are implemented with fine-grained concurrency. Still, such implementations are linearizable: the programmer can safely assume that they behave atomically. We formalize this insight in Coq as an end-to-end theorem establishing the semantic preservation of a compiler translating abstract, ...

Journal: :Journal of Navigation 2022

Abstract Electronic navigational charts (ENCs) are specialised geospatial datasets, issued by or on the authority of a government hydrographic office, in accordance with International Hydrographic Organisation's (IHO) standards, specifications and symbol sets. The datasets generally comprise encoded information collected from surveys, aimed primarily at safety navigation. Most ENCs not openly a...

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

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