2631 search results - page 315 / 527 » A Practical Method for the Sparse Resultant |
181
click to vote
SAT
2004
Springer
16 years 16 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
181
click to vote
ACSC
2003
IEEE
16 years 15 days ago
2003
IEEE
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
158
click to vote
ITCC
2003
IEEE
16 years 14 days ago
2003
IEEE
As large main memory becomes more and more available at reasonable prices, processing speed of large data sets becomes more important than reducing main memory usage of internal d...
172
click to vote
VTS
2003
IEEE
16 years 14 days ago
2003
IEEE
Delay faults are an increasingly important test challenge. Traditional open and bridge fault models are incomplete because only the functional fault or a subset of delay fault are...
186
click to vote
FM
2003
Springer
16 years 12 days ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...