conftrace_

contextual refinement

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

concurrent program (1) locality aware correlation (1) semantic mask generation (1) boundary artifact reduction (1) patch-based processing (1) ultra high-resolution segmentation (1) operating system kernel (1) concurrent operating system (1) refinement property (1) coq proof assistant (1)

Papers

From Contexts to Locality: Ultra-High Resolution Image Segmentation via Locality-Aware Contextual Correlation ICCV 2021 CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016