4131 search results - page 323 / 827 » Compactness in Topology and Computation |
125
click to vote
SIPS
2007
IEEE
16 years 1 months ago
2007
IEEE
A hardware ef cient approach is introduced for elementary function evaluations in certain structured matrix computations. It is a comprehensive approach that utilizes lookup table...
169
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
195
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
186
click to vote
ETS
2006
IEEE
16 years 23 days ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
156
click to vote
ISVLSI
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...