Search Sciweavers | Sciweavers

13306 search results - page 121 / 2662

» Theoretical Computer Science

click to vote

SOFSEM
2009
Springer

77views Theoretical Computer Science» more SOFSEM 2009»

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

15 years 6 months ago

Download www.ksi.mff.cuni.cz

Thomas Chatain, Paul Gastin, Nathalie Sznajder

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 5 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 5 months ago

Download www.lix.polytechnique.fr

Xavier Allamigeon, Stephane Gaubert, Eric Goubault

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

15 years 4 months ago

Download www.sofsem.cz

Andy Schürr, Sebastian Oster, Florian Markert

claim paper

Read More »

click to vote

STACS
2009
Springer

102views Theoretical Computer Science» more STACS 2009»

Optimal Cache-Aware Suffix Selection

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers