!!
FLUENT Verification Project#
Regular Meeting
Present: Chris M, Chris W, Zhen, Hao, Jet, Pedro, Curtis
Agenda
- Resolve meeting link reminders, Chris M will add the probmc email to the calendar invitation to make sure everyone gets the correct link
- Jet discussed paper on approximate computing, "Exploiting Errors for Efficiency: A Survey from Circuits to
Algorithms,"- "exploiting errors for efficiency", a "full-stack" survey of methods ranging from circuits to algorithms, compilers, systems
- probabilistic computing is very relevant to genetic circuits, "on the molecular level, chemistry is stochastic."
- clarified "stochastic" vs "probabilistic" computing concepts
- discussed possible ways to analyze stochastic circuits using PRISM or other methods associated with the project. Open questions pertain to stochastic circuits in finite time (the theory is asymptotic), i.e. we need better transient analysis tools.
- Chris W and Zhen will try some small-scale models of stochastic computing circuits in PRISM
#
meetings
