Search Sciweavers | Sciweavers

16 search results - page 1 / 4

» memics 2010

108

click to vote

MEMICS
2010

95views Theoretical Computer Science» more MEMICS 2010»

Process Algebra for Modal Transition Systemses

14 years 10 months ago

Download www.fi.muni.cz

Nikola Benes, Jan Kretínský

claim paper

Read More »

click to vote

MEMICS
2010

109views Theoretical Computer Science» more MEMICS 2010»

Integer Programming for Media Streams Planning Problem

14 years 10 months ago

Download www.memics.cz

Pavel Troubil, Hana Rudová

claim paper

Read More »

144

Voted

MEMICS
2010

123views Theoretical Computer Science» more MEMICS 2010»

Compression of Vector Field Changing in Time

14 years 10 months ago

Download drops.dagstuhl.de

Tomas Golembiovsky, Ales Krenek

claim paper

Read More »

151

click to vote

MEMICS
2010

106views Theoretical Computer Science» more MEMICS 2010»

CUDA Accelerated LTL Model Checking - Revisited

14 years 10 months ago

Download www.memics.cz

Petr Bauch, Milan Ceska

claim paper

Read More »

177

click to vote

MEMICS
2010

232views Theoretical Computer Science» more MEMICS 2010»

Automatic C Compiler Generation from Architecture Description Language ISAC

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers