Feedback, trace and fixed-point semantics

By Katis P.   Sabadini Nicoletta   Walters Robert F.C.  

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 2, 2010-03 ,pp. : 181-194

Edp Sciences

Access to resources Recommend Favorite

A Note on Negative Tagging for Least Fixed-Point Formulae

By Gurov Dilian   Kapron Bruce  

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 383-392

Edp Sciences

Access to resources Recommend Favorite

Fixed-point DSP implementation of active noise control systems

By Kuo Sen M.   Nadeski Mark   Horner Tom   Chyan Jason   Panahi Issa  

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 1994, Iss. 1, 1994-05 ,pp. : 337-342

Institute of Noise Control Engineering

Access to resources Recommend Favorite

Investigation of self-validating thermocouples with integrated fixed-point units

By Edler F.   Haupt S.   Mokdad S.-A.   Failleau G.   Sadli M.  

International Journal of Metrology and Quality Engineering, Vol. 6, Iss. 1, 2015-02 ,pp. : 103-103

Edp Sciences

Access to resources Recommend Favorite

Monotone (co)inductive types and positive fixed-point types

By Matthes Ralph  

RAIRO - Theoretical Informatics and Applications, Vol. 33, Iss. 4-5, 2010-03 ,pp. : 309-328

Edp Sciences

Access to resources Recommend Favorite