Sciweavers

7820 search results - page 101 / 1564
» Formalization of Time and Space
Sort
View
ICCSA
2004
Springer
15 years 11 months ago
Quadratic-Time Linear-Space Algorithms for Generating Orthogonal Polygons with a Given Number of Vertices
We propose Inflate-Paste – a new technique for generating orthogonal polygons with a given number of vertices from a unit square based on gluing rectangles. It is dual to Inflate...
Ana Paula Tomás, António Leslie Baju...
LCTRTS
2004
Springer
15 years 11 months ago
Optimizing for space and time usage with speculative partial redundancy elimination
Bernhard Scholz, R. Nigel Horspool, Jens Knoop
COSIT
2003
Springer
115views GIS» more  COSIT 2003»
15 years 11 months ago
Structuring a Wayfinder's Dynamic Space-Time Environment
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
Michael D. Hendricks, Max J. Egenhofer, Kathleen H...
EUROPAR
2003
Springer
15 years 11 months ago
Dynamic Load Partitioning Strategies for Managing Data of Space and Time Heterogeneity in Parallel SAMR Applications
This paper presents the design and experimental evaluation of two dynamic load partitioning and balancing strategies for parallel Structured Adaptive Mesh Refinement (SAMR) applic...
Xiaolin Li, Manish Parashar