Sciweavers

11016 search results - page 364 / 2204
» Cloud Computing for Science
Sort
View
MFCS
2010
Springer
15 years 5 months ago
On the Topological Complexity of MSO+U and Related Automata Models
Szczepan Hummel, Michal Skrzypczak, Szymon Toruncz...
SPIN
2010
Springer
15 years 5 months ago
Symbolic Object Code Analysis
Jan Tobias Mühlberg, Gerald Lüttgen
105
Voted
TCS
2010
15 years 5 months ago
On-demand strategy annotations revisited: An improved on-demand evaluation strategy
María Alpuente, Santiago Escobar, Bernhard ...
98
Voted
TCS
2010
15 years 5 months ago
Size versus stability in the marriage problem
Péter Biró, David Manlove, Shubham M...