Sciweavers

31387 search results - page 248 / 6278
» Abstracting abstract machines
Sort
View
IGIS
1994
128views GIS» more  IGIS 1994»
15 years 10 months ago
Optimization Issues in R-tree Construction (Extended Abstract)
Yannis Theodoridis, Timos K. Sellis
PEPM
1993
ACM
15 years 10 months ago
Improving Abstract Interpretations by Combining Domains
Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...