2877 search results - page 397 / 576 » The Complexity of Planarity Testing |
178
click to vote
KBSE
2006
IEEE
16 years 1 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...
161
click to vote
SIBGRAPI
2006
IEEE
16 years 1 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...
201
click to vote
ADBIS
2006
Springer
16 years 1 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...
189
click to vote
ADC
2006
Springer
16 years 1 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...
146
Voted
ASPDAC
2006
ACM
16 years 1 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...