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=J. ACM AND Volume=24
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Errata and comments on a paper by J.R. Cash
T.D. Bui
Journal of the ACM
24
, 1977, pp. 623
Efficient algorithms for shortest paths in sparse networks
D.B. Johnson
Journal of the ACM
24
, 1977, pp. 1-13
A general model for the performance of disk systems
N.C. Wilhelm
Journal of the ACM
24
, 1977, pp. 14-31
A level algorithm for preemptive scheduling
E.C. Horvath
,
S. Lam
,
R. Sethi
Journal of the ACM
24
, 1977, pp. 32-43
A transformation system for developing recursive programs
R.M. Burstall
,
J. Darlington
Journal of the ACM
24
, 1977, pp. 44-67
Initial algebra semantics and continuous algebras
J.A. Goguen
,
J.W. Thatcher
,
E.G. Wagner
,
J.B. Wright
Journal of the ACM
24
, 1977, pp. 68-97
An algorithm for structuring flowgraphs
B.S. Baker
Journal of the ACM
24
, 1977, pp. 98-120
Program improvement by source-to-source transformation
D.B. Loveman
Journal of the ACM
24
, 1977, pp. 121-145
Code generation for expressions with common subexpressions
A.V. Aho
,
S.C. Johnson
,
J.D. Ullman
Journal of the ACM
24
, 1977, pp. 146-160
A methodology for LISP program construction from examples
P.D. Summers
Journal of the ACM
24
, 1977, pp. 161-176
An improved bidirectional heuristic search algorithm
D. de Champeaux
,
L. Sint
Journal of the ACM
24
, 1977, pp. 177-191
Covering the points of a digraph with point-disjoint paths and its application to code optimization
F.T. Boesch
,
J.F. Gimpel
Journal of the ACM
24
, 1977, pp. 192-198
Hashing schemes for extendible arrays
A.L. Rosenberg
,
L.J. Stockmeyer
Journal of the ACM
24
, 1977, pp. 199-221
A queueing model of multiprogrammed computer systems under full load conditions
A. Brandwajn
Journal of the ACM
24
, 1977, pp. 222-240
On certain output-buffer management techniques -- a stochastic model
M. Hofri
Journal of the ACM
24
, 1977, pp. 241-249
Product form and local balance in queueing networks
K.M. Chandy
,
J.H., Jr. Howard
,
D.F. Towsley
Journal of the ACM
24
, 1977, pp. 250-263
The power of dominance relations in branch-and-bound algorithms
T. Ibaraki
Journal of the ACM
24
, 1977, pp. 264-279
Heuristic algorithms for scheduling independent tasks on nonidentical processors
O.H. Ibarra
,
C.E. Kim
Journal of the ACM
24
, 1977, pp. 280-289
Information content of programs and operation encoding
E.C.R. Hehner
Journal of the ACM
24
, 1977, pp. 290-297
Proof, completeness, transcendentals, and sampling
P.J. Davis
Journal of the ACM
24
, 1977, pp. 298-310
Algebras having linear multiplicative complexities
C.M. Fiduccia
,
Y. Zalcstein
Journal of the ACM
24
, 1977, pp. 311-331
On time versus space
J. Hopcroft
,
W. Paul
,
L. Valiant
Journal of the ACM
24
, 1977, pp. 332-337
Even simple programs are hard to analyze
N.D. Jones
,
S.S. Muchnick
Journal of the ACM
24
, 1977, pp. 338-352
Automatic proofs of theorems in analysis using nonstandard techniques
A.M. Ballantyne
,
W.W. Bledsoe
Journal of the ACM
24
, 1977, pp. 353-374
Stability and optimal control of the packet switching broadcast channel
G. Fayolle
,
E. Gelenbe
,
J. Labetoulle
Journal of the ACM
24
, 1977, pp. 375-386
Seiten 1
2
>