researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Inf. Process. Lett.
Home
Index
Info
Volume
Volume
3
, Issue
6
165
--
166
Per Brinch Hansen
.
Universal Types in Concurrent Pascal
167
--
169
Derek A. Zave
.
A Fast Compacting Garbage Collector
170
--
173
Jon Louis Bentley
,
Donald F. Stanat
.
Analysis of Range Searches in Quad Trees
174
--
176
Carlo Ghezzi
.
LL(1) Grammars Supporting an Efficient Error Handling
177
--
179
Hans F. de Groote
.
On the Complexity of Quaternion Multiplication
180
--
183
Stefan Pleszczynski
.
On the Generation of Permutations
184
--
187
Martin Rem
.
On the Programming of Elastic Stores
188
--
189
Roy A. Keir
.
Should the Stable Rounding Rule be Radix-Dependent?
Volume
3
, Issue
5
127
--
134
Constantine Lazos
.
A Comparison of Simulation Results and a Mathematical Model of a Multiprogramming System
135
--
137
Josef Kittler
.
On the Divergence and the Joshi Dependence Measure in Feature Selection
138
--
143
Jan van Leeuwen
.
The Membership Question for ET0L-Languages is Polynomially Complete
144
--
146
Franco P. Preparata
,
David E. Muller
.
The Time Required to Evaluate Division-Free Arithmetic Expressions
147
--
152
H. Asai
,
S. C. Lee
.
Design of Queuing Buffer Register Size
153
--
163
Antony Stevens
.
An Elementary Computer Algorithm for the Calculation of the Coefficient of Inbreeding
164
--
0
John F. Reiser
,
Donald E. Knuth
.
Erratum: Evading the Drift in Floating-Point Addition
164
--
0
Stefano Crespi-Reghizzi
,
Dino Mandrioli
.
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems
164
--
0
N. S. Sridharan
.
Erratum: Computer Generation of Vertex Graphs
Volume
3
, Issue
4
97
--
103
S. Galand
,
G. Loncour
.
Structured Implementation of Symbolic Execution: A First Part in a Program Verifier
104
--
109
Jacques Cohen
.
Interpretation of Non-Deterministic Algorithms in Higher-Level Languages
110
--
112
Fanica Gavril
.
An Algorithm for Testing Chordality of Graphs
113
--
114
Gideon Yuval
.
Finding Near Neighbors in K-Dimensional Space
115
--
118
Ibrahim Cahit
,
R. Cahit
.
On the Graceful Numbering of Spanning Trees
119
--
120
Ben Wegbreit
.
Retrieval from Context Trees
121
--
124
S. De Wolf
,
G. De Mey
.
Numerical Methods for Solving Integral Equations of Potential Problems
125
--
126
J. M. Robson
.
A Simple Solution to the Interleaved Memory Bandwidth Problem
Volume
3
, Issue
3
65
--
66
Richard J. Lipton
,
Robert W. Tuttle
.
A Synchronization Anomaly
67
--
68
Chiharu Hosono
.
On the Cardinality of Some Lattices
69
--
70
Sebastiaan H. von Solms
.
On T0L Languages over Terminals
71
--
74
Subrata Dasgupta
,
John Tartar
.
On the Minimization of Control Memories
75
--
77
Tiko Kameda
.
On the Vector Representation of the Reachability in Planar Directed Graphs
78
--
80
Stefano Crespi-Reghizzi
,
Dino Mandrioli
.
A Decidability Theorem for a Class of Vector-Addition Systems
81
--
83
Paolo M. Camerini
,
Francesco Maffioli
.
Bounds for 3-Matroid Intersection Problems
84
--
87
John F. Reiser
,
Donald E. Knuth
.
Evading the Drift in Floating-Point Addition
88
--
90
Ivan Dal Bono
,
Mauro Diligenti
,
Concetta Mosca
,
Antonio Ricci
,
Antonio Villani
.
A Simple FORTRAN Support for Computer-Assisted Instruction
91
--
96
Klaus Weihrauch
.
Program Schemata with Polynomial Bounded Counters
Volume
3
, Issue
2
35
--
36
Tadao Takaoka
.
A Note on the Ambiguity of Context-Free Grammars
37
--
38
J. A. Campbell
.
Optimal Use of Storage in a Simple Model of Garbage Collection
39
--
42
Marvin V. Zelkowitz
.
Structured Operating System Organization
43
--
45
Lionel E. Deimel
.
Remark on the Computational Power of a Turing Machine Variant
46
--
50
Stefan Arnborg
.
Abstract Computation Model Used for a Production Compiler
51
--
53
Robert Endre Tarjan
.
A Good Algorithm for Edge-Disjoint Branching
54
--
56
Kojiro Kobayashi
.
A Note on Extending Equivalence Theories of Algorithms
57
--
63
N. S. Sridharan
.
Computer Generation of Vertex Graphs
64
--
0
Donald E. Knuth
,
Jayme Luiz Szwarcfiter
.
Erratum: A Structured Program to Generate all Topological Sorting Arrangements
Volume
3
, Issue
1
1
--
7
Jack Minker
,
Gordon J. van der Brug
.
The Earley Algorithm as a Problem Representation
8
--
12
Kohei Noshita
.
Median Selection of 9 Elements in 14 Comparisons
13
--
15
Robert Endre Tarjan
.
A New Algorithm for Finding Weak Components
16
--
21
Lee W. Cooprider
,
F. Heymans
,
Pierre-Jacques Courtois
,
David Lorge Parnas
.
Information Streams Sharing a Finite Buffer: Other Solutions
22
--
24
Jan van Leeuwen
,
Carl H. Smith
.
An Improved Bound for Detecting Looping Configurations in Deterministic DPA s
25
--
28
Oscar H. Ibarra
.
A Note on Semilinear Sets and Bounded-Reversal Multihead Pushdown Automata
29
--
32
David A. Fisher
.
Bounded Workspace Garbage Collection in an Address-Order Preserving List Processing Environment