4403 search results - page 15 / 881 » Galois Theory of Algorithms |
231
click to vote
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Irregular applications, which rely on pointer-based data structures, are often difficult to parallelize. The inputdependent nature of their execution means that traditional paral...
117
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
115
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...