4581 search results - page 609 / 917 » Computing Transformation Semigroups |
155
Voted
ARITH
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a radix-2 online computational scheme for evaluating multinomials in a fixed-point number representation system. Its main advantage is that it can adapt to any evaluat...
170
click to vote
ARITH
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...
168
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
173
Voted
EGC
2005
Springer
16 years 6 days ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...
148
click to vote
ICCSA
2005
Springer
16 years 5 days ago
2005
Springer
Cryo-electron microscopy has recently been recognized as a useful alternative to obtain three-dimensional density maps of macromolecular complexes, especially when crystallography ...