Sciweavers

11784 search results - page 2060 / 2357
» Interpolation for data structures
Sort
View
RE
1999
Springer
15 years 8 months ago
An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh...
135
Voted
ICFP
1998
ACM
15 years 8 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
177
Voted
PODS
1998
ACM
152views Database» more  PODS 1998»
15 years 8 months ago
A Cost Model for Similarity Queries in Metric Spaces
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
Paolo Ciaccia, Marco Patella, Pavel Zezula
135
Voted
WOSP
1998
ACM
15 years 8 months ago
Predicting memory use from a class diagram using dynamic information
Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be buil...
Gail C. Murphy, Ekaterina Saenko
ECOOP
1998
Springer
15 years 8 months ago
The Complexity of Type Analysis of Object Oriented Programs
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
Joseph Gil, Alon Itai
« Prev « First page 2060 / 2357 Last » Next »