3333 search results - page 367 / 667 » New Invariants for Groups |
232
click to vote
PLDI
2005
ACM
16 years 9 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...
171
click to vote
CEAS
2005
Springer
16 years 8 days ago
2005
Springer
Greylisting temporarily rejects mail from unknown sources on the theory that real mailers will retry while spamware won’t. I outline a taxonomy of greylisters and report some st...
184
click to vote
COCO
2005
Springer
16 years 8 days ago
2005
Springer
We introduce two new complexity measures for Boolean functions, which we name sumPI and maxPI. The quantity sumPI has been emerging through a line of research on quantum query com...
148
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
203
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Adaptive Operator Selection (AOS) turns the impacts of the applications of variation operators into Operator Selection through a Credit Assignment mechanism. However, most Credit ...