747 search results - page 114 / 150 » Theory and Construction of Molecular Computers |
174
click to vote
IPSN
2010
Springer
16 years 18 days ago
2010
Springer
For in-network storage schemes, one maps data, indexed in a logical space, to the distributed sensor locations. When the physical sensor network has an irregular shape and possibl...
170
click to vote
IPPS
2006
IEEE
16 years 4 days ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
166
click to vote
PRDC
2006
IEEE
16 years 3 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
192
click to vote
SMI
2006
IEEE
16 years 3 days ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
165
click to vote
ACL2
2006
ACM
16 years 2 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...