Sciweavers

6120 search results - page 44 / 1224

» The Power of Linear Functions

122

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

15 years 8 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

136

Voted

DAC
2008
ACM

121views Computer Architecture» more DAC 2008»

Functionally linear decomposition and synthesis of logic circuits for FPGAs

15 years 6 months ago

Functionally linear decomposition and synthesis of logic circuits for FPGAs

Download www.eecg.utoronto.ca

Tomasz S. Czajkowski, Stephen Dean Brown

claim paper

Read More »

95

BIRTHDAY
2010
Springer

118views Applied Computing» more BIRTHDAY 2010»

Definability of Combinatorial Functions and Their Linear Recurrence Relations

15 years 6 months ago

Definability of Combinatorial Functions and Their Linear Recurrence Relations

Download www.cs.technion.ac.il

Tomer Kotek, Johann A. Makowsky

claim paper

Read More »

59

CORR
2010
Springer

58views Education» more CORR 2010»

Efficient Submodular Function Maximization under Linear Packing Constraints

15 years 5 months ago

Efficient Submodular Function Maximization under Linear Packing Constraints

Download www.cs.tau.ac.il

Yossi Azar, Iftah Gamzu

claim paper

Read More »

59

CORR
2007
Springer

84views Education» more CORR 2007»

Linear versus Non-linear Acquisition of Step-Functions

15 years 5 months ago

Linear versus Non-linear Acquisition of Step-Functions

Download www.wisdom.weizmann.ac.il

We address in this paper the following two closely related problems:

Boris Ettinger, Niv Sarig, Yosef Yomdin

claim paper

Read More »

« Prev « First page 44 / 1224 Last » Next »