Sciweavers

361 search results - page 56 / 73
» acm 1993
Sort
View
PEPM
1993
ACM
13 years 10 months ago
Tutorial on Specialisation of Logic Programs
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
John P. Gallagher
SIGGRAPH
1993
ACM
13 years 10 months ago
Turbulent wind fields for gaseous phenomena
The realistic depiction of smoke, steam, mist and water reacting to a turbulent eld such as wind is an attractive and challenging problem. Its solution requires interlocking model...
Jos Stam, Eugene Fiume
SIGSOFT
1993
ACM
13 years 10 months ago
Scalable Software Libraries
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...
Don S. Batory, Vivek Singhal, Marty Sirkin, Jeff T...
SAC
2004
ACM
14 years 5 days ago
The inheritance anomaly: ten years after
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...
Giuseppe Milicia, Vladimiro Sassone
ELPUB
1999
ACM
13 years 11 months ago
REPEC AND S-WOPEC: Internet Access to Electronic Preprints in Economics
The first electronic Economics preprint appeared in 1993. Since then the growth has been dramatic as the use of the World Wide Web has exploded. RePEc has been instrumental in fa...
Sune Karlsson, Thomas Krichel