178 search results - page 20 / 36 » A simple implementation of grammar libraries |
137
click to vote
GI
2009
Springer
15 years 8 months 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...
100
click to vote
PLDI
1998
ACM
15 years 8 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...
142
click to vote
AADEBUG
1997
Springer
15 years 8 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...
136
click to vote
CGI
1996
IEEE
15 years 8 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,...
133
click to vote
VISUALIZATION
1995
IEEE
15 years 7 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...