2767 search results - page 39 / 554 » Universal Exponentiation Algorithm |
136
click to vote
JOC
2011
14 years 8 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
STOC
2005
ACM
16 years 1 months ago
2005
ACM
SODA
2008
ACM
15 years 2 months ago
2008
ACM
ENTCS
2007
15 years 1 months ago
2007
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...
116
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
We study the problem of asymptotically reducing the runtime of serial computations with circuits of polynomial size. We give an algorithmic size-depth tradeoff for parallelizing ...