S. Purushothaman

20 papers A* 2A 2B 1Journal 8Unranked 5

Year	Rank	Type	Title / 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