Sciweavers

1700 search results - page 205 / 340
» Specifying and implementing refactorings
Sort
View
EDBT
2006
ACM
118views Database» more  EDBT 2006»
16 years 6 months ago
Multi-dimensional Aggregation for Temporal Data
Business Intelligence solutions, encompassing technologies such as multi-dimensional data modeling and aggregate query processing, are being applied increasingly to non-traditional...
Christian S. Jensen, Johann Gamper, Michael H. B&o...
EDBT
2008
ACM
162views Database» more  EDBT 2008»
16 years 6 months ago
Schema merging and mapping creation for relational sources
We address the problem of generating a mediated schema from a set of relational data source schemas and conjunctive queries that specify where those schemas overlap. Unlike past a...
Rachel Pottinger, Philip A. Bernstein
ICSE
2007
IEEE-ACM
16 years 6 months ago
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones
Detecting code clones has many software engineering applications. Existing approaches either do not scale to large code bases or are not robust against minor code modifications. I...
Ghassan Misherghi, Lingxiao Jiang, Stéphane...
ICFP
2007
ACM
16 years 6 months ago
A generic usage analysis with subeffect qualifiers
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
ICFP
2005
ACM
16 years 6 months ago
A principled approach to operating system construction in Haskell
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...