1567 search results - page 101 / 314 » A Mechanized Model of the Theory of Objects |
TPDS
1998
15 years 1 months ago
1998
—Instruction fetching is critical to the performance of a superscalar microprocessor. We develop a mathematical model for three different cache techniques and evaluate its perfor...
109
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Model reduction methods from diverse fields— including control, statistical mechanics and economics—aimed at systems that can be represented by Markov chains, are discusse...
80
Voted
ALGORITHMICA
2007
15 years 1 months ago
2007
This paper proposes the Protein Ensemble Method (PEM) to model equilibrium fluctuations in proteins where fragments of the protein polypeptide chain can move independently of one ...
101
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
103
Voted
CACM
1998
15 years 1 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...