5084 search results - page 376 / 1017 » Proving Possibility Properties |
165
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
The Fibonacci dimension fdim(G) of a graph G is introduced as the smallest integer f such that G admits an isometric embedding into f , the f-dimensional Fibonacci cube. We give b...
172
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
136
click to vote
AMC
2007
15 years 6 months ago
2007
The balanced hypercube BHn is a variant of the hypercube Qn. Huang and Wu proved that BHn has better properties than Qn with the same number of links and processors. In particular...
159
click to vote
BSL
2000
15 years 6 months ago
2000
We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially or...
173
click to vote
ECCC
2000
15 years 6 months ago
2000
We consider testing graph expansion in the bounded-degree graph model. Specifically, we refer to algorithms for testing whether the graph has a second eigenvalue bounded above by a...