2343 search results - page 78 / 469 » Structure and Interpretation of Computer Programs |
141
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
121
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
130
click to vote
DIS
2008
Springer
15 years 6 months ago
2008
Springer
Decision trees are among the most effective and interpretable classification algorithms while ensembles techniques have been proven to alleviate problems regarding over-fitting and...
137
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
122
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
A parallel program archetype is an abstraction that captures the common features of a class of problems with similar computational structure and combines them with a parallelizati...