Saturation arithmetic

#	Item
1	Adaptive Line Placement with the Set Balancing Cache Dyer Rolán Basilio B. Fraguela Ramón Doallo Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2009-09-04 07:55:51 Cache Computer architecture Computer memory Central processing unit CPU cache Cache algorithms Memory hierarchy Lookup table Saturation arithmetic Draft:Cache memory
2	QUALITY LIST of AMSR-E Slow Rotation Data - JAXA has completed operation of the AMSR-E on December 4th, Please note that the Brightness Temperature of 89GHz B-horn V-pol is not correct because the HTS saturation Add to Reading List Source URL: sharaku.eorc.jaxa.jp Language: English - Date: 2016-01-19 03:15:42 Computer arithmetic Arithmetic underflow
3	Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. Add to Reading List Source URL: www.flypig.co.uk Language: English - Date: 2015-04-13 15:49:07 Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic