@inproceedings{bohlender2,
	title = "{BAP-SC: A Decimal Floating-Point Processors for Optimal Arithmetic}", 
	booktitle = "Computerarithmetic: Scientific Computation and Programming Languages",
	author = "G. Bohlender and T. Teufel ", 
	pages	= "31-58",
        editor = "E. Kaucher and U. Kulisch and Ch. Ullrich",
        publisher = "B.G Teubner Verlag",
	year	= "1987",
}

@inproceedings{baumhof,
	title = "{A New VLSI Vector Arithmetic Coprocessor for the PC}", 
	booktitle = "Proceedings of the 12th Symposium on Computer Arithmetic",
	author = "C. Baumhof",
        city = "Bath",
        pages = "210-215",
	year= "1995",
}

@article{capello,
	title = "{Systolic Super Summation}",
	author = "P. R. Cappello and W. L. Miranker",
	journal = "IEEE Transactions on Computers",
	pages = "657-677",
	volume = "C-37",
	year = "1989",
}

@inproceedings{carter,
	title = "{Cascade: Hardware for High/Variable Precision Arithmetic}", 
	booktitle = "Proceedings of the 9th Symposium on Computer Arithmetic", 
	author = "T. M. Carter", 
	pages	= "184-191",
	year	= "1989",
}

@article{cohen,
	title = "{CADAC: A Controlled-Precision Decimal Arithmetic Unit}",
	author = "M. S. Cohen and T. E. Hull and V. C. Hamacher",
	journal = "IEEE Transactions on Computers",
	pages = "370-377",
	volume = "C-32",
	year = "1983",
}

@techreport{daumas,
	title = "{Rounding of Floating Point Intervals}",
	author = "M. Daumas and D. W. Matula",
	number = "93-06",
        institution= "Laboratoire de l'Informatique du Paralle'lisme, Ecole Normale
Supe'rieure de Lyon, France",
	year = "1993",
} 

@incollection{hafner,
	title = "{Chips for High Precision Arithmetic}",
	booktitle = "Computer Arithmetic and Self-Validating Numerical Methods",
	author = "K. Hafner",
        editor = "Ch. Ullrich",
        publisher = "Academic Press",
        city = "San Diego, CA",
	pages = "33-54",
	year = "1990",
}

@inproceedings{hull,
	title = "{Specification for a Variable-Precision Arithmetic Coprocessor}", 
	booktitle = "Proceedings of the 10th Symposium on Computer Arithmetic", 
	author = "T. E. Hull and M. S. Cohen and C. B. Hull", 
	pages	= "127-131",
	year	= "1991",
}

@incollection{kahan2,
	title = "{Interval Arithmetic Options in the Proposed IEEE Floating Point Arithmetic Standard}", 
	booktitle = "Interval Mathematics 1980", 
	author = "W. M. Kahan",
        publisher = "Academic Press",
        city = "New York, NY",
        pages = "99-128",
	year	= "1980",
}

@inproceedings{kernhof,
	title = "{A CMOS Floating-Point Processing Chip for Verified Exact Vector Arithmetic}",
	booktitle = "ESSIRC 94", 
	author = "J. Kernhof and others", 
	year	= "1994",
}

@inproceedings{knofel1,
	title = "{Fast Hardware Units for the Computation of Accurate Dot Products}", 
	booktitle = "Proceedings of the 10th Symposium on Computer Arithmetic", 
	author = "A. Knofel", 
	pages	= "70-75",
	year	= "1991",
}

@incollection{knofel2,
	title = "{Hardware Kernel for Scientific/Engineering Computations}",
	booktitle = "Scientific Computing with Automatic Result Verification",
	author = "A. Knofel",
        editor = "E. Adams and U. Kulisch",
        publisher = "Academic Press, Inc.",
	pages = "549-570",
	year = "1993",
}

@incollection{kulisch3,
	title = "{Features of a Hardware Implementation of an Optimal Arithmetic}",
	booktitle = "A New Approach to Scientific Computations", 
	author = "U. W. Kulisch and G. Bohlender",
	editor = "U. W. Kulisch and W. L. Miranker ",
        publisher = "Academic Press, Inc.",
        city = "New York, NY",
	pages = "269-290",
	year = "1983",
}

@article{lynch3,
	title = "{A High Radix On-line Arithmetic for Credible and Accurate Computing}", 
        author = "T. Lynch and M. J. Schulte",
	journal = "Journal of Universal Computer Science",
        pages = "435-449",
        volume = "1",
        number = "7",
	year = "1995", 
}

@article{schulte1,
	title = "{A Software Interface and Hardware Design for Variable-Precision Interval Arithmetic}", 
	author = "M. J. Schulte and E. E. Swartzlander, Jr",
	journal = "Reliable Computing",
        volume = "1",
        number = "3",
        pages = "324-342", 
	year = "1995",
}

@inproceedings{schulte2,
	title = "{A Processor for Staggered Interval Arithmetic}", 
	author = "M. J. Schulte and E. E. Swartzlander, Jr",
        booktitle = "Proceedings of the 1995 International Conference on Application Specific Array Processors",
        city = "Strasbourg",
        pages = "104-112",
	month = "July",
	year = "1995",
}

@inproceedings{schulte4,
	title = "{A Hardware Design and Arithmetic Algorithms for a Variable-Precision, Interval Arithmetic Coprocessor}", 
	booktitle = "Proceedings of the 12th Symposium on Computer Arithmetic", 
	author = "M. J. Schulte and E. E. Swartzlander, Jr",
        city = "Bath, England",
        pages = "163-171",
	month = "July",
	year	= "1995",
}

@article{schulte10,
	title = "{Parallel Hardware Designs for Correctly Rounded Elementary Functions}", 
	author = "M. J. Schulte and E. E. Swartzlander, Jr",
	journal = "Interval Computations",
        pages = "65-88",
        volume = "4",
	month   = "December",
	year = "1993", 
}

@article{schulte11,
	title = "{Hardware Designs for Exactly Rounded Elementary Functions}", 
	author = "M. J. Schulte and E. E. Swartzlander, Jr",
	journal = "IEEE Transactions on Computer, Special Issue on Computer Arithmetic",
        pages = "964-973",
        volume = "C-44",
	month   = "August",
	year = "1994", 
}

@article{schulte12,
	title = "{Hardware Interval Multipliers}",
	author = "M. J. Schulte and K. C. Bickerstaff and E. E.  Swartzlander, Jr",
	journal = "Journal of Theoretical and Applied Informatics",
	pages = "73-90",
	vol = "3",
	no = "2",
	year = "1996",
}

@book{schulte14,
	title = "{Software and Hardware Techniques for Accurate,
	Self-Validating Arithmetic}",
	author = "M. J. Schulte and E. E. Swartzlander, Jr.",
	publisher = "Kluwer",
	city = "Boston, MA",
	year = "1995"
}

@inproceedings{stine,
	title = "{A Combined Interval and Floating Point Multiplier}", 
	booktitle = "Proceedings of the 8th Great Lakes Symposium on VLSI", 
	author = "J. E. Stine and M. J. Schulte",
        city = "Lafayette, LA",
        pages = "208-213",
	month = "February",
	year	= "1998",
}

@inbook{wolff,
	title = "{Hardware Support for Interval Arithmetic}",
	booktitle = "{Scientific Computing and Validated Numerics}",
	author = "J.~Wolff.~v.~Gudenberg",
	publisher= "Akedemie Verlag",
	pages   = "32-37",
	year    = "1996",
}