| 2005 |
|---|
| 32 | EE | Patrick Lysaght,
P. A. Subrahmanyam:
Guest Editors' Introduction: Advances in Configurable Computing.
IEEE Design & Test of Computers 22(2): 85-89 (2005) |
| 1998 |
|---|
| 31 | EE | Asawaree Kalavade,
P. A. Subrahmanyam:
Hardware/software partitioning for multifunction systems.
IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 819-837 (1998) |
| 1997 |
|---|
| 30 | EE | Asawaree Kalavade,
P. A. Subrahmanyam:
Hardware/software partitioning for multi-function systems.
ICCAD 1997: 516-521 |
| 29 | EE | P. A. Subrahmanyam,
R. Gupta,
B. S. Rao:
T2: HW-SW Codesign.
VLSI Design 1997: 2- |
| 1996 |
|---|
| 28 | | P. A. Subrahmanyam,
Bryan D. Ackland:
Design technologies for embedded multimedia systems.
IFIP World Conference on IT Tools 1996: 265-274 |
| 1995 |
|---|
| 27 | EE | K. J. Singh,
P. A. Subrahmanyam:
Extracting RTL models from transistor netlists.
ICCAD 1995: 11-17 |
| 26 | EE | P. A. Subrahmanyam,
K. J. Singh,
Guy A. Story,
William Schell:
Quality Assurance in Scripting.
IEEE MultiMedia 2(2): 50-59 (1995) |
| 25 | EE | Timothy Kam,
P. A. Subrahmanyam:
Comparing layouts with HDL models: a formal verification technique.
IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 503-509 (1995) |
| 1993 |
|---|
| 24 | | Meng-Lin Yu,
P. A. Subrahmanyam:
Hazard-Free Asynchronous Circuit Synthesis.
Asynchronous Design Methodologies 1993: 87-105 |
| 23 | | P. A. Subrahmanyam:
Towards Verifying Large(r) Systems: A Strategy and an Experiment.
CHARME 1993: 135-154 |
| 22 | | P. A. Subrahmanyam,
Josep M. Espinalt,
Meng-Lin Yu:
Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment.
ICCD 1993: 235-241 |
| 1992 |
|---|
| 21 | EE | Meng-Lin Yu,
P. A. Subrahmanyam:
A Path-Oriented Approach for Reducing Hazards in Asynchronous Designs.
DAC 1992: 239-244 |
| 20 | | Timothy Kam,
P. A. Subrahmanyam:
Comparing Layouts with HDL Models: A Formal Verification Technique.
ICCD 1992: 588-591 |
| 1989 |
|---|
| 19 | EE | John D. Gabbe,
P. A. Subrahmanyam:
A Note on Clustering Modules for Floorplanning.
DAC 1989: 594-597 |
| 18 | | 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: 202-223 |
| 17 | | Jia-Huai You,
P. A. Subrahmanyam:
On the Completeness of Narrowing for E-Unification.
KBCS 1989: 296-305 |
| 16 | | S. Purushothaman,
P. A. Subrahmanyam:
Mechanical Certification of Systolic Algorithms.
J. Autom. Reasoning 5(1): 67-91 (1989) |
| 1988 |
|---|
| 15 | | S. Purushothaman,
P. A. Subrahmanyam:
Reasoning about Systolic Algorithms.
J. Parallel Distrib. Comput. 5(6): 669-699 (1988) |
| 1987 |
|---|
| 14 | EE | P. A. Subrahmanyam:
LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques.
DAC 1987: 459-465 |
| 13 | EE | John D. Gabbe,
P. A. Subrahmanyam:
An object-based representation for the evolution of VLSI designs.
AI in Engineering 2(4): 204-223 (1987) |
| 12 | | S. Purushothaman,
P. A. Subrahmanyam:
Reasoning About Probabilistic Behavior in Concurrent Systems.
IEEE Trans. Software Eng. 13(6): 740-745 (1987) |
| 1986 |
|---|
| 11 | | Jia-Huai You,
P. A. Subrahmanyam:
E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.
ICALP 1986: 454-463 |
| 10 | | Jia-Huai You,
P. A. Subrahmanyam:
Equational Logic Programming: An Extension to Equational Programming.
POPL 1986: 209-218 |
| 9 | | P. A. Subrahmanyam,
Jia-Huai You:
FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming.
Logic Programming: Functions, Relations, and Equations 1986: 157-198 |
| 8 | | P. A. Subrahmanyam:
Synapse: An Expert System for VLSI Design.
IEEE Computer 19(7): 78-89 (1986) |
| 7 | | Jia-Huai You,
P. A. Subrahmanyam:
A Class of Confluent Term Rewriting Systems and Unification.
J. Autom. Reasoning 2(4): 391-418 (1986) |
| 1985 |
|---|
| 6 | | P. A. Subrahmanyam:
The ``Software Engineering'' of Expert Systems: Is Prolog Appropriate?
IEEE Trans. Software Eng. 11(11): 1391-1400 (1985) |
| 1984 |
|---|
| 5 | | P. A. Subrahmanyam,
Jia-Huai You:
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.
POPL 1984: 228-234 |
| 4 | | P. A. Subrahmanyam,
Jia-Huai You:
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming.
SLP 1984: 144-153 |
| 3 | | P. A. Subrahmanyam,
Jia-Huai You:
On Embedding Functions in Logic.
Inf. Process. Lett. 19(1): 41-46 (1984) |
| 1981 |
|---|
| 2 | | P. A. Subrahmanyam:
Nondeterminism in Abstract Data Types.
ICALP 1981: 148-164 |
| 1980 |
|---|
| 1 | | P. A. Subrahmanyam:
A Basis for a Theory of Program Synthesis.
AAAI 1980: 74-76 |
