2767 search results - page 39 / 554 » Universal Exponentiation Algorithm |
JOC
2011
13 years 5 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
14 years 10 months ago
2005
ACM
SODA
2008
ACM
13 years 11 months ago
2008
ACM
ENTCS
2007
13 years 10 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...
SPAA
2005
ACM
14 years 3 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 ...