Towards an Axiomatization of Simple Analog Algorithms
Résumé
We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation.
Domaines
Complexité [cs.CC]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...