5889 search results - page 465 / 1178 » Graph Layout Problems |
191
click to vote
ICC
2008
IEEE
16 years 2 months ago
2008
IEEE
—Inspired by the success of the low-density parity-check (LDPC) codes in the field of error-control coding, in this paper we propose transforming the downlink multiuser multiple-...
215
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
195
click to vote
GG
2004
Springer
16 years 1 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
211
click to vote
AI
2003
Springer
16 years 25 days ago
2003
Springer
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...
228
click to vote
FOCS
2002
IEEE
16 years 17 days ago
2002
IEEE
We consider the problem of testing 3-colorability in the bounded-degree model. We show that, for small enough ε, every tester for 3colorability must have query complexity Ω(n)....