Search for tag: "computation"

Efficient Fixpoint Computation for Abstract Interpretation

Abstract interpretation is a general framework for expressing static program analyses. It reduces the problem of extracting properties of a program to computing an approximation of the least fixpoint…

From  Aditya Thakur on April 8th, 2021 0 likes 6 plays 0  

Meeting-3-11-21: From biology to silicon

A review of basic neurobiology followed by a discussion on the capabilities of IBM's TrueNorth and Intel's Loihi neuromorphic chips.

From  Luis El Srouji on March 31st, 2021 0 likes 5 plays 0