4052 search results - page 234 / 811 » integration 2007 |
151
click to vote
IDEAS
2007
IEEE
16 years 28 days ago
2007
IEEE
A foreign superkey in relational database theory is a set of attributes referring to a superkey of some relation variable. In this paper, the notion of constant references is intr...
218
click to vote
AGTIVE
2007
Springer
16 years 24 days ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
169
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Electronic commerce is revolutionizing the way we think about data modeling, by making it possible to integrate the processes of (costly) data acquisition and model induction. The...
253
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
168
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...