959 search results - page 31 / 192 » Transfers between Logics and their Applications |
CBMS
2001
IEEE
15 years 5 months ago
2001
IEEE
For transferring data between heterogeneous databases, XML is becoming a method of choice. While deployment is generally successfully, there are barriers to overcome. A recent exa...
120
click to vote
IANDC
2010
15 years 14 days ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
135
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Information resources on the World Wide Web play an indispensable role in modern biology. But integrating data from multiple sources is often encumbered by the need to...
102
click to vote
EWSN
2009
Springer
16 years 2 months ago
2009
Springer
When developing sensor network applications, the shift from simulation to testbed causes application failures, resulting in additional time-consuming iterations between simulation ...
111
click to vote
IFE
2010
14 years 11 months ago
2010
This paper presents a middleware capable of out-of-order execution of kernels and data transfers for efficient stream processing in the compute unified device architecture (CUDA). ...