1061 search results - page 118 / 213 » Dependently Sorted Logic |
159
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Correlated or discriminative pattern mining is concerned with finding the highest scoring patterns w.r.t. a correlation measure (such as information gain). By reinterpreting corre...
279
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
143
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Clustering (or partitioning) is a crucial step between logic synthesis and physical design in the layout of a large scale design. A design verified at the logic synthesis level m...
157
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
143
click to vote
PRDC
2008
IEEE
16 years 17 days ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...