8 search results - page 2 / 2 » The pitfalls of verifying floating-point computations |
COMPGEOM
2001
ACM
13 years 11 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
COMPUTER
2002
13 years 7 months ago
2002
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
ISVC
2007
Springer
14 years 1 months ago
2007
Springer
Display systems with high quality and wide display screen can be used at fixed place due to big size and heavy weight. On the other hands, mobile systems have small display screen ...