3 search results - page 1 / 1 » Extenders, Embedding Normal Forms, and the Martin-Steel-Theo... |
JSYML
1998
13 years 5 months ago
1998
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...