4940 search results - page 194 / 988 » On the Complexity of Universal Programs |
142
click to vote
MP
1998
15 years 5 months ago
1998
The layered-step interior-point algorithm was introduced by Vavasis and Ye. The algorithm accelerates the path following interior-point algorithm and its arithmetic complexity dep...
277
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
163
click to vote
TPDS
1998
15 years 5 months ago
1998
We present a set of advanced program parallelization techniques that are able to signi cantly improve the performance of application programs. We present evidence for this improve...
142
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
144
click to vote
ITICSE
2006
ACM
16 years 6 days ago
2006
ACM
When you sit in a Computer Science lecture at any university in the western world, what are the chances that the person sitting next to you will be a woman? Furthermore, what are ...