10870 search results - page 1809 / 2174 » Model Checking Programs |
181
click to vote
FPL
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a design and optimization technique for the Multiple Restricted Multiplication problem [1]. This refers to a situation where a single variable is multiplied by...
146
Voted
HPCC
2005
Springer
16 years 9 days ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
146
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
159
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...
149
Voted
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...