Now showing items 1-2 of 2
CUDA au Coq: A Framework for Machine-Validating GPU Assembly Programs
(Institute of Electrical and Electronics Engineers Inc., 2019-03-25)
A prototype framework for formal, machine-checked validation of GPU pseudo-assembly code algorithms using the Coq proof assistant is presented and discussed. The framework is the first to afford GPU programmers a reliable ...
Visualvital: An Observation Model for Multiple Sections of Scenes
A computational methodology for reorienting, repositioning, and merging camera positions within a region under surveillance is proposed, so as to optimally cover all features of interest without overburdening human or ...