A computing unit for FFP function evaluation in support of correctness proofs

Monica Alderighi, Giacomo R. Sechi, Roberto Vaccaro, Lorenzo Verdoscia · 1989

article Free Access Share on A computing unit for FFP function evaluation in support of correctness proofs Authors: M. Alderighi Istituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano, (Italy) Istituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano, (Italy)View Profile , G. R. Sechi Istituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano, (Italy) Istituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milano, (Italy)View Profile , R. Vaccaro Centro di Studio sui Calcoiatori Ibridi. C.N.R. via Claudio 21, 80125 Napoii (Italy) Centro di Studio sui Calcoiatori Ibridi. C.N.R. via Claudio 21, 80125 Napoii (Italy)View Profile , L. Verdoscia Centro di Studio sui Calcoiatori Ibridi. C.N.R. via Claudio 21, 80125 Napoii (Italy) Centro di Studio sui Calcoiatori Ibridi. C.N.R. via Claudio 21, 80125 Napoii (Italy)View Profile Authors Info & Claims ACM SIGMICRO NewsletterVolume 20Issue 3Sep. 1989pp 244–253https://doi.org/10.1145/75395.75426Published:01 August 1989Publication History 4citation182DownloadsMetricsTotal Citations4Total Downloads182Last 12 Months18Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Publisher SiteeReaderPDF

Read the paper · More papers on PaperTik