3229 search results - page 456 / 646 » Theories with the Independence Property |
153
click to vote
JSA
2008
15 years 6 months ago
2008
Processor simulators are important parts of processor design toolsets in which they are used to verify and evaluate the properties of the designed processors. While simulating arch...
192
click to vote
JCP
2006
15 years 6 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
164
click to vote
ECCC
2007
15 years 6 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
170
click to vote
PRL
2008
15 years 6 months ago
2008
This paper proposes an algorithm for rejecting false matches (known as outliers) in image pairs acquired with automobile-mounted cameras. Many intelligent vehicle applications req...
181
click to vote
SIAMDM
2008
15 years 6 months ago
2008
Ensembles of regular low-density parity-check codes over any finite Abelian group G are studied. The nonzero entries of the parity matrix are randomly chosen, independently and uni...