home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Information Processing Letters
, Volume 50
Volume 50, Number 1, 8 April 1994
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/BarsiP94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Ferruccio Barsi
,
Maria Cristina Pinotti
:
A Fully Parallel Algorithm for Residue to Binary Conversion.
1-8
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/AzarBF94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yossi Azar
,
Andrei Z. Broder
,
Alan M. Frieze
:
On the Problem of Approximating the Number of Bases of a Matroid.
9-11
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Lin94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yi-Bing Lin
:
Determining the Global Progress of Parallel Simulation with FIFO Communication Property.
13-17
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/DemangeGP94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Marc Demange
,
Pascal Grisoni
,
Vangelis Th. Paschos
:
Approximation Results for the Minimum Graph Coloring Problem.
19-23
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/FraenkelRS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Aviezri S. Fraenkel
,
Edward M. Reingold
,
Prashant Saxena
:
Efficient Management of Dynamic Tables.
25-30
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Collette94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Pierre Collette
:
An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.
31-35
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/SeberryZZ94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jennifer Seberry
,
Xian-Mo Zhang
,
Yuliang Zheng
:
Improving the Strict Avalanche Characteristics of Cryptographic Functions.
37-41
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Kim94a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yong-Seok Kim
:
An Optimal Scheduling Algorithm for Preemptable Real-Time Tasks.
43-38
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/KhullerRY94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Samir Khuller
,
Balaji Raghavachari
,
Neal E. Young
:
Designing Multi-Commodity Flow Trees.
49-55
Volume 50, Number 2, April 1994
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Maire94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Frédéric Maire
:
Polyominos and Perfect Graphs.
57-61
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Ferragina94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Paolo Ferragina
:
Static and Dynamic Parallel Computation of Connected Components.
63-68
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/ChangY94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Her-Kun Chang
,
Shyan-Ming Yuan
:
Message Complexity of Hierarchical Quorum Consensus Algorithm.
69-73
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/RoyAGR94
ask others
Google
Google Scholar
MS Academic Search
PubZone
T. Sony Roy
,
G. Athithan
,
M. S. Ganagi
,
A. Sivasankara Reddy
:
A New Method to Solve Non-Linear Equations.
75-79
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/DeoJM94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Narsingh Deo
,
Amit Jain
,
Muralidhar Medidi
:
An Optimal Parallel Algorithm for Merging Using Multiselection.
81-87
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Chen94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Y. L. Chen
:
Finding the k Quickset Simple Paths in a Network.
89-92
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/CrescenzoP94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Giovanni Di Crescenzo
,
Giuseppe Persiano
:
Round-Optimal Perfect Zero-Knowledge Proofs.
93-99
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/SiromoneyMDS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Rani Siromoney
,
Lisa Mathew
,
V. Rajkumar Dare
,
K. G. Subramanian
:
Infinite Lyndon Words.
101-104
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/SimhaM94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Rahul Simha
,
Amitava Majumdar
:
On Lookahead in the List Update Problem.
105-110
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Gurla94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Himabindu Gurla
:
Corrigendum: Leftmost one Computation on Meshes with Row Broadcasting.
111
Volume 50, Number 3, 9 May 1994
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/BartalKR94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yair Bartal
,
Howard J. Karloff
,
Yuval Rabani
:
A Better Lower Bound for On-Line Scheduling.
113-116
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Moriya94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Etsuro Moriya
:
On Two-Way Tree Automata.
117-121
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/DietzMS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Paul F. Dietz
,
Ioan I. Macarie
,
Joel I. Seiferas
:
Bits and Relative Order From Residues, Space Efficiently.
123-127
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/KimK94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dongseung Kim
,
Seung-Hoon Kim
:
O(log n) Numerical Algorithms on a Mesh with Wormhole Routing.
129-136
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/WeemsS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Bob P. Weems
,
Lloyd C. Swayze
:
Allocation Techniques for Distributed Reduction Data Elements.
137-142
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/DingW94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yuzheng Ding
,
Mark Allen Weiss
:
On the Complexity of Building an Interval Heap.
143-144
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/KumarB94
ask others
Google
Google Scholar
MS Academic Search
PubZone
G. Prem Kumar
,
G. Phanendra Babu
:
Optimal Network Partitioning for Fault-Tolerant Network Management Using Evolutionary Programming.
145-149
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/DhamdhereK94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dhananjay M. Dhamdhere
,
Sandeep S. Kulkarni
:
A Token Based k-Resilient Mutual Exclusion Algorithm for Distributed Systems.
151-157
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Yuan94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Li-Yan Yuan
:
Logic Program Semantics and Circumscription of Autoepistemic Theories.
159-164
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/BaldoniC94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Roberto Baldoni
,
Bruno Ciciani
:
Distributed Algorithms for Multiple Entries to a Critical Section with Priority.
165-172
Volume 50, Number 4, 25 May 1994
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Sugihara94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Kokichi Sugihara
:
Simpler Proof of a Realizability Theorem on Delaunay Triangulations.
173-176
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/ResendeA94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Rodolfo F. Resende
,
Amr El Abbadi
:
On the Serializability Theorem for Nested Transactions.
177-183
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Ravi94
ask others
Google
Google Scholar
MS Academic Search
PubZone
R. Ravi
:
A Primal-Dual Approximation Algorithm for the Steiner Forest Problem.
185-190
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/ManberW94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Udi Manber
,
Sun Wu
:
An Algorithm for Approximate Membership checking with Application to Password Security.
191-197
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/RadhakrishnanS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jaikumar Radhakrishnan
,
K. V. Subrahmanyam
:
Directed Monotone Contact Networks for Threshold Functions.
199-203
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/NarayanaswamiL94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Chandrasekhar Narayanaswami
,
William L. Luken
:
Approximating chi
n
Efficiently.
205-210
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/IstrailZ94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Sorin Istrail
,
Dejan Zivkovic
:
Bounded-Width Polynomial-Size Boolean Formulas Compute Exactly Those Functions in AC^0.
211-216
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Berkovich94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Simon Y. Berkovich
:
Multiprocessor Interconnection Network Using Pairwise Balanced Combinatorial Designs.
217-222
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/WangLF94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yi-Min Wang
,
Andy Lowry
,
W. Kent Fuchs
:
Consistent Global Checkpoints Based on Direct Dependency Tracking.
223-230
Volume 50, Number 5, 10 June 1994
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Manzini94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Giovanni Manzini
:
Sparse Matrix Vector Multiplication on Distributed Architectures: Lower Bounds and Average Complexity Results.
231-238
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/MooreS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dennis Moore
,
William F. Smyth
:
An Optimal Algorithm to Compute all the Covers of a String.
239-246
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/NeilsenM94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Mitchell L. Neilsen
,
Masaaki Mizuno
:
Nondominated k-Coteries for Multiple Mutual Exclusion.
247-252, (Erratum: Inf. Process. Lett. 60(6): 319 (1996))
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Li94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Huade Li
:
Trajectory Planning in H-Space.
253-258
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/ZhangO94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Xubo Zhang
,
Z. Meral Özsoyoglu
:
Some Results on the Containment and Minimization of (in) Equality Queries.
259-267
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Perleberg94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Chris H. Perleberg
:
Single Character Searching Methods and the shift-or Pattern-Matching Algorithm.
269-275
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/JimboM94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Shuji Jimbo
,
Akira Maruoka
:
On the Relationship Between the Diameter and the Size of a Boundary of a Directed Graph.
277-282
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/PunnenN94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Abraham P. Punnen
,
Kunhiraman Nair
:
A Fast and Simple Algorithm for the Bottleneck Biconnected Spanning Subgraph Problem.
283-286
Volume 50, Number 6, 27 June 1994
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/BertoniMP94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Alberto Bertoni
,
Carlo Mereghetti
,
Giovanni Pighizzini
:
An Optimal Lower Bound for Nonregular Languages.
289-292, (Corrigendum: Inf. Process. Lett. 52(6): 339 (1994))
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Pirillo94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Giuseppe Pirillo
:
Infinite Words and Biprefix Codes.
293-295
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/LinL94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Chiu-Chuan Lin
,
Ferng-Ching Lin
:
Minimal Fully Adaptive Wormhole Routing on Hypercubes.
297-301
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Galvez94
ask others
Google
Google Scholar
MS Academic Search
PubZone
José Fortes Gálvez
:
A Note on a Proposed LALR Parser for Extended Context-Free Grammars.
303-305
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/NykanenU94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Matti Nykänen
,
Esko Ukkonen
:
Finding Lowest Common Ancestors in Arbitrarily Directed Trees.
307-310
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/AlagarV94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Sridhar Alagar
,
Subbarayan Venkatesan
:
An Optimal Algorithm for Distributed Snapshots with Causal Message Ordering.
311-316
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/GergovM94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jordan Gergov
,
Christoph Meinel
:
On the Complexity of Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs.
317-322
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/AtkinsonS94
ask others
Google
Google Scholar
MS Academic Search
PubZone
M. D. Atkinson
,
Jörg-Rüdiger Sack
:
Uniform Generation of Forests of Restricted Height.
323-327
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/Naumann94
ask others
Google
Google Scholar
MS Academic Search
PubZone
David A. Naumann
:
A Recursion Theorem for Predicate Transformers on Inductive Data Types.
329-336
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ipl/PagliP94
ask others
Google
Google Scholar
MS Academic Search
PubZone
Linda Pagli
,
Geppino Pucci
:
Counting the Number of Fault Patterns in Redundant VLSI Arrays.
337-342