959 search results - page 131 / 192 » Transfers between Logics and their Applications |
261
click to vote
ICDT
2009
ACM
16 years 6 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
154
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
162
click to vote
ASPDAC
2009
ACM
16 years 20 days ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
151
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
Client-side file caching has long been recognized as a file system enhancement to reduce the amount of data transfer between application processes and I/O servers. However, cach...
195
click to vote
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Point matching is crucial for many computer vision applications. Establishing the correspondence between a large number of data points is a computationally intensive proc...