Skip to search formSkip to main contentSkip to account menu>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2019

2019

We have designed and tested a parallel 8-bit ERSFQ arithmetic logic unit (ALU). The ALU design employs wave-pipelined instruction…

Highly Cited

2018

Highly Cited

2018

Neural networks can learn to represent and manipulate numerical information, but they seldom generalize well outside of the range…

Highly Cited

2016

Highly Cited

2016

State-of-the-art deep neural networks (DNNs) have hundreds of millions of connections and are both computationally and memory…

Highly Cited

2011

Highly Cited

2011

A function is reversible if each input vector produces a unique output vector. Reversible logic is of growing importance to many…

Highly Cited

2001

Highly Cited

2001

This paper examines a set of commercially representative embedded programs and compares them to an existing benchmark suite…

Highly Cited

2000

Highly Cited

2000

Processor architectures with tens to hundreds of arithmetic units are emerging to handle media processing applications. These…

Highly Cited

1999

Highly Cited

1999

Highly Cited

1994

Highly Cited

1994

We describe a method for using abstraction to reduce the complexity of temporal-logic model checking. Using techniques similar to…

Highly Cited

1992

Highly Cited

1992

We describe a method for using abstraction to reduce the complexity of temporal logic model checking. The basis of this method is…

Highly Cited

1991

Highly Cited

1991

From the Publisher:
What is the most accurate way to sum floating point numbers? What are the advantages of IEEE arithmetic? How…