13306 search results - page 472 / 2662 » Theoretical Computer Science |
214
click to vote
STACS
2010
Springer
16 years 2 months ago
2010
Springer
We study computational problems that arise in the context of iterated dominance in anonymous games, and show that deciding whether a game can be solved by means of iterated weak d...
193
click to vote
ITICSE
2009
ACM
16 years 2 months ago
2009
ACM
Wireless networking has become a popular topic in both undergraduate and graduate courses. However, putting together good assignments in wireless networking is difficult because t...
184
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
201
click to vote
ACSC
2002
IEEE
16 years 19 days ago
2002
IEEE
We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements,...
183
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
CluVis, a prototype for visual monitoring and exploration of cluster and network metadata, is introducted. CluVis builds upon interactively added charts of cluster/network metadat...