Sciweavers

2165 search results - page 201 / 433
» cases 2005
Sort
View
ICCSA
2005
Springer
15 years 10 months ago
Mesh Generation for Symmetrical Geometries
Symmetries are not only fascinating, but they can also be exploited when designing numerical algorithms and data structures for scientific engineering problems in symmetrical doma...
Krister Åhlander
ICDCIT
2005
Springer
15 years 10 months ago
Analyzing Loop Paths for Execution Time Estimation
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
Abhik Roychoudhury, Tulika Mitra, Hemendra Singh N...
ICDT
2005
ACM
128views Database» more  ICDT 2005»
15 years 10 months ago
First-Order Query Rewriting for Inconsistent Databases
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
Ariel Fuxman, Renée J. Miller
ICDT
2005
ACM
108views Database» more  ICDT 2005»
15 years 10 months ago
Optimal Workload-Based Weighted Wavelet Synopses
In recent years wavelets were shown to be effective data synopses. We are concerned with the problem of finding efficiently wavelet synopses for massive data sets, in situations...
Yossi Matias, Daniel Urieli
ICFCA
2005
Springer
15 years 10 months ago
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
Gabriela Arévalo, Stéphane Ducasse, ...