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...