3656 search results - page 243 / 732 » Compact Location Problems |
160
click to vote
TACAS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
156
click to vote
WEA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The continuous growth of the routing tables sizes in backbone routers is one of the most compelling scaling problems affecting the Internet and has originated considerab...
163
click to vote
FOCS
2006
IEEE
16 years 14 days ago
2006
IEEE
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...
184
click to vote
VLSID
2005
IEEE
16 years 6 hour ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
187
click to vote
HIPC
2005
Springer
15 years 12 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...