Search results for "Ravi Sethi"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Debasis Mitra, Kenan E. Sahin, Ravi Sethi, Abraham Silberschatz	New directions in services management.	Bell Labs Technical Journal	2000	DBLP DOI BibTeX RDF
1	Ravi Sethi	Programming languages - concepts and constructs (2. ed.).		1996	RDF
1	Ravi Sethi, Roy H. Campbell, Sean Dorward, Anand Iyengar, Charles R. Kalmanek, Gary J. Murakami, Ce-Kuen Shieh, See-Mong Tan	Control Software for Virtual-Circuit Switches: Call Processing.	25th Anniversary of INRIA	1992	DBLP DOI BibTeX RDF
1	Ravi Sethi (eds.)	Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992	POPL	1992	DBLP BibTeX RDF
1	Gary J. Murakami, Ravi Sethi	Parallelism as a Structuring Technique: Call Processing using the Estrel Language.	IFIP Congress	1992	DBLP BibTeX RDF
1	Sean Dorward, Ravi Sethi, Jonathan E. Shopiro	Adding New Code to a Running C++ Program.	C++ Conference	1990	DBLP BibTeX RDF
1	Judith E. Grass, C. Kintala, Ravi Sethi	Object-Oriented Redesign Using C++: Experience with Parser Generators.	C++ Conference	1990	DBLP BibTeX RDF
1	Alfred V. Aho, Ravi Sethi	Maintaining Cross References in Manuscripts.	Softw., Pract. Exper.	1988	DBLP DOI BibTeX RDF
1	Ravi Sethi	Programming languages - concepts and constructs.		1988	RDF
1	Gérard Berry, Ravi Sethi	From Regular Expressions to Deterministic Automata.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
1	David B. MacQueen, Gordon D. Plotkin, Ravi Sethi	An Ideal Model for Recursive Polymorphic Types	Information and Control	1986	DBLP DOI BibTeX RDF
1	Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman	Compilers: Princiles, Techniques, and Tools.		1986	RDF
1	Ravi Sethi	Preprocessing Embedded Actions.	Softw., Pract. Exper.	1984	DBLP DOI BibTeX RDF
1	David B. MacQueen, Gordon D. Plotkin, Ravi Sethi	An Ideal Model for Recursive Polymorphic Types.	POPL	1984	DBLP DOI BibTeX RDF
1	Jean-Claude Raoult, Ravi Sethi	The Global Storage Needs of a Subcomputation.	POPL	1984	DBLP DOI BibTeX RDF
1	Ravi Sethi	Control Flow Aspects of Semantics-Directed Compiling.	ACM Trans. Program. Lang. Syst.	1983	DBLP DOI BibTeX RDF
1	Edward G. Coffman Jr., Ravi Sethi	Instruction Sets for Evaluating Arithmetic Expressions	J. ACM	1983	DBLP DOI BibTeX RDF
1	Jean-Claude Raoult, Ravi Sethi	Properties of a Notation for Combining Functions	J. ACM	1983	DBLP DOI BibTeX RDF
1	Ravi Sethi	Circular Expressions: Elimination of Static Environments.	Sci. Comput. Program.	1982	DBLP DOI BibTeX RDF
1	Ravi Sethi	Pebble Games for Studying Storage Sharing.	Theor. Comput. Sci.	1982	DBLP DOI BibTeX RDF
1	Ravi Sethi	Useless Actions Make a Difference: Strict Serializability of Database Updates.	J. ACM	1982	DBLP DOI BibTeX RDF
1	Jean-Claude Raoult, Ravi Sethi	Properties of a Notation for Combining Functions.	ICALP	1982	DBLP DOI BibTeX RDF
1	Ravi Sethi	Control Flow Aspects of Semantics Directed Compiling (Summary).	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
1	David B. MacQueen, Ravi Sethi	A Semantic Model of Types for Applicative Languages.	Symposium on LISP and Functional Programming	1982	DBLP BibTeX RDF
1	Ravi Sethi	Uniform Syntax for Type Expressions and Declarators.	Softw., Pract. Exper.	1981	DBLP DOI BibTeX RDF
1	Peter J. Downey, Benton L. Leong, Ravi Sethi	Computing Sequences with Addition Chains.	SIAM J. Comput.	1981	DBLP DOI BibTeX RDF
1	Ravi Sethi	Circular Expressions: Elimination of Static Environments.	ICALP	1981	DBLP DOI BibTeX RDF
1	Ravi Sethi	A model of concurrent database transactions (summary)	FOCS	1981	DBLP DOI BibTeX RDF
1	Ravi Sethi, Adrian Tang	Constructing Call-by-Value Continuation Semantics.	J. ACM	1980	DBLP DOI BibTeX RDF
1	Peter J. Downey, Ravi Sethi, Robert Endre Tarjan	Variations on the Common Subexpression Problem.	J. ACM	1980	DBLP DOI BibTeX RDF
1	Bhaskaram Prabhala, Ravi Sethi	Efficient Computation of Expressions with Common Subexpressions.	J. ACM	1980	DBLP DOI BibTeX RDF
1	Ravi Sethi	A Case Study in Specifying the Semantics of a Programming Language.	POPL	1980	DBLP DOI BibTeX RDF
1	Ravi Sethi, Adrian Tang	Constructing Call-by-Value Continuation Semantics.	ICALP	1979	DBLP DOI BibTeX RDF
1	Peter J. Downey, Ravi Sethi	Assignment Commands with Array References.	J. ACM	1978	DBLP DOI BibTeX RDF
1	Ravi Sethi	Conditional Expressions with Equality Tests.	J. ACM	1978	DBLP DOI BibTeX RDF
1	Bhaskaram Prabhala, Ravi Sethi	Efficient Computation of Expressions with Common Subexpressions.	POPL	1978	DBLP DOI BibTeX RDF
1	Peter J. Downey, Hanan Samet, Ravi Sethi	Off-Line and On-Line Algorithms for Deducing Equalities.	POPL	1978	DBLP DOI BibTeX RDF
1	Edward C. Horvath, Shui Lam, Ravi Sethi	A Level Algorithm for Preemptive Scheduling.	J. ACM	1977	DBLP DOI BibTeX RDF
1	Douglas Comer, Ravi Sethi	The Complexity of Trie Index Construction.	J. ACM	1977	DBLP DOI BibTeX RDF
1	Shui Lam, Ravi Sethi	Worst Case Analysis of Two Scheduling Algorithms.	SIAM J. Comput.	1977	DBLP DOI BibTeX RDF
1	Alfred V. Aho, Ravi Sethi	How Hard is Compiler Code Generation?	ICALP	1977	DBLP DOI BibTeX RDF
1	Robert M. Graham, Michael A. Harrison, Ravi Sethi (eds.)	Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977	POPL	1977	DBLP BibTeX RDF
1	Bhaskaram Prabhala, Ravi Sethi	A Comparison of Instruction Sets for Stack Machines	STOC	1977	DBLP DOI BibTeX RDF
1	Edward G. Coffman Jr., Ravi Sethi	Algorithms Minimizing Mean Flow Time: Schedule-Length Properties.	Acta Inf.	1976	DBLP DOI BibTeX RDF
1	John L. Bruno, Ravi Sethi	Code Generation for a One-Register Machine.	J. ACM	1976	DBLP DOI BibTeX RDF
1	Stephen A. Cook, Ravi Sethi	Storage Requirements for Deterministic Polynomial Time Recognizable Languages.	J. Comput. Syst. Sci.	1976	DBLP DOI BibTeX RDF
1	Peter J. Downey, Ravi Sethi	Correct Computation Rules for Recursive Languages.	SIAM J. Comput.	1976	DBLP DOI BibTeX RDF
1	Ravi Sethi	Scheduling Graphs on Two Processors.	SIAM J. Comput.	1976	DBLP DOI BibTeX RDF
1	John L. Bruno, Ravi Sethi	Task Sequencing in a Batch Environment with Setup Times.	Performance	1976	DBLP BibTeX RDF
1	Peter J. Downey, Ravi Sethi	Assignment Commands and Array Structures	FOCS	1976	DBLP DOI BibTeX RDF
1	Douglas Comer, Ravi Sethi	Complexity of Trie Index Construction (Extended Abstract)	FOCS	1976	DBLP DOI BibTeX RDF
1	Edward G. Coffman Jr., Ravi Sethi	A generalized bound on LPT sequencing.	SIGMETRICS	1976	DBLP DOI BibTeX RDF
1	Ravi Sethi	Errata: ``Testing for the Church-Rosser Property''.	J. ACM	1975	DBLP DOI BibTeX RDF
1	Ravi Sethi	Complete Register Allocation Problems.	SIAM J. Comput.	1975	DBLP DOI BibTeX RDF
1	Shui Lam, Ravi Sethi	Analysis of a Level Algorithm for Preemptive Scheduling.	SOSP	1975	DBLP BibTeX RDF
1	Peter J. Downey, Ravi Sethi	Correct Computation Rules for Recursive Languages (Extended Abstract)	FOCS	1975	DBLP DOI BibTeX RDF
1	John L. Bruno, Edward G. Coffman Jr., Ravi Sethi	Scheduling Independent Tasks to Reduce Mean Finishing Time.	Commun. ACM	1974	DBLP DOI BibTeX RDF
1	Ravi Sethi	Testing for the Church-Rosser Property.	J. ACM	1974	DBLP DOI BibTeX RDF
1	John L. Bruno, Edward G. Coffman Jr., Ravi Sethi	Algorithms for Minimizing Mean Flow Time.	IFIP Congress	1974	DBLP BibTeX RDF
1	Stephen A. Cook, Ravi Sethi	Storage Requirements for Deterministic Polynomial Time Recognizable Languages	STOC	1974	DBLP DOI BibTeX RDF
1	Ravi Sethi	A Note on Implementing Parallel Assignment Instructions.	Inf. Process. Lett.	1973	DBLP DOI BibTeX RDF
1	John L. Bruno, Edward G. Coffman Jr., Ravi Sethi	Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract).	SOSP	1973	DBLP BibTeX RDF
1	Ravi Sethi	Complete Register Allocation Problems	STOC	1973	DBLP DOI BibTeX RDF
1	Ravi Sethi	Validating Register Allocations for Straight Line Programs	STOC	1972	DBLP DOI BibTeX RDF
1	Ravi Sethi, Jeffrey D. Ullman	The Generation of Optimal Code for Arithmetic Expressions.	J. ACM	1970	DBLP DOI BibTeX RDF

Publications of "Ravi Sethi" ( http://dblp.L3S.de/Authors/Ravi_Sethi )