3374 search results - page 127 / 675 » Explaining Similarity of Terms |
142
click to vote
PAIRING
2007
Springer
15 years 10 months ago
2007
Springer
We derive a new algorithm for computing the Tate pairing on an elliptic curve over a finite field. The algorithm uses a generalisation of elliptic divisibility sequences known as...
158
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
124
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
125
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Importance sampling (IS) is the most widely used efficiency improvement method for rare-event simulation. When estimating the probability of a rare event, the IS estimator is the ...
110
click to vote
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...