1. Arora, N.S., Blumofe, R.D., Plaxton, C.G.: Thread scheduling for multiprogrammed multiprocessors. In: Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1998, pp. 119–129. ACM, New York (1998)
2. Boost Interval Arithmetic Library (November 2012),
http://www.boost.org/doc/libs/1_52_0/libs/numeric/interval/doc/interval.htm
3. Cederman, D., Tsigas, P.: On dynamic load balancing on graphics processors. In: Proceedings of the 23rd ACM SIGGRAPH/EUROGRAPHICS Symposium on Graphics Hardware, GH 2008, pp. 57–64. Eurographics Association, Aire-la-Ville (2008)
4. Gau, C.-Y., Stadtherr, M.A.: Parallel interval-newton using message passing: dynamic load balancing strategies. In: Proceedings of the 2001 ACM/IEEE Conference on Supercomputing (CDROM), Supercomputing 2001, pp. 23–23. ACM, New York (2001)
5. Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing I: Basic Numerical Problems. Springer, Heidelberg (1995)