2335 search results - page 266 / 467 » Type Checking Type Classes |
77
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
106
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
90
Voted
SERP
2003
15 years 2 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...
100
Voted
SODA
2003
ACM
15 years 2 months ago
2003
ACM
—A new class of distances appropriate for measuring similarity relations between sequences, say one type of similarity per distance, is studied. We propose a new “normalized in...
122
click to vote
ATMN
1996
15 years 2 months ago
1996
A new approach for bandwidth allocation and congestion control is reported in this paper, which is of the Rate Controlled admission with Priority Scheduling service type. It is ca...