7167 search results - page 225 / 1434 » A Technique for Invariant Generation |
178
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Considerable research has taken place in recent times in the area of parameterization of software defined radio (SDR) architecture. Parameterization decreases the size of the soft...
184
click to vote
JMM2
2008
15 years 7 months ago
2008
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...
183
click to vote
SMA
2008
ACM
15 years 7 months ago
2008
ACM
Quadrangular remeshing of triangulated surfaces has received an increasing attention in recent years. A particularly elegant approach is the extraction of quads from the streamlin...
194
click to vote
IDA
2010
Springer
15 years 5 months ago
2010
Springer
According to Koestler, the notion of a bisociation denotes a connection between pieces of information from habitually separated domains or categories. In this paper, we consider a ...
215
click to vote
PVLDB
2010
15 years 2 months ago
2010
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...