6608 search results - page 186 / 1322 » On the Completeness of Model Checking |
144
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...
109
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
108
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
