Sciweavers

3238 search results - page 154 / 648
» Not Enough Points Is Enough
Sort
View
ACIVS
2006
Springer
16 years 18 days ago
Dilation Matrices for Nonseparable Bidimensional Wavelets
Abstract. For nonseparable bidimensional wavelet transforms, the choice of the dilation matrix is all–important, since it governs the downsampling and upsampling steps, determine...
Ana M. C. Ruedin
APLAS
2006
ACM
16 years 18 days ago
Widening Polyhedra with Landmarks
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
Axel Simon, Andy King
ASPDAC
2006
ACM
117views Hardware» more  ASPDAC 2006»
16 years 18 days ago
SAT-based optimal hypergraph partitioning with replication
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
Michael G. Wrighton, André DeHon
ASPLOS
2006
ACM
16 years 18 days ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
DOCENG
2006
ACM
16 years 18 days ago
Solving the simple continuous table layout problem
Automatic table layout is required in web applications. Unfortunately, this is NP-hard for reasonable layout requirements such as minimizing table height for a given width. One ap...
Nathan Hurst, Kim Marriott, David W. Albrecht