inference algorithm / domain-specific solutions / automotive control systems / continuous control algorithms / distributed embedded applications / unification algorithms / automotive and embedded control systems / embedded control systems / software engineering conference / type systems / electronic brake systems / engine management / /
Organization
MIT / American Astronautical Society / Andreas Bauer2 / 1 Institut f¨ur Informatik / U.S. Securities and Exchange Commission / /
Person
Stefan Berghofer / /
Product
Pentax K-x Digital Camera / /
ProgrammingLanguage
Esterel / MATLAB / Java / Simulink / /
ProvinceOrState
South Dakota / New York / /
Technology
unification algorithms / continuous control algorithms / sorting algorithm / Java / inference algorithm / dom / simulation / /
Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1