Sciweavers

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