On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M13Taha
From WG 2.11
Jump to navigationJump to search
Binding Time Analysis in Acumen by Walid Taha
Acumen is a language for modeling hybrid continuous/discrete dynamics. Binding Time Analysis is used in Acumen to enable the derivation of efficient solvers for a certain class of differential equations. This talk reviews this technique and discusses our experience building a second generation implementation in the context of the second-generation implementation of Acumen.
