415 search results - page 67 / 83 » time 1994 |
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
We describe a representation for multiresolution images--images that have different resolutions in different places--and methods for creating such images using painting and compos...
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
FBRAM, a new form of dynamic random access memory that greatly accelerates the rendering of Z-buffered primitives, is presented. Two key concepts make this acceleration possible. ...
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
Specifying the motion of an animated linked figure such that it achieves given tasks (e.g., throwing a ball into a basket) and performs the tasks in a realistic fashion (e.g., gra...
SIGSOFT
1994
ACM
14 years 1 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
TACS
1994
Springer
14 years 1 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...