Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=SIAM J. Comput. AND Volume=4
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On simple Goedel numberings and translations
J. Hartmanis
,
T.P. Baker
SIAM Journal on Computing
4
, 1975, pp. 1-11
Realization with feedback encoding. I: Analogues of the classical theory
Dennis P. Geller
SIAM Journal on Computing
4
, 1975, pp. 12-33
Realization with feedback encoding. II: Applications to distinguishing sequences
Dennis P. Geller
SIAM Journal on Computing
4
, 1975, pp. 34-48
Computational complexity of inner products of vectors (and that of other bilinear forms) over a noncommutative ring (auxiliary functions allowed)
Robert Mandl
,
Thomas Vari
SIAM Journal on Computing
4
, 1975, pp. 49-55
Faithful representation of a family of sets by a set of intervals
Kapali P. Eswaran
SIAM Journal on Computing
4
, 1975, pp. 56-68
A decision procedure for the first order theory of real addition with order
Jeanne Ferrante
,
Charles Rackoff
SIAM Journal on Computing
4
(1), 1975, March, pp. 69-76
Finding all the elementary circuits of a directed graph
Donald B. Johnson
SIAM Journal on Computing
4
(1), 1975, March, pp. 77-84
State-splitting for stochastic machines
Eugene S. Santos
SIAM Journal on Computing
4
, 1975, pp. 85-96
Computational complexity and numerical stability
Webb Miller
SIAM Journal on Computing
4
, 1975, pp. 97-107
Derivation of confidence intervals for work rate estimators in a closed queuing network
S.S. Lavenberg
,
G.S. Shedler
SIAM Journal on Computing
4
, 1975, pp. 108-124
Translating program schemas to while-schemes
Edward Ashcroft
,
Zohar Manna
SIAM Journal on Computing
4
, 1975, pp. 125-146
Time bounds on the parallel evaluation of arithmetic expressions
D.J. Kuck
,
K. Maruyama
SIAM Journal on Computing
4
(2), 1975, June, pp. 147-162
Solving a problem in Eigenvalue approximation with a symbolic algebra system
Andrew D., Jr. Hall
SIAM Journal on Computing
4
, 1975, pp. 163-174
Matrix factorization over
GF(2)
and trace-orthogonal bases of
GF(2^n)
Abraham Lempel
SIAM Journal on Computing
4
, 1975, pp. 175-186
Bounds for multiprocessor scheduling with resource constraints
M.R. Garey
,
R.L. Graham
SIAM Journal on Computing
4
(2), 1975, June, pp. 187-200
The computation of powers of symbolic polynomials
Ellis Horowitz
,
Sartaj Sahni
SIAM Journal on Computing
4
, 1975, pp. 201-208
Computational algorithms for the enumeration of group invariant partitions
D.E. White
,
S.G. Williamson
SIAM Journal on Computing
4
, 1975, pp. 209-213
Every prime has a succinct certificate
Vaughan Pratt
SIAM Journal on Computing
4
(3), 1975, September, pp. 214-220
Finding a maximum cut of a planar graph in polynomial time
F. Hadlock
SIAM Journal on Computing
4
, 1975, pp. 221-225
Complete register allocation problems
Ravi Sethi
SIAM Journal on Computing
4
, 1975, pp. 226-248
Worst-case analysis of a placement algorithm related to storage allocation
Ashok Chandra
,
C.K. Wong
SIAM Journal on Computing
4
(3), 1975, September, pp. 249-263
Improved divide/sort/merge sorting networks
R.L. (Scot) Drysdale III
,
Frank H. Young
SIAM Journal on Computing
4
, 1975, pp. 264-270
Near-optimal solutions to a 2-dimensional placement problem
R.M. Karp
,
A.C. McKellar
,
C.K. Wong
SIAM Journal on Computing
4
, 1975, pp. 271-286
Managing storage for extendible arrays
Arnold L. Rosenberg
SIAM Journal on Computing
4
(3), 1975, September, pp. 287-306
Recursion strucutre simplification
H.R., Jr. Strong
,
A. Maggiolo-Schettini
,
B.K. Rosen
SIAM Journal on Computing
4
, 1975, pp. 307-320
Seiten 1
2
>