Paul Loewenstein

According to our database, Paul Loewenstein authored at least 17 papers between 1982 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

OmniXtend: Direct to Caches Over Commodity Fabric.

Marjan Radi, Wesley W. Terpstra, Paul Loewenstein, Dejan Vucinic

Proceedings of the 2019 IEEE Symposium on High-Performance Interconnects, 2019

2016

SPARC M7: A 20 nm 32-Core 64 MB L3 Cache Processor.

Georgios K. Konstadinidis, Hongping Penny Li, Francis Schumacher, Venkatram Krishnaswamy, Hoyeol Cho, Sudesna Dash, Robert P. Masleid, Chaoyang Zheng, Yuanjung David Lin, Paul Loewenstein, Heechoul Park, Vijay Srinivasan, Dawei Huang, Changku Hwang, Wenjay Hsu, Curtis McAllister, Jeffrey Brooks, Ha Pham, Sebastian Turullols, Yifan YangGong, Robert T. Golla, Alan P. Smith, Ali Vahidsafa

IEEE J. Solid State Circuits, 2016

2015

M7: Oracle's Next-Generation Sparc Processor.

Kathirgamar Aingaran, Sumti Jairath, Georgios K. Konstadinidis, Serena Leung, Paul Loewenstein, Curtis McAllister, Stephen Phillips, Zoran Radovic, Ram Sivaramakrishnan, David Smentek, Thomas Wicki

IEEE Micro, 2015

4.2 A 20nm 32-Core 64MB L3 cache SPARC M7 processor.

Penny Li, Jinuk Luke Shin, Georgios K. Konstadinidis, Francis Schumacher, Venkatram Krishnaswamy, Hoyeol Cho, Sudesna Dash, Robert P. Masleid, Chaoyang Zheng, Yuanjung David Lin, Paul Loewenstein, Heechoul Park, Vijay Srinivasan, Dawei Huang, Changku Hwang, Wenjay Hsu, Curtis McAllister

Proceedings of the 2015 IEEE International Solid-State Circuits Conference, 2015

2013

The Oracle Sparc T5 16-Core Processor Scales to Eight Sockets.

John R. Feehrer, Sumti Jairath, Paul Loewenstein, Ram Sivaramakrishnan, David Smentek, Sebastian Turullols, Ali Vahidsafa

IEEE Micro, 2013

1995

Formal Verification of Counterflow Pipeline Architecture.

Paul Loewenstein

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

System Design Methodology of UltraSPARC-I.

Lawrence Yang, David Gao, Jamshid Mostoufi, Raju Joshi, Paul Loewenstein

Proceedings of the 32st Conference on Design Automation, 1995

1993

A Formal Theory of Simulations between Infinite Automata.

Paul Loewenstein

Formal Methods Syst. Des., 1993

1992

Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic.

Paul Loewenstein

Formal Methods Syst. Des., 1992

1991

Learning to use HOL.

Paul Loewenstein

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990

Formal verification of cache systems using refinement relations.

Paul Loewenstein, David L. Dill

Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990

Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic.

Paul Loewenstein, David L. Dill

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Reasoning about State Machines in Higher-Order Logic.

Paul Loewenstein

Proceedings of the Hardware Specification, 1989

Formal verification of state-machines using higher-order logic.

Paul Loewenstein

Proceedings of the Computer Design: VLSI in Computers and Processors, 1989

1988

Closing the semantic gap.

Paul Loewenstein, Andrew Fox

Microprocess. Microprogramming, 1988

1983

Architecture and instruction set of a programmable LSI digital filter.

S. N. Terepin, Paul Loewenstein

Proceedings of the IEEE International Conference on Acoustics, 1983

1982

Digital pulse frequency demodulation using state-space filtering.

Paul Loewenstein

Proceedings of the IEEE International Conference on Acoustics, 1982