200 search results - page 18 / 40 » A Global Algorithm for Model-Based Test Suite Generation |
SIAMSC
2008
14 years 9 months ago
2008
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
107
Voted
DFT
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
87
Voted
PASTE
2004
ACM
15 years 2 months ago
2004
ACM
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
112
click to vote
DAC
2012
ACM
12 years 12 months ago
2012
ACM
Improving detailed routing routability is an important objective of a global router. In this paper, we propose GDRouter, an interleaved global routing and detailed routing algorit...