Sciweavers

6 search results - page 1 / 2

» flops 2001

10

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

13 years 9 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

9

FLOPS
2001
Springer

79views Automated Reasoning» more FLOPS 2001»

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

13 years 9 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 »

9

FLOPS
2001
Springer

90views Automated Reasoning» more FLOPS 2001»

A Higher-Order Colon Translation

13 years 9 months ago

A Higher-Order Colon Translation

Download www.brics.dk

Olivier Danvy, Lasse R. Nielsen

claim paper

Read More »

8

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

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

13 years 9 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 »

16

ARVLSI
2001
IEEE

234views VLSI» more ARVLSI 2001»

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

13 years 8 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 »