178 search results - page 20 / 36 » A simple implementation of grammar libraries |
GI
2009
Springer
14 years 14 hour ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
PLDI
1998
ACM
13 years 11 months ago
1998
ACM
Object-oriented applications may contain data members that can be removed from the application without a ecting program behavior. Such \dead" data members may occur due to un...
AADEBUG
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
CGI
1996
IEEE
13 years 11 months ago
1996
IEEE
Gouraud shading and Phong shading are widely used interpolation methods to render a polygon mesh of a curved surface. When an illumination equation has a specular reflection term,...
VISUALIZATION
1995
IEEE
13 years 11 months ago
1995
IEEE
Maximum projection is a volume rendering technique that, for each pixel, finds the maximum intensity along a projector. For certain important classes of data, this is an approxim...