1737 search results - page 210 / 348 » On Interpolation in Existence Logics |
139
click to vote
ISCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
—The Delay Filtered Dual Interlocked storage Cell (DF-DICE) offers a scalable solution in different radiation environments for soft error mitigation. The area and speed performan...
147
click to vote
ASPDAC
2006
ACM
16 years 10 days ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
168
click to vote
ACISICIS
2005
IEEE
16 years 11 hour ago
2005
IEEE
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
158
click to vote
ACSD
2005
IEEE
16 years 10 hour ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
154
click to vote
DATE
2005
IEEE
16 years 3 hour ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...