Search Sciweavers | Sciweavers

10392 search results - page 447 / 2079

» Introduction to Computer Science

145

click to vote

MFCS
2010
Springer

125views Theoretical Computer Science» more MFCS 2010»

Scheduling Real-Time Mixed-Criticality Jobs

15 years 6 months ago

Download www.cs.unc.edu

Sanjoy K. Baruah, Vincenzo Bonifaci, Gianlorenzo D...

claim paper

Read More »

212

click to vote

MFCS
2010
Springer

152views Theoretical Computer Science» more MFCS 2010»

Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets

15 years 6 months ago

Download www.lsv.ens-cachan.fr

We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.

Philippe Schnoebelen

claim paper

Read More »

175

click to vote

WG
2010
Springer

144views Theoretical Computer Science» more WG 2010»

On the Boolean-Width of a Graph: Structure and Applications

15 years 5 months ago

Download www.ii.uib.no

Isolde Adler, Binh-Minh Bui-Xuan, Yuri Rabinovich,...

claim paper

Read More »

178

click to vote

FOCS
2010
IEEE

142views Theoretical Computer Science» more FOCS 2010»

Bounded Independence Fools Degree-2 Threshold Functions

15 years 5 months ago

Download www.math.harvard.edu

For an n-variate degree

Ilias Diakonikolas, Daniel M. Kane, Jelani Nelson

claim paper

Read More »

195

click to vote

IFIPTCS
2010

130views Theoretical Computer Science» more IFIPTCS 2010»

Initial Segment Complexities of Randomness Notions

15 years 5 months ago

Download hoelzl.fr

Schnorr famously proved that Martin-L

Rupert Hölzl, Thorsten Kräling, Frank St...

claim paper

Read More »

« Prev « First page 447 / 2079 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers