Sciweavers

4913 search results - page 136 / 983
» Results and Perspectives of the G
Sort
View
ANSS
1999
IEEE
15 years 10 months ago
DYANA: An Environment for Embedded System Design and Analysis
The results presented here are based on many years of experience of development and application of DYANA
Ruslan L. Smeliansky, Anatoly G. Bakhmurov, A. P. ...
MSE
1999
IEEE
110views Hardware» more  MSE 1999»
15 years 10 months ago
Active Learning in an Electronic Design Automation Course
This paper summarizes the rationale behind revision of an electronic design automation course and the resulting learning objectives and course model. Early experiences are highlig...
Diane T. Rover, Nayda G. Santiago, Mel M. Tsai
ARSCOM
1999
57views more  ARSCOM 1999»
15 years 6 months ago
Minimal Partitions of a Graph
For a given graph G, we fix s, and partition the vertex set into s classes, so that any given class contains few edges. The result gives a partition (U1,
Thomas Dale Porter
ISAAC
2009
Springer
109views Algorithms» more  ISAAC 2009»
16 years 1 months ago
A Linear Vertex Kernel for Maximum Internal Spanning Tree
We present an algorithm that for any graph G and integer k ≥ 0 in time polynomial in the size of G either nds a spanning tree with at least k internal vertices, or outputs a ne...
Fedor V. Fomin, Serge Gaspers, Saket Saurabh, St&e...
CP
2003
Springer
15 years 11 months ago
Using Constraint Programming to Solve the Maximum Clique Problem
This paper aims to show that Constraint Programming can be an efficient technique to solve a well-known combinatorial optimization problem: the search for a maximum clique in a gra...
Jean-Charles Régin