P. A. Subrahmanyam

According to our database, P. A. Subrahmanyam authored at least 38 papers between 1978 and 2005.

Collaborative distances:

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

2005

Guest Editors' Introduction: Advances in Configurable Computing.

Patrick Lysaght, P. A. Subrahmanyam

IEEE Des. Test Comput., 2005

1998

Hardware/software partitioning for multifunction systems.

Asawaree Kalavade, P. A. Subrahmanyam

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

1997

T2: HW-SW Codesign.

P. A. Subrahmanyam, R. Gupta, B. S. Rao

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

Hardware/software partitioning for multi-function systems.

Asawaree Kalavade, P. A. Subrahmanyam

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

Design technologies for embedded multimedia systems.

P. A. Subrahmanyam, Bryan D. Ackland

Proceedings of the Advanced IT Tools, 1996

1995

Comparing layouts with HDL models: a formal verification technique.

Timothy Kam, P. A. Subrahmanyam

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995

Quality Assurance in Scripting.

P. A. Subrahmanyam, K. J. Singh, Guy A. Story, William M. Schell

IEEE Multim., 1995

Extracting RTL models from transistor netlists.

K. J. Singh, P. A. Subrahmanyam

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

1993

Hazard-Free Asynchronous Circuit Synthesis.

Meng-Lin Yu, P. A. Subrahmanyam

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment.

P. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Towards Verifying Large(r) Systems: A Strategy and an Experiment.

P. A. Subrahmanyam

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks.

P. A. Subrahmanyam

Proceedings of the Fifth International Conference on VLSI Design, 1992

State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis.

Timothy Kam, P. A. Subrahmanyam

Proceedings of the conference on European design automation, 1992

A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs.

Meng-Lin Yu, P. A. Subrahmanyam

Proceedings of the 29th Design Automation Conference, 1992

1989

Mechanical Certification of Systolic Algorithms.

S. Purushothaman, P. A. Subrahmanyam

J. Autom. Reason., 1989

What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components.

P. A. Subrahmanyam

Proceedings of the Hardware Specification, 1989

On the Completeness of Narrowing for E-Unification.

Jia-Huai You, P. A. Subrahmanyam

Proceedings of the Knowledge Based Computer Systems, 1989

Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components.

P. A. Subrahmanyam

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

A Note on Clustering Modules for Floorplanning.

John D. Gabbe, P. A. Subrahmanyam

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988

Reasoning about Systolic Algorithms.

S. Purushothaman, P. A. Subrahmanyam

J. Parallel Distributed Comput., 1988

1987

Reasoning About Probabilistic Behavior in Concurrent Systems.

S. Purushothaman, P. A. Subrahmanyam

IEEE Trans. Software Eng., 1987

An object-based representation for the evolution of VLSI designs.

John D. Gabbe, P. A. Subrahmanyam

Artif. Intell. Eng., 1987

LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques.

P. A. Subrahmanyam

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

1986

A Class of Confluent Term Rewriting Systems and Unification.

Jia-Huai You, P. A. Subrahmanyam

J. Autom. Reason., 1986

Synapse: An Expert System for VLSI Design.

P. A. Subrahmanyam

Computer, 1986

Boolean Operations on n-Dimensional Objects.

L. K. Putnam, P. A. Subrahmanyam

IEEE Computer Graphics and Applications, 1986

Equational Logic Programming: An Extension to Equational Programming.

Jia-Huai You, P. A. Subrahmanyam

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.

Jia-Huai You, P. A. Subrahmanyam

Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986

FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming.

P. A. Subrahmanyam, Jia-Huai You

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

The "Software Engineering'' of Expert Systems: Is Prolog Appropriate?

P. A. Subrahmanyam

IEEE Trans. Software Eng., 1985

Formal semantics for a symbolic IC design technique: Examples and applications.

Sanjay V. Rajopadhye, P. A. Subrahmanyam

Integr., 1985

1984

On Embedding Functions in Logic.

P. A. Subrahmanyam, Jia-Huai You

Inf. Process. Lett., 1984

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.

P. A. Subrahmanyam, Jia-Huai You

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.

P. A. Subrahmanyam, Jia-Huai You

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1981

Nondeterminism in Abstract Data Types.

P. A. Subrahmanyam

Proceedings of the Automata, 1981

1980

A Basis for a Theory of Program Synthesis.

P. A. Subrahmanyam

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1978

On a finite axiomatization of the data type L.

P. A. Subrahmanyam

ACM SIGPLAN Notices, 1978

Review of "Linguistic Structures Processing" by A. Zampolli. North Holland Publishing Company 1977.

P. A. Subrahmanyam

SIGACT News, 1978