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: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "''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 d..." |
(No difference)
|
Latest revision as of 18:08, 1 March 2014
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.
