5995 search results - page 222 / 1199 » Algorithmic Game Theory |
127
click to vote
ISSAC
1998
Springer
15 years 9 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
181
click to vote
FM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
122
click to vote
WDAG
2001
Springer
15 years 9 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
126
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
132
click to vote
ICISC
2004
15 years 6 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr