3379 search results - page 489 / 676 » Powers of Two |
133
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
154
Voted
EUROCRYPT
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we study the application of the function field sieve algorithm for computing discrete logarithms over finite fields of the form Fqn when q is a medium-sized prime po...
113
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
In the past, research on Multiprocessor Systems-on-Chip (MPSoC) has focused mainly on increasing the available processing power on a chip, while less effort was put into specific s...
118
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
152
Voted
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...