Noisy turing machines

Lecture Notes in Computer Science

Volumn 3580, Issue , 2005, Pages 1031-1042

  Asarin, Eugene ^a   Collins, Pieter ^b  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; PROBABILITY; TURNING;

COMPUTATIONAL POWER; NOISY TURNING MACHINES; STOCHASTIC NOISE;

COMPUTER SCIENCE;

EID: 26444618567     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11523468_83     Document Type: Conference Paper

References (10)

1. McKee, W., Bergman, D., Nguyen, N., Aton, T., Block, L., Huynh, V., McAdams, H., Smith, E., McPherson, J., Janzen, J., Ondrusek, J., Hyslop, A., Russell, D., Coy, R.: Cosmic ray neutron induced upsets as a major contributor to the soft error rate of current and future generation DRAMs. In: Proceedings of the International Reliability Physics Symposium. (1996)
2. Howard, J.J., Hardage, D.: Spacecraft environments interactions: Space radiation and its effects on electronic systems. Technical Report TP-1999-209373, NASA (1999) http://trs.nis.nasa.gov/archive/00000502/01/ tp209373.pdf.
3. Puri, A.: Dynamical properties of timed automata. Discrete Event Dynamic Systems 10 (2000) 87-113
4. Fränzle, M.: Analysis of hybrid systems: An ounce of realism can save an infinity of states. In Flum, J., Rodríguez-Artalejo, M., eds.: Computer Science Logic (CSL'99). Volume 1683 of LNCS., Springer-Verlag (1999) 126-140
5. Asarin, E., Bouajjani, A.: Perturbed Turing machines and hybrid systems. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society (2001) 269
6. Delyon, B., Maler, O.: On the effects of noise and speed on computations. Theoretical Computer Science 129 (1994) 279-291
7. Maass, W., Orponen, P.: On the effect of analog noise in discrete-time analog computations. Neural Computation 10 (1998) 1071-1095
8. Freidlin, M., Wentzell, A.: Random perturbations of dynamical systems. Springer-Verlag, New York (1984)
9. Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill (1967)
10. Weihrauch, K.: Computable analysis. Springer-Verlag, Berlin (2000)