5619 search results - page 826 / 1124 » A Region Inference Algorithm |
261
click to vote
PLDI
2005
ACM
16 years 22 days ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
211
click to vote
POPL
2004
ACM
16 years 18 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
168
click to vote
WPES
2003
ACM
16 years 13 days ago
2003
ACM
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
218
click to vote
RECOMB
1997
Springer
15 years 11 months ago
1997
Springer
The paper studies the computational complexity and approximation algorithms for a new evolutionary distance between multi-chromosomal genomes introduced recently by Ferretti, Nade...
216
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...