P. A. Subrahmanyam

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