Skip to Main content Skip to Navigation
Conference papers

Towards an Axiomatization of Simple Analog Algorithms

Abstract : We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal-polytechnique.archives-ouvertes.fr/hal-00760736
Contributor : Olivier Bournez <>
Submitted on : Tuesday, December 4, 2012 - 12:44:53 PM
Last modification on : Thursday, March 5, 2020 - 6:26:40 PM
Long-term archiving on: : Tuesday, March 5, 2013 - 3:52:08 AM

File

tamc-final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00760736, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

262

Files downloads

449