2877 search results - page 397 / 576 » The Complexity of Planarity Testing |
128
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
118
click to vote
SIBGRAPI
2006
IEEE
15 years 10 months ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
134
click to vote
ADBIS
2006
Springer
15 years 10 months ago
2006
Springer
materialized view selection is a non-trivial task. Hence, its complexity must be reduced. A judicious choice of views must be costdriven and influenced by the workload experienced...
144
click to vote
ADC
2006
Springer
15 years 10 months ago
2006
Springer
Searching bio-chemical structures is becoming an important application domain of information retrieval. This paper introduces a protein structure matching problem and formulates i...
100
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Many of the issues that will be faced by the designers of multi-billion transistor chips may be alleviated by the presence of a flexible global communication infrastructure. I...