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: Series=LNCS AND YEAR=1999
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Optimizing irregular HPF applications using halos
Siegfried Benkner
Lecture Notes in Computer Science
1586
, 1999, pp. 1015-1024
Irregular parallel algorithms in Java
Brian Blount
,
Siddhartha Chatterjee
,
Michael Philippsen
Lecture Notes in Computer Science
1586
, 1999, pp. 1026-1035
Towards an effective task clustering heuristic for LogP machines
Cristina Boeres
,
Aline Nascimento
,
Vinod E.F. Rebello
Lecture Notes in Computer Science
1586
, 1999, pp. 1065-1074
High-performance knowledge extraction from data on PC-based networks of workstations
Cosimo Anglano
,
Attilio Giordana
,
Giuseppe Lo Bello
Lecture Notes in Computer Science
1586
, 1999, pp. 1130-1144
Low cost databases for NOW
Gianni Conte
,
Michele Mazzeo
,
Agostino Poggi
,
Pietro Rossi
,
Michele Vignali
Lecture Notes in Computer Science
1586
, 1999, pp. 1163-1177
From a specification to an equivalence proof in object-oriented parallelism
Isabelle Attali
,
Denis Caromel
,
Sylvain Lippi
Lecture Notes in Computer Science
1586
, 1999, pp. 1197-1214
Examples of program composition illustrating the use of universal properties
Michel Charpentier
,
K. Mani Chandy
Lecture Notes in Computer Science
1586
, 1999, pp. 1215-1227
A formal framework for specifying and verifying time warp optimizations
Victoria Chernyakhovsky
,
Peter Frey
,
Radharamanan Radhakrishnan
,
Philip A. Wilsey
,
Perry Alexander
,
Harold W. Carter
Lecture Notes in Computer Science
1586
, 1999, pp. 1228-1242
Verifying end-to-end protocols using induction with CSP/FDR
S.J. Creese
,
Joy Reed
Lecture Notes in Computer Science
1586
, 1999, pp. 1243-1257
Reconfigurable parallel sorting and load balancing: HeteroSort
Emmett Davis
,
Bonnie Holte Bennett
,
Bill Wren
,
Linda Davis
Lecture Notes in Computer Science
1586
, 1999, pp. 1386-1406
Addressing real-time requirements of automatic vehicle guidance with MMX technology
Massimo Bertozzi
,
Alberto Broggi
,
Alessandra Fascioli
,
Stefano Tommesani
Lecture Notes in Computer Science
1586
, 1999, pp. 1407-1417
Condition-based maintenance: Algorithms and applications for embedded high performance computing
Bonnie Holte Bennett
,
George Hadden
Lecture Notes in Computer Science
1586
, 1999, pp. 1418-1438
Circuit complexity of testing square-free numbers
Anna Bernasconi
,
Igor Shparlinski
Lecture Notes in Computer Science
1563
, 1999, pp. 47-56
Memory organization schemes for large shared data: A randomized solution for distributed memory machines
Alexander E. Andreev
,
Andrea E.F. Clementi
,
Paolo Penna
,
José D.P. Rolim
Lecture Notes in Computer Science
1563
, 1999, pp. 68-77
On the hardness of permanent
Jin-Yi Cai
,
A. Pavan
,
D. Sivakumar
Lecture Notes in Computer Science
1563
, 1999, pp. 90-99
One-sided versus two-sided error in probabilistic computation
Harry Buhrman
,
Lance Fortnow
Lecture Notes in Computer Science
1563
, 1999, pp. 100-109
Complexity of some problems in universal algebra
Clifford Bergman
,
Giora Slutzki
Lecture Notes in Computer Science
1563
, 1999, pp. 163-172
Treewidth and minimum fill-in of weakly triangulated graphs
Vincent Bouchitté
,
Ioan Todinca
Lecture Notes in Computer Science
1563
, 1999, pp. 197-206
An approximation algorithm for Max
p
-Section
Gunnar Andersson
Lecture Notes in Computer Science
1563
, 1999, pp. 237-247
Sparse sets, approximable sets, and parallel queries to
NP
Vikraman Arvind
,
Jacobo Torán
Lecture Notes in Computer Science
1563
, 1999, pp. 281-290
Fast computations of the exponential function
Timm Ahrendt
Lecture Notes in Computer Science
1563
, 1999, pp. 302-312
Model checking lossy vector addition systems
Ahmed Bouajjani
,
Richard Mayr
Lecture Notes in Computer Science
1563
, 1999, pp. 323-333
Supporting increment and decrement operations in balancing networks
William Aiello
,
Costas Busch
,
Maurice Herlihy
,
Marios Mavronicolas
,
Nir Shavit
,
Dan Touitou
Lecture Notes in Computer Science
1563
, 1999, pp. 393-403
Costs of general purpose learning
John Case
,
Keh-Jiann Chen
,
Sanjay Jain
Lecture Notes in Computer Science
1563
, 1999, pp. 424-433
Completeness of neighbourhood logic
Rana Barua
,
Suman Roy
,
Zhou Chaochen
Lecture Notes in Computer Science
1563
, 1999, pp. 521-530
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12