27827 search results - page 4993 / 5566 » Generating |
171
Voted
EMMCVPR
2007
Springer
16 years 9 days ago
2007
Springer
Classic mosaic is one of the oldest and most durable art forms. There has been a growing interest in simulating classic mosaics from digital images recently. To be visually pleasin...
154
click to vote
EMSOFT
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
147
Voted
ER
2007
Springer
16 years 9 days ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
160
click to vote
ESOP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
164
click to vote
ESTIMEDIA
2007
Springer
16 years 9 days ago
2007
Springer
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...