Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-4 ل  4 نتائج ل ""46 Information and computing sciences""

فلترة النتائج

Publisher : assoc computing machinery
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Deploying Decentralized, Privacy-Preserving Proximity Tracing

Subjects: Science & Technology; Technology; Computer Science

  • Source: ISSN:0001-0782 ; ISSN:1557-7317 ; Communications of the ACM, vol. 65 (9), (48-57.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Sparse flow-sensitive pointer analysis for multithreaded programs

Subjects: 46 Information and Computing Sciences; 40 Engineering; 4009 Electronics

  • Source: urn:ISBN:9781450337786 ; urn:ISSN:2164-2397 ; 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 2016-03-12 - 2016-03-18

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×

LMS-Verify: Abstraction without Regret for Verified Systems Programming’

Subjects: Correctness; blame; Computer science

  • Source: POPL

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Electronic Resource

Sparse flow-sensitive pointer analysis for multithreaded programs

Subjects: 46 Information and Computing Sciences; 40 Engineering; 4009 Electronics, Sensors and Digital Hardware

  • Source: urn:ISBN:9781450337786; urn:ISSN:2164-2397; 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 2016-03-12 - 2016-03-18

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-4 ل  4 نتائج ل ""46 Information and computing sciences""