2191 search results - page 124 / 439 » Improving the Efficiency of Non-Deterministic Computations |
109
Voted
PVLDB
2008
15 years 7 days ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
102
Voted
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
102
Voted
NPC
2004
Springer
15 years 6 months ago
2004
Springer
This paper is motivated by the problem of poor searching efficiency in decentralized peer-to-peer file-sharing systems. We solve the searching problem by considering and modeling t...
74
Voted
PVLDB
2008
15 years 7 days ago
2008
The popularity of collaborative tagging sites presents a unique opportunity to explore keyword search in a context where query results are determined by the opinion of a network o...
93
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Communication-based power management (CBPM) is a new batterydriven system-level power management methodology in which the systemlevel communication architecture regulates the exec...