속성:Verification outcome
Text supports contradicts inconclusive
확인한 자료가 연결된 주장에 미치는 결과입니다.
o
optimizing file systems on heterogeneous memory by integrating dram cache with virtual memory ma aaa7aa17 +
inconclusive +
optimizing file systems on heterogeneous memory by integrating dram cache with virtual memory ma aaa7aa17 +
inconclusive +
optimizing file systems on heterogeneous memory by integrating dram cache with virtual memory ma aaa7aa17 +
inconclusive +
ozz identifying kernel out of order concurrency bugs with in vivo memory access reordering 0b85f639 +
inconclusive +
ozz identifying kernel out of order concurrency bugs with in vivo memory access reordering 0b85f639 +
inconclusive +
ozz identifying kernel out of order concurrency bugs with in vivo memory access reordering 0b85f639 +
inconclusive +
p
inconclusive +
inconclusive +
inconclusive +
{ "type": "PROPERTY_CONSTRAINT_SCHEMA", "constraints": { "type_constraint": "_txt", "allowed_values": [ "supports", "contradicts", "inconclusive" ] } }