411 search results - page 79 / 83 » Algebraic Imperative Specifications |
110
click to vote
ASPLOS
2009
ACM
15 years 3 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
137
click to vote
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
We propose a novel conception language for exploring the results retrieved by several internet search services (like search engines) that cluster retrieved documents. The goal is ...
102
click to vote
DOLAP
2008
ACM
15 years 1 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
101
click to vote
SBBD
2004
15 years 1 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
CODES
2009
IEEE
15 years 24 days ago
2009
IEEE
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...