Search Sciweavers | Sciweavers

29908 search results - page 524 / 5982

» On the Complexity of

180

click to vote

WG
2007
Springer

141views Theoretical Computer Science» more WG 2007»

Complexity and Approximation Results for the Connected Vertex Cover Problem

16 years 1 months ago

Download www.lamsade.dauphine.fr

We study a variation of the vertex cover problem where it is required that the graph induced by the vertex cover is connected. We prove that this problem is polynomial in chordal g...

Bruno Escoffier, Laurent Gourvès, Jé...

claim paper

Read More »

134

click to vote

ACSD
2006
IEEE

75views Hardware» more ACSD 2006»

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems

16 years 1 months ago

Download pagesperso-systeme.lip6.fr

Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban...

claim paper

Read More »

156

click to vote

ACSD
2006
IEEE

106views Hardware» more ACSD 2006»

On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs

16 years 1 months ago

Download www.fmi.uni-stuttgart.de

Signal Transition Graphs (STGs) are a popular formalism for the speciﬁcation of asynchronous circuits. A necessary condition for the implementability of an STG is the existence ...

Javier Esparza, Petr Jancar, Alexander Miller

claim paper

Read More »

155

click to vote

AGILEDC
2006
IEEE

74views Software Engineering» more AGILEDC 2006»

Presenter First: Organizing Complex GUI Applications for Test-Driven Development

16 years 1 months ago