1550 search results - page 193 / 310 » Benchmarking for Graph Transformation |
87
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
85
Voted
ICFP
2001
ACM
16 years 20 days ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
110
Voted
GBRPR
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents an approach to matching parts of deformable shapes. Multiscale salient parts of the two shapes are first identified. Then, these parts are matched if their im...
115
Voted
CC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
95
Voted
EVOW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a simple iterated local search metaheuristic incorporating a k-opt local search (KLS), called Iterated KLS (IKLS for short), for solving the maximum c...