13383 search results - page 2377 / 2677 » Abstractions from proofs |
147
click to vote
PDCAT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—In this paper, a tool named CheCUDA is designed to checkpoint CUDA applications that use GPUs as accelerators. As existing checkpoint/restart implementations do not supp...
147
click to vote
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
126
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The focus of web search is moving away from returning relevant documents towards returning structured data as results to user queries. A vital part in the architecture of...
181
click to vote
INFOSCALE
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. Application layer DDoS attacks, to which network layer solutions is not applicable as attackers are indistinguishable based on packets or protocols, prevent legitimate us...
135
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We develop neurally plausible local competitive algorithms (LCAs) for reconstructing compressively sensed images. Reconstruction requires solving a sparse approximation ...