Search Sciweavers | Sciweavers

8 search results - page 1 / 2

» flops 1999

click to vote

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

14 years 3 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

click to vote

FLOPS
1999
Springer

104views Automated Reasoning» more FLOPS 1999»

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

14 years 3 months ago

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

62views VLSI» more GLVLSI 1999»

A Multiple-Input Single-Phase Clock Flip-Flop Family

14 years 3 months ago

Download www.cecs.uci.edu

Richard F. Hobson, Allan R. Dyck

claim paper

Read More »

click to vote

GLVLSI
1999
IEEE

96views VLSI» more GLVLSI 1999»

A Novel High-Speed Flip-Flop Circuit Using RTDs and HEMTs

14 years 3 months ago

Download www.cs.york.ac.uk

Hideaki Matsuzaki, Toshihiro Itoh, Masafumi Yamamo...

claim paper

Read More »

click to vote

GECCO
1999
Springer

241views Optimization» more GECCO 1999»

Building a Parallel Computer System for $18, 000 that Performs a Half Peta-Flop per Day

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers