Search Sciweavers | Sciweavers

10271 search results - page 178 / 2055

» Computer Science

105

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

15 years 11 months ago

Download www.ksi.mff.cuni.cz

Frédéric Vogels, Bart Jacobs 0002, F...

claim paper

Read More »

click to vote

STACS
2010
Springer

139views Theoretical Computer Science» more STACS 2010»

Sponsored Search, Market Equilibria, and the Hungarian Method

15 years 9 months ago

Download www.illc.uva.nl

Paul Dütting, Monika Henzinger, Ingmar Weber

claim paper

Read More »

click to vote

STACS
2010
Springer

147views Theoretical Computer Science» more STACS 2010»

The Tropical Double Description Method

15 years 9 months ago

Download www.lix.polytechnique.fr

Xavier Allamigeon, Stephane Gaubert, Eric Goubault

claim paper

Read More »

133

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

15 years 9 months ago

Download www.sofsem.cz

Andy Schürr, Sebastian Oster, Florian Markert

claim paper

Read More »

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Testing Linear-Invariant Non-Linear Properties

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers