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
[2]
Hilfe
Suche: Author="Walker, David"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automatic portal generation based on workflow description
Coral Walker
,
Dashan Lu
,
David W. Walker
Parallel Processing Letters
21
(2), 2011, pp. 155-171
The next 700 data description languages
Kathleen Fisher
,
Yitzhak Mandelbaum
,
David Walker
Journal of the ACM
57
(2), 2010, pp. 10: 1-51
Types and full abstraction for polyadic
\pi
-calculus
Paola Quaglia
,
David Walker
Information and Computation
200
(2), 2005, pp. 215-246
Dynamic typing with dependent types
Xinming Ou
,
Gang Tan
,
Yitzhak Mandelbaum
,
David Walker
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 437-450
Agent based data management in digital libraries
Yanyan Yang
,
Omer F. Rana
,
David W. Walker
,
Christos Georgousopoulos
,
Giovanni Aloisio
,
Roy Williams
Parallel Computing
28
(5), 2002, pp. 773-792
A process-calculus analysis of concurrent operations on B-trees
Anna Philippou
,
David Walker
Journal of Computer and System Sciences
62
(1), 2001, pp. 73-122
Implementing problem solving environments for computational science
Omer F. Rana
,
Maozhen Li
,
Matthew S. Shields
,
David W. Walker
,
David Golby
Lecture Notes in Computer Science
1900
, 2000, pp. 1345-1349
Partial confluence of processes and systems of objects
Xinxin Liu
,
David Walker
Theoretical Computer Science
206
(1-2), 1998, pp. 127-162
Workshop 10+17+21+22 - Theory and algorithms for parallel computation
Bill McColl
,
David Walker
Lecture Notes in Computer Science
1470
, 1998, pp. 863-864
On transformations of concurrent-object programs
Anna Philippou
,
David Walker
Theoretical Computer Science
195
(2), 1998, pp. 259-289
On encoding
p\pi
in
m\pi
Paola Quaglia
,
David Walker
Lecture Notes in Computer Science
1530
, 1998, pp. 42-53
Key concepts for parallel out-of-core LU factorization
Jack J. Dongarra
,
Sven Hammarling
,
David W. Walker
Parallel Computing
23
(1-2), 1997, pp. 49-70
On confluence in the
\pi
-calculus
Anna Philippou
,
David Walker
Lecture Notes in Computer Science
1256
, 1997, pp. 314-324
ScaLAPACK: Linear algebra software for distributed memory architectures
James Demmel
,
Jack Dongarra
,
Robert van de Geijn
,
David Walker
Parallel Computers - Theory and Practice, 1996, pp. 267-282
Process calculus and parallel object-oriented programming languages
David Walker
Parallel Computers - Theory and Practice, 1996, pp. 369-390
Parallel matrix transpose algorithms on distributed memory concurrent computers
Jaeyoung Choi
,
Jack J. Dongarra
,
David W. Walker
Parallel Computing
21
(9), 1995, pp. 1387-1405
A polymorphic type system for the polyadic
\pi
-calculus
Xinxin Liu
,
David Walker
Lecture Notes in Computer Science
962
, 1995, pp. 103-116
On sharing and determinacy in concurrent systems
Anna Philippou
,
David Walker
Lecture Notes in Computer Science
962
, 1995, pp. 456-470
Objects in the
\pi
-calculus
David Walker
Information and Computation
116
(2), 1995, February, pp. 253-271
Constructing numerical software libraries for high-performance computing environments
Jaeyoung Choi
,
Jack J. Dongarra
,
Roldan Pozo
,
David W. Walker
Lecture Notes in Computer Science
879
, 1994, pp. 147-168
The design of scalable software libraries for distributed memory concurrent computers
Jaeyoung Choi
,
Jack J. Dongarra
,
David W. Walker
Proceedings of the 8th International Parallel Processing Symposium, IPPS'94 (CancĂșn, Mexico, April 26-29, 1994)
, 1994, pp. 792-799
Scalability issues affecting the design of a dense linear algebra library
Jack J. Dongarra
,
Robert A. van de Geijn
,
David W. Walker
Journal Parallel Distributed Computing
22
(3), 1994, pp. 523-537
On bisimulation in the
\pi
-calculus
David Walker
Lecture Notes in Computer Science
836
, 1994, pp. 315-330
The design of a standard message passing interface for distributed memory concurrent computers
David W. Walker
Parallel Computing
20
(4), 1994, pp. 657-673
Modal logics for mobile processes
Robin Milner
,
Joachim Parrow
,
David Walker
Theoretical Computer Science
114
(1), 1993, pp. 149-171
Seiten 1
2
>