5964 search results - page 306 / 1193 » A theory of speculative computation |
191
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...
227
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
225
click to vote
GECCO
2005
Springer
16 years 29 days ago
2005
Springer
Many non-cooperative settings that could potentially be studied using game theory are characterized by having very large strategy spaces and payoffs that are costly to compute. Be...
153
Voted
SOFSEM
2009
Springer
16 years 4 months ago
2009
Springer
Informationen zum TheorieTag und Abstracts zu den Beitr¨agen finden Sie unter http://www.uni-ulm.de/in/theo/tt56.html.
166
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Strategies are developed for “fattening” the tasks of computation-dags so as to accommodate the heterogeneity of remote clients in Internet-based computing (IC). Earlier work ...