 |
École polytechnique Open archive |  |
 |
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.
Cited literature [18 references]
https://hal-polytechnique.archives-ouvertes.fr/hal-00760736
Contributor : Olivier Bournez Connect in order to contact the contributor
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
Contributor : Olivier Bournez Connect in order to contact the contributor
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)