1302 search results - page 105 / 261 » On the Strong Chromatic Number |
129
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
Applications running on the StrongARM SA-1110 or XScale processor cores can specify cache mapping for each virtual page to achieve better cache utilization. In this work, we descr...
155
click to vote
SSS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
186
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
175
click to vote
WEA
2005
Springer
15 years 12 months ago
2005
Springer
This work is motivated by the long-standing open problem of designing a polynomial-time algorithm that with high probability constructs an asymptotically maximum independent set in...
137
click to vote
COCO
2004
Springer
15 years 12 months ago
2004
Springer
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...