3820 search results - page 675 / 764 » Bounded Model Debugging |
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—A fundamental challenge of managing mutable data replication in a Peer-to-Peer (P2P) system is how to efficiently maintain consistency under various sharing patterns with heter...
TCOM
2008
13 years 8 months ago
2008
Collaborative decoding is an approach that can achieve diversity and combining gain by exchanging decoding information among a cluster of physically separated receivers. On AWGN ch...
JMLR
2010
13 years 8 months ago
2010
We extend the well-known BFGS quasi-Newton method and its memory-limited variant LBFGS to the optimization of nonsmooth convex objectives. This is done in a rigorous fashion by ge...
JPDC
2010
13 years 8 months ago
2010
Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of mul...
MANSCI
2010
13 years 8 months ago
2010
This paper analytically explores the effect of software bundling on software piracy. We focus on piracy at individual user level where several individuals illegitimately share a s...