P. A. Subrahmanyam

Publication Activity (10 Years)

Years Active: 1978-2005
Publications (10 Years): 0

Publications

Patrick Lysaght, P. A. Subrahmanyam
Guest Editors' Introduction: Advances in Configurable Computing. IEEE Des. Test Comput. 22 (2) (2005)
Asawaree Kalavade, P. A. Subrahmanyam
Hardware/software partitioning for multifunction systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (9) (1998)
Asawaree Kalavade, P. A. Subrahmanyam
Hardware/software partitioning for multi-function systems. ICCAD (1997)
P. A. Subrahmanyam, R. Gupta, B. S. Rao
T2: HW-SW Codesign. VLSI Design (1997)
P. A. Subrahmanyam, Bryan D. Ackland
Design technologies for embedded multimedia systems. IFIP World Conference on IT Tools (1996)
K. J. Singh, P. A. Subrahmanyam
Extracting RTL models from transistor netlists. ICCAD (1995)
P. A. Subrahmanyam, K. J. Singh, Guy A. Story, William M. Schell
Quality Assurance in Scripting. IEEE Multim. 2 (2) (1995)
Timothy Kam, P. A. Subrahmanyam
Comparing layouts with HDL models: a formal verification technique. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14 (4) (1995)
P. A. Subrahmanyam
Towards Verifying Large(r) Systems: A Strategy and an Experiment. CHARME (1993)
Meng-Lin Yu, P. A. Subrahmanyam
Hazard-Free Asynchronous Circuit Synthesis. Asynchronous Design Methodologies (1993)
P. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu
Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment. ICCD (1993)
Timothy Kam, P. A. Subrahmanyam
State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis. EURO-DAC (1992)
P. A. Subrahmanyam
A Verification Guide for the Perplexed Designer: Matching Verification Techniques and Design Tasks. VLSI Design (1992)
Timothy Kam, P. A. Subrahmanyam
Comparing Layouts with HDL Models: A Formal Verification Technique. ICCD (1992)
Meng-Lin Yu, P. A. Subrahmanyam
A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs. DAC (1992)
P. A. Subrahmanyam
Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components. ICCD (1989)
Jia-Huai You, P. A. Subrahmanyam
On the Completeness of Narrowing for E-Unification. KBCS (1989)
P. A. Subrahmanyam
What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components. Hardware Specification, Verification and Synthesis (1989)
John D. Gabbe, P. A. Subrahmanyam
A Note on Clustering Modules for Floorplanning. DAC (1989)
S. Purushothaman, P. A. Subrahmanyam
Mechanical Certification of Systolic Algorithms. J. Autom. Reason. 5 (1) (1989)
S. Purushothaman, P. A. Subrahmanyam
Reasoning about Systolic Algorithms. J. Parallel Distributed Comput. 5 (6) (1988)
John D. Gabbe, P. A. Subrahmanyam
An object-based representation for the evolution of VLSI designs. Artif. Intell. Eng. 2 (4) (1987)
P. A. Subrahmanyam
LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. DAC (1987)
S. Purushothaman, P. A. Subrahmanyam
Reasoning About Probabilistic Behavior in Concurrent Systems. IEEE Trans. Software Eng. 13 (6) (1987)
P. A. Subrahmanyam
Synapse: An Expert System for VLSI Design. Computer 19 (7) (1986)
Jia-Huai You, P. A. Subrahmanyam
Equational Logic Programming: An Extension to Equational Programming. POPL (1986)
L. K. Putnam, P. A. Subrahmanyam
Boolean Operations on n-Dimensional Objects. IEEE Computer Graphics and Applications 6 (6) (1986)
Jia-Huai You, P. A. Subrahmanyam
E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. ICALP (1986)
Jia-Huai You, P. A. Subrahmanyam
A Class of Confluent Term Rewriting Systems and Unification. J. Autom. Reason. 2 (4) (1986)
Sanjay V. Rajopadhye, P. A. Subrahmanyam
Formal semantics for a symbolic IC design technique: Examples and applications. Integr. 3 (1) (1985)
P. A. Subrahmanyam
The "Software Engineering'' of Expert Systems: Is Prolog Appropriate? IEEE Trans. Software Eng. 11 (11) (1985)
P. A. Subrahmanyam, Jia-Huai You
On Embedding Functions in Logic. Inf. Process. Lett. 19 (1) (1984)
P. A. Subrahmanyam, Jia-Huai You
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. POPL (1984)
P. A. Subrahmanyam, Jia-Huai You
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. SLP (1984)
P. A. Subrahmanyam
Nondeterminism in Abstract Data Types. ICALP (1981)
P. A. Subrahmanyam
A Basis for a Theory of Program Synthesis. AAAI (1980)
P. A. Subrahmanyam
Review of "Linguistic Structures Processing" by A. Zampolli. North Holland Publishing Company 1977. SIGACT News 10 (2) (1978)
P. A. Subrahmanyam
On a finite axiomatization of the data type L. ACM SIGPLAN Notices 13 (4) (1978)