ברכות לפרופ' נחום דרשוביץ' מבית הספר למדעי המחשב על זכיתו ב-CiE Best Paper Award
The Program Committee of the 12th International Conference on Computability in Europe has granted the CiE 2016 Best paper Award to Prof. Nachum Dershowitz
The Program Committee of the 12th International Conference on Computability in Europe has granted the CiE 2016 Best paper Award to
Axiomatizing Analog Algorithms
Olivier Bournez, Nachum Dershowitz and Pierre Neron
Abstract:
We propose a formalization of generic algorithms that includes analog algorithms. This is achieved by reformulating and extending the framework of abstract state machines to include continuous-time models of computation. We prove that every hybrid algorithm satisfying some reasonable postulates may be expressed precisely by a program in a simple and expressive language.