Articles Tagged “Machine Vision”
5 articles tagged “Machine Vision”, newest first.
-
Separating Pixels and Millimeters with Types — Preventing Unit Mix-ups in Dimensional Inspection with Ada
How to catch pixel/millimeter mix-ups in image-based dimensional inspection at compile time with Ada derived types, operators removed with abstract, generic ...
-
Calling Ada Inspection Logic from a C# Inspection App — Passing Image Buffers Without Copying and Guarding the Boundary
How to keep a WPF inspection app as it is and move only the pass/fail logic into an Ada DLL, explained by actually calling it from C and .NET console apps. T...
-
Frame Acquisition Without Drops Using Ada Tasks — A Protected-Object Ring Buffer and Priorities
I build camera frame acquisition from an Ada periodic task, a ring buffer made of protected objects, and priorities. I measure dropped frames and waiting tim...
-
Receiving GigE Vision Packets with Ada Types — Pitfalls of Representation Clauses and a SPARK-Proved Parser
How to map the GVSP headers that carry GigE Vision images onto Ada types with representation clauses and Scalar_Storage_Order, and where that goes wrong. I w...
-
Proving Image Processing Free of Out-of-Bounds Access with SPARK — Binarization, Smoothing, Labeling and a Speed Comparison with C
Proving with SPARK's GNATprove that image-processing code never reads or writes outside the image, using binarization, 3×3 smoothing and labeling: how to wri...