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
[1]
Hilfe
Suche: Author="Gemmell, P."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Checking the correctness of memories
M. Blum
,
W. Evans
,
P. Gemmell
,
S. Kannan
,
M. Naor
Algorithmica
12
, 1994, pp. 225-244
Checking approximate computations over the reals
S. Ar
,
M. Blum
,
B. Codenotti
,
P. Gemmell
Proceedings of the 25th Annual ACM Symposium on Theory of Computing, STOC'93 (San Diego, California, May 16--18, 1993)
, 1993, pp. 786-795
Self-testing/correcting for polynomials and for approximate functions
P. Gemmell
,
R. Lipton
,
R. Rubinfeld
,
M. Sudan
,
A. Wigderson
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, STOC'91 (New Orleans, Louisiana, May 6-8, 1991)
, 1991, pp. 32-42