1209 search results - page 127 / 242 » Universal Algebra and Computer Science |
108
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— A control-plane architecture for supporting advance reservation of dedicated bandwidth channels on a switched network infrastructure is described including the front-end web in...
115
Voted
COCO
2006
Springer
15 years 5 months ago
2006
Springer
We study the identity testing problem for depth 3 arithmetic circuits ( circuit). We give the first deterministic polynomial time identity test for circuits with bounded top fanin...
113
Voted
ISPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
Grid computing accomplishes high throughput computing by using a very large number of unexploited computing resources. We present a parallel method GMRES to solve large sparse lin...
120
click to vote
COCO
2009
Springer
15 years 10 months ago
2009
Springer
We study the task of randomness extraction from sources which are distributed uniformly on an unknown algebraic variety. In other words, we are interested in constructing a functi...
125
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...