Sciweavers

17920 search results - page 235 / 3584
» Recentering computer science
Sort
View
167
Voted
SOFSEM
2010
Springer
16 years 18 days ago
Model-Driven Software Product Line Testing: An Integrated Approach
Andy Schürr, Sebastian Oster, Florian Markert
STACS
2009
Springer
16 years 17 days ago
Testing Linear-Invariant Non-Linear Properties
Arnab Bhattacharyya, Victor Chen, Madhu Sudan, Nin...
STACS
2009
Springer
16 years 17 days ago
Optimal Cache-Aware Suffix Selection
Gianni Franceschini, Roberto Grossi, S. Muthukrish...
STACS
2009
Springer
16 years 17 days ago
Qualitative Reachability in Stochastic BPA Games
Tomás Brázdil, Václav Brozek,...
STACS
2009
Springer
16 years 17 days ago
A Polynomial Kernel for Multicut in Trees
Nicolas Bousquet, Jean Daligault, Stéphan T...