Search Sciweavers | Sciweavers

2976 search results - page 109 / 596

» On the bounded integer programming

click to vote

CODES
2000
IEEE

86views Software Engineering» more CODES 2000»

Program path analysis to bound cache-related preemption delay in preemptive real-time systems

15 years 7 months ago

Download www.cs.york.ac.uk

ÍÒÔÖ Ø Ð Ú ÓÖ Ó Ñ ÑÓÖÝ Ñ × Ø Æ ÙÐØ ØÓ ×Ø Ø ÐÐÝ Ò ÐÝÞ Ø ÛÓÖ×Ø¹ × Ô Ö ÓÖÑ Ò Ó Ö Ð¹Ø Ñ ×Ý×Ø Ñ×º Ì × ÔÖÓ Ð Ñ × Ü ...

Hiroyuki Tomiyama, Nikil D. Dutt

claim paper

Read More »

click to vote

FOCS
1999
IEEE

74views Theoretical Computer Science» more FOCS 1999»

A Non-linear Time Lower Bound for Boolean Branching Programs

15 years 7 months ago

Download cs.anu.edu.au

Miklós Ajtai

claim paper

Read More »

click to vote

STOC
1996
ACM

83views Algorithms» more STOC 1996»

Extremal Bipartite Graphs and Superpolynomial Lower Bounds for Monotone Span Programs

15 years 7 months ago

Download www.inf.ethz.ch

László Babai, Anna Gál, J&aac...

claim paper

Read More »

Voted

FOCS
1995
IEEE

84views Theoretical Computer Science» more FOCS 1995»

Lower Bounds for Monotone Span Programs

15 years 6 months ago

Download people.cs.uchicago.edu

Amos Beimel, Anna Gál, Mike Paterson

claim paper

Read More »

102

click to vote

AMAI
2007
Springer

95views Artificial Intelligence» more AMAI 2007»

Complexity results for answer set programming with bounded predicate arities and implications

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers