Search Sciweavers | Sciweavers

15485 search results - page 222 / 3097

» Computing Optimal Subsets

140

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 10 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

156

click to vote

DAC
1997
ACM

98views Computer Architecture» more DAC 1997»

High-Level Power Modeling, Estimation, and Optimization

15 years 10 months ago

Download atrak.usc.edu

Enrico Macii, Massoud Pedram, Fabio Somenzi

claim paper

Read More »

133

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Optimization problems from feature testing of communication protocols

15 years 10 months ago

Download www.ieee-icnp.org

David Lee, Mihalis Yannakakis

claim paper

Read More »

145

click to vote

FCT
1997
Springer

87views Applied Computing» more FCT 1997»

Towards Optimal Locality in Mesh-Indexings

15 years 10 months ago

Download theinf1.informatik.uni-jena.de

Rolf Niedermeier, Klaus Reinhardt, Peter Sanders

claim paper

Read More »

143

click to vote

DAC
1996
ACM

92views Computer Architecture» more DAC 1996»

Concurrent Analysis Techniques for Data Path Timing Optimization

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers