COMGEO
2006
ACM
13 years 4 months ago
2006
ACM
The ray shooting problem arises in many different contexts and is a bottleneck of ray tracing in computer graphics. Unfortunately, theoretical solutions to the problem are not ver...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...