Search Sciweavers | Sciweavers

4401 search results - page 71 / 881

» Computing with Default Logic

click to vote

ARVLSI
1999
IEEE

151views VLSI» more ARVLSI 1999»

Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing

15 years 2 months ago

Download www.ai.mit.edu

Nestoras Tzartzanis, William C. Athas

claim paper

Read More »

click to vote

GLVLSI
1996
IEEE

126views VLSI» more GLVLSI 1996»

An Accurate Interconnection Length Estimation for Computer Logic

15 years 2 months ago

Download escher.elis.ugent.be

Important layout properties of electronic designs include space requirements and interconnection lengths. A reliable interconnection length estimation is essential for improving p...

Dirk Stroobandt, Herwig Van Marck, Jan Van Campenh...

claim paper

Read More »

click to vote

ISCAS
1994
IEEE

67views Hardware» more ISCAS 1994»

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams

15 years 2 months ago

Download www.cs.cmu.edu

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. C...

claim paper

Read More »

click to vote

IMPERIAL
1993

79views Formal Methods» more IMPERIAL 1993»

Geometric Logic in Computer Science

15 years 2 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers