Sciweavers

6 search results - page 1 / 2

» flops 2001

30

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

14 years 3 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

28

FLOPS
2001
Springer

79views Automated Reasoning» more FLOPS 2001»

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

14 years 3 months ago

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

Download www.brics.dk

Olivier Danvy, Morten Rhiger

claim paper

Read More »

34

FLOPS
2001
Springer

90views Automated Reasoning» more FLOPS 2001»

A Higher-Order Colon Translation

14 years 3 months ago

A Higher-Order Colon Translation

Download www.brics.dk

Olivier Danvy, Lasse R. Nielsen

claim paper

Read More »

24

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

14 years 3 months ago

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

34

ARVLSI
2001
IEEE

234views VLSI» more ARVLSI 2001»

Activity-Sensitive Flip-Flop and Latch Selection for Reduced Energy

14 years 2 months ago

Activity-Sensitive Flip-Flop and Latch Selection for Reduced Energy

Download groups.csail.mit.edu

Seongmoo Heo, Ronny Krashinsky, Krste Asanovic

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »