Towards an Axiomatization of Simple Analog Algorithms - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Towards an Axiomatization of Simple Analog Algorithms

(1) , (2) , (2)
1
2

Abstract

We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation.
Fichier principal
Vignette du fichier
tamc-final.pdf (155.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00760736 , version 1 (04-12-2012)

Identifiers

  • HAL Id : hal-00760736 , version 1

Cite

Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich. Towards an Axiomatization of Simple Analog Algorithms. Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings, Date-Added = 2012-05-04 20:32:53 +0000, Date-Modified = 2012-05-04 20:35:01 +0000, 2012, China. pp.525-536. ⟨hal-00760736⟩
153 View
253 Download

Share

Gmail Facebook Twitter LinkedIn More