1901 search results - page 359 / 381 » Predicting Program Properties from |
JFP
2010
14 years 9 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
SIGMOD
2011
ACM
14 years 1 months ago
2011
ACM
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...
160
Voted
SODA
2012
ACM
13 years 1 months ago
2012
ACM
We give a constant factor approximation algorithm for the following generalization of the k-median problem. We are given a set of clients and facilities in a metric space. Each fa...
106
click to vote
RECOMB
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents a new approach to site-directed recombination, swapping combinations of selected discontiguous fragments from a source protein in place of corresponding fragmen...
83
Voted
DSN
2009
IEEE
15 years 5 months ago
2009
IEEE
Recently, peer-to-peer (P2P) networks have emerged as a covert communication platform for malicious programs known as bots. As popular distributed systems, they allow bots to comm...