4403 search results - page 15 / 881 » Galois Theory of Algorithms |
ASIAN
2007
Springer
15 years 3 months ago
2007
Springer
202
click to vote
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
IPPS
2007
IEEE
15 years 6 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...
FROCOS
2007
Springer
15 years 6 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...
CORR
1998
Springer
14 years 11 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...