5 search results - page 1 / 1 » Strength Reduction for Loop-Invariant Types |
ACSC
2004
IEEE
13 years 10 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
ECOOP
2012
Springer
11 years 9 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
CLA
2004
13 years 8 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
CIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Recent advances in peer to peer (P2P) search algorithms have presented viable structured and unstructured approaches for full-text search. We posit that these existing ap...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
Recently, we successfully developed and reported a new unsupervised online adaptation technique, which jointly compensates for additive and convolutive distortions with vector Tay...