3616 search results - page 538 / 724 » Conditional Memory Ordering |
150
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
109
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...
119
Voted
KDD
2004
ACM
16 years 3 months ago
2004
ACM
Massive publicly available gene expression data consisting of different experimental conditions and microarray platforms introduce new challenges in data mining when integrating m...
106
Voted
VLSID
2008
IEEE
16 years 3 months ago
2008
IEEE
Negative Bias Temperature Instability (NBTI) has been identified as a major and critical reliability issue for PMOS devices in nano-scale designs. It manifests as a negative thres...
121
Voted
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
We present an efficient implementation of an approximate balanced truncation model reduction technique for general large-scale RLC systems, described by a statespace model where t...