Sciweavers

3790 search results - page 529 / 758
» Advances in Mixture Models
Sort
View
PADL
2004
Springer
16 years 18 days ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu
SAT
2004
Springer
95views Hardware» more  SAT 2004»
16 years 18 days ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
VLDB
2004
ACM
103views Database» more  VLDB 2004»
16 years 18 days ago
Maintenance of Spatial Semijoin Queries on Moving Points
In this paper, we address the maintenance of spatial semijoin queries over continuously moving points, where points are modeled as linear functions of time. This is analogous to t...
Glenn S. Iwerks, Hanan Samet, Kenneth P. Smith
ECRTS
2003
IEEE
16 years 17 days ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
IPPS
2003
IEEE
16 years 16 days ago
Natural Block Data Decomposition for Heterogeneous Clusters
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...
Egor Dovolnov, Alexey Kalinov, Sergey Klimov