10707 search results - page 2047 / 2142 » Designing executable abstractions |
160
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract—In this paper we illustrate scalable parallel performance for the Time Warp synchronization protocol on the L and P variants of the IBM Blue Gene supercomputer. Scalable...
157
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
148
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
199
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Motivated by applications in cryptography, we consider a generalization of randomness extraction and the related notion of privacy amplification to the case of two cor...
166
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— A common assumption in the network coding literature is that the users are cooperative and will not pursue their own interests. However, this assumption can be violated...