Search CORE

2 research outputs found

Towards an Axiomatization of Simple Analog Algorithms

Author: A. Blass
A. Glausch
C.E. Shannon
J. Cohen
L. Blum
N. Dershowitz
O. Bournez
U. Boker
U. Boker
V. Bush
W. Reisig
Y. Gurevich
Publication venue: Spinger-Verlag
Publication date: 01/01/2012
Field of study

International audienceWe propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation

Crossref

HAL-Polytechnique

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis.

Author
Publication venue: 'AITO - Association Internationale pour les Technologies Objets'
Publication date: 01/01/2006
Field of study

Crossref