8828 search results - page 174 / 1766 » Formal methods in practice |
137
click to vote
EUROCRYPT
1999
Springer
15 years 9 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
149
click to vote
ASWEC
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
146
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
BitTorrent and Practical Network Coding are efficient methods for sharing files in a peer-to-peer network. Both face the problem to distribute a given file using peers with dif...
133
Voted
ACHI
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents an approach to analyze and re-design evaluation methods. The domain explored in this paper is evaluation methods for evaluating fun and entertainment. However,...
127
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...