4403 search results - page 15 / 881 » Galois Theory of Algorithms |
331
click to vote
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
133
click to vote
IPPS
2007
IEEE
16 years 26 days 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...
182
Voted
FROCOS
2007
Springer
16 years 22 days 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...
181
click to vote
CORR
1998
Springer
15 years 6 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...