S. Purushothaman

20 papers A* 2A 2B 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2013 J jnl
Application of polynomial vector (pv) processing to improve the estimation performance of bio diesel in variable compression ratio diesel engine
CoRR
M. Suresh, Maheswar Dutta, S. Purushothaman
2002 — conf
Towards fast solid state DNA sequencing.
ISCAS (4)
S. Purushothaman, Christofer Toumazou, Julius Georgiou
1993 — ch.
5 Programming languages and systems.
Computational Statistics
S. Purushothaman, Jill Seaman
1993 J jnl
A Uniform Treatment of Order of Evalaution and Aggregate Update.
Theor. Comput. Sci.
M. Draghicescu, S. Purushothaman
1993 J jnl
Book Review: Nets, Terms and Formulas . By E.-R. Olderog. (Cambridge University Press, 1991 . x+267pp. ISBN 0-521-40044-9 . $49.95).
SIGACT News
S. Purushothaman
1993 — conf
From Operational Definitions to Abstract Semantics.
FPCA
S. Purushothaman, Jill Seaman
1993 — ed.
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992
NAPAW
S. Purushothaman, Amy E. Zwarico
1992 A conf
An Adequate Operational Semantics for Sharing in Lazy Evaluation.
ESOP
S. Purushothaman, Jill Seaman
1992 J jnl
Analysis of a Class of Communicating Finite State Machines.
Acta Informatica
Wuxu Peng, S. Purushothaman
1992 — conf
Empty Stack Pushdown Omega-Tree Automata.
CAAP
Wuxu Peng, S. Purushothaman
1991 J jnl
Data Flow Analysis of Communicating Finite State Machines.
ACM Trans. Program. Lang. Syst.
Wuxu Peng, S. Purushothaman
1990 — conf
A Compositional Analysis of Evaluation-Order and Its Application.
LISP and Functional Programming
M. Draghicescu, S. Purushothaman
1990 A* conf
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.
CAV
Wuxu Peng, S. Purushothaman
1989 A conf
Analysis of communicating processes for non-progress.
ICDCS
Wuxu Peng, S. Purushothaman
1989 J jnl
Mechanical Certification of Systolic Algorithms.
J. Autom. Reason.
S. Purushothaman, P. A. Subrahmanyam
1989 A* conf
Towards Dataflow Analysis of Communicating Finite State Machines.
PODC
Wuxu Peng, S. Purushothaman
1988 J jnl
Reasoning about Systolic Algorithms.
J. Parallel Distributed Comput.
S. Purushothaman, P. A. Subrahmanyam
1987 B conf
Reasoning About Modular Systolic Algorithms.
ICPP
S. Purushothaman
1987 J jnl
Reasoning About Probabilistic Behavior in Concurrent Systems.
IEEE Trans. Software Eng.
S. Purushothaman, P. A. Subrahmanyam
1986 — conf
On Synthesizing Systolic Arrays from Recurrence Equations with Linear Dependencies.
FSTTCS
Sanjay V. Rajopadhye, S. Purushothaman, Richard Fujimoto