Sciweavers

4581 search results - page 678 / 917
» Computing Transformation Semigroups
Sort
View
GI
2004
Springer
15 years 12 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
ICCS
2004
Springer
15 years 12 months ago
Point-Based Modeling from a Single Image
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...
Pere-Pau Vázquez, Jordi Marco, Mateu Sbert
OTM
2004
Springer
15 years 12 months ago
Managing Long Running Queries in Grid Environment
Exceptionally large amounts of both distributed data and computational resources are becoming available through the Grid. This will enable efficient exchange and processing of very...
Ruslan Fomkin, Tore Risch
PARA
2004
Springer
15 years 12 months ago
Cache Optimizations for Iterative Numerical Codes Aware of Hardware Prefetching
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
Josef Weidendorfer, Carsten Trinitis
PPSN
2004
Springer
15 years 12 months ago
Improving Evolutionary Algorithms with Multi-representation Island Models
Abstract. We present an island model that uses different representations in each island. The model transforms individuals from one representation to another during migrations. We ...
Zbigniew Skolicki, Kenneth A. De Jong