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="Detlefs, David"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Simplify: A theorem prover for program checking
David Detlefs
,
Greg Nelson
,
James B. Saxe
Journal of the ACM
52
(3), 2005, pp. 365-473
DCAS is not a silver bullet for nonblocking algorithm design
Simon Doherty
,
David L. Detlefs
,
Lindsay Groves
,
Christine H. Flood
,
Victor Luchangco
,
Paul A. Martin
,
Mark Moir
,
Nir Shavit
,
Guy L., Jr. Steele
Proceedings of the 16th Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'2004 (Barcelona, Spain, June 27-30, 2004)
, 2004, pp. 216-224
DCAS-based concurrent deques
Ole Agesen
,
David L. Detlefs
,
Christine H. Flood
,
Alexander T. Garthwaite
,
Paul A. Martin
,
Mark Moir
,
Nir N. Shavit
,
Guy L., Jr. Steele
Theory of Computing Systems
35
(3), 2002, pp. 349-386
DCAS-based concurrent deques
Ole Agesen
,
David L. Detlefs
,
Christine H. Flood
,
Alexander T. Garthwaite
,
Paul A. Martin
,
Nir N. Shavit
,
Guy L., Jr. Steele
Proceedings of the 12th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA'2000 (Bar Harbor, Maine, July 9-12, 2000)
, 2000, pp. 137-146