Information Processing Letters, Volume 19

Volume 19, Number 1, 26 July 1984

Hari Madduri, Raphael A. Finkel: Extension of the Banker's Algorithm for Resource Allocation in a Distributed Operating System. 1-8 BibTeX
Michio Oyamaguchi: Some Remarks on Subclass Containment Problems for Several Classes of DPDA's. 9-12 BibTeX
Nam Sung Woo, Carl H. Smith, Ashok K. Agrawala: A Proof of the Determinacy Property of the Data Flow Schema. 13-16 BibTeX
J. R. Parker: On Converting Character Strings to Integers. 17-19 BibTeX
Ulrich Bechtold, Klaus Küspert: On the Use of Extendible Hashing Without Hashing. 21-26 BibTeX
Ulrich Faigle, Rainer Schrader: Minimizing Completion Time for a Class of Scheduling Problems. 27-29 BibTeX
Walter J. Savitch, Paul M. B. Vitányi: On the Power of Real-Time Two-Way Multihead Finite Automata With Jumps. 31-35 BibTeX
Alan A. Bertossi: Dominating Sets for Split and Bipartite Graphs. 37-40 BibTeX
P. A. Subrahmanyam, Jia-Huai You: On Embedding Functions in Logic. 41-46 BibTeX
Selim G. Akl: An Optimal Algorithm for Parallel Selection. 47-50 BibTeX
Udi Manber: A Probabilistic Lower Bound for Checking Disjointness of Sets. 51-53 BibTeX
Paul G. Spirakis, Chee-Keng Yap: Strong NP-Hardness of Moving Many Discs. 55-59 BibTeX

Helmut Alt, Kurt Mehlhorn, J. Ian Munro: Partial Match Retrieval in Implicit Data Structures. 61-65 BibTeX
Alain J. Martin, Martin Rem: A Presentation of the Fibonacci Algorithm. 67-68 BibTeX
Geoff P. McKeown, Victor J. Rayward-Smith: Communication Problems on MIMD Parallel Computers. 69-73 BibTeX
Prashant Palvia, Salvatore T. March: Approximating Block Accesses in Database Organizations. 75-79 BibTeX
Emilio Luque, Ana Ripoll: Integer Linear Programming for Microprograms Register Allocation. 81-85 BibTeX
Ewa Klupsz: A Linear Algorithm of a Deadlock Avoidance for Nonpreemptible Resources. 87-94 BibTeX
Grazia Lotti: Area-Time Tradeoff for Rectangular Matrix Multiplication in VLSI Models. 95-98 BibTeX
Witold Lipski Jr.: An O(n log n) Manhattan Path Algorithm. 99-102 BibTeX
Elaine J. Weyuker: The Complexity of Data Flow Criteria for Test Data Selection. 103-109 BibTeX

Adi Shamir, Claus-Peter Schnorr: Cryptanalysis of Certain Variants of Rabin's Signature Scheme. 113-115 BibTeX
Joseph M. Treat, Timothy A. Budd: Extensions to Grid Selector Composition and Compilation in APL. 117-123 BibTeX
David Avis: Non-Partitionable Point Sets. 125-129 BibTeX
Peter Eades, Brendan D. McKay: An Algorithm for Generating Subsets of Fixed Size With a Strong Minimal Change Property. 131-133 BibTeX
R. Dale Johnson, Barrett R. Bryant: Formal Syntax Methods for Natural Language. 135-143 BibTeX
Tomasz Kowaltowski, Antonio Palma: Another Solution of the Mutual Exclusion Problem. 145-146 BibTeX
R. G. Gupta, V. S. P. Srivastava: On Synthesis of Scheduling Algorithms. 147-150 BibTeX
Joachim Biskup: Some Variants of the Take-Grant Protection Model. 151-156 BibTeX
Dario Maio, Maria Rita Scalas, Paolo Tiberio: On Estimating Access Costs in Relational Databases. 157-161 BibTeX

Wojciech Rytter: On Linear Context-Free Languages and One-Way Multihead Automata. 163-166 BibTeX
Marek Chrobak, Bogdan S. Chlebus: Probabilistic Turing Machines and Recursively Enumerable Dedekind Cuts. 167-171 BibTeX
Philippe Darondeau, Laurent Kott: Towards a Formal Proof System for omega-Rational Expressions. 173-177 BibTeX
Marek Chrobak: A Note on Bounded-Reversal Multipushdown Machines. 179-180 BibTeX
Dick Grune: How to Produce All Sentences From a Two-Level Grammar. 181-185 BibTeX
Arturo Carpi: On the Centers of the Set of Weakly Square-Free Words on a Two Letter Alphabet. 187-190 BibTeX
Jaroslav Král: On Software Equations. 191-196 BibTeX
Michael Kallay: The Complexity of Incremental Convex Hull Algorithms in R^d. 197 BibTeX
Clement H. C. Leung: Approximate Storage Utilisation of B-Trees: A Simple Derivation and Generalisations. 199-201 BibTeX
T. R. Walsh: How Evenly Should One Divide to Conquer Quickly? 203-208 BibTeX
Lawrence W. Dowdy, Derek L. Eager, Karen D. Gordon, Lawrence V. Saxton: Throughput Concavity and Response Time Convexity. 209-212 BibTeX

Juhani Karhumäki, Derick Wood: Inverse Morphic Equivalence on Languages. 213-218 BibTeX
Greg N. Frederickson: On Linear-Time Algorithms for Five-Coloring Planar Graphs. 219-224 BibTeX
Erkki Mäkinen: On Derivation Preservation. 225-228 BibTeX
Derick Wood: The Contour Problem for Rectilinear Polygons. 229-236 BibTeX
Paul Bourret: How to Estimate the Sizes of Domains. 237-243 BibTeX
George Tourlakis: An Inductive Number-Theoretic Characterization of NP. 245-247 BibTeX
Jozef Vyskoc: A Note on Boolean Matrix Multiplication. 249-251 BibTeX
Pierre McKenzie: Permutations of Bounded Degree Generate Groups of Polynomial Diameter. 253-254 BibTeX
Goker Gursel, Peter Scheuermann: Asserting the Optimality of Serial SJRPs in Processing Simple Queries in Chain Networks. 255-260 BibTeX