3510 search results - page 435 / 702 » Searching with numbers |
185
Voted
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
318
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Skyline query has been gaining much interest in database research communities in recent years. Most existing studies focus mainly on centralized systems, and resolving the problem...
203
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: In many microarray experiments, analysis is severely hindered by a major difficulty: the small number of samples for which expression data has been measured. When one ...
169
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The rapid growth of the web has been noted and tracked extensively. Recent studies have however documented the dual phenomenon: web pages have small half lives, and thus the web e...
205
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...