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: Series=LNCS AND Volume=1586
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Scalable parallelization of harmonic balance simulation
David L. Rhodes
,
Apostolos Gerasoulis
Lecture Notes in Computer Science
1586
, 1999, pp. 1055-1064
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
A range minima parallel algorithm for coarse grained multicomputers
H. Mongelli
,
S.W. Song
Lecture Notes in Computer Science
1586
, 1999, pp. 1075-1084
Deterministic branch-and-bound on distributed memory machines
Kieran T. Herley
,
Andrea Pietracaprina
,
Geppino Pucci
Lecture Notes in Computer Science
1586
, 1999, pp. 1085-1094
Performance results for a reliable low-latency cluster communication protocol
Stephen R. Donaldson
,
Jonathan M.D. Hill
,
David B. Skillicorn
Lecture Notes in Computer Science
1586
, 1999, pp. 1097-1114
Coscheduling through synchronized scheduling servers - A prototype and experiments
Holger Karl
Lecture Notes in Computer Science
1586
, 1999, pp. 1115-1129
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
Addressing communication latency issues on clusters for fine grained asynchronous applications - A case study
Umesh V. Rajasekaran Kumar
,
Malolan Chetlur
,
Girindra D. Sharma
,
Radharamanan Radhakrishnan
,
Philip A. Wilsey
Lecture Notes in Computer Science
1586
, 1999, pp. 1145-1162
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
Implementation and evaluation of MPI on an SMP cluster
Toshiyuki Takahashi
,
Francis O'Carroll
,
Hiroshi Tezuka
,
Atsushi Hori
,
Shinji Sumimoto
,
Hiroshi Harada
,
Yutaka Ishikawa
,
Peter H. Beckman
Lecture Notes in Computer Science
1586
, 1999, pp. 1178-1192
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
Mechanical verification of a garbage collector
Klaus Havelund
Lecture Notes in Computer Science
1586
, 1999, pp. 1258-1283
A structured approach to parallel programming: Methodology and models
Berna L. Massingill
Lecture Notes in Computer Science
1586
, 1999, pp. 1284-1298
BSP in CSP: Easy as ABC
Andrew C. Simpson
,
Jonathan M.D. Hill
,
Stephen R. Donaldson
Lecture Notes in Computer Science
1586
, 1999, pp. 1299-1313
A distributed system reference architecture for adaptive QoS and resource management
Lonnie R. Welch
,
Michael W. Masters
,
Leslie A. Madden
,
David T. Marlow
,
Philip M. Irey IV
,
Paul V. Werme
,
Behrooz A. Shirazi
Lecture Notes in Computer Science
1586
, 1999, pp. 1316-1326
Transparent real-time monitoring in MPI
Samuel H. Russ
,
Rashif Jean-Baptiste
,
Tangirala Shailendra Krishna Kumar
,
Marion Harmon
Lecture Notes in Computer Science
1586
, 1999, pp. 1327-1334
DynBench: A dynamic benchmark suite for distributed real-time systems
Behrooz Shirazi
,
Lonnie Welch
,
Binoy Ravindran
,
Charles Cavanaugh
,
Bharath Yanamula
,
Russ Brucks
,
Eui-nam Huh
Lecture Notes in Computer Science
1586
, 1999, pp. 1335-1349
Reflections on the creation of a real-time parallel benchmark suite
Brian Van Voorst
,
Rakesh Iha
,
Subbu Ponnuswamy
,
Luiz Pires
,
Chirag Nanavati
,
David Castanon
Lecture Notes in Computer Science
1586
, 1999, pp. 1350-1360
Tailor-made operating systems for embedded parallel applications
Antônio Augusto Fröhlich
,
Wolfgang Schröder-Preikschat
Lecture Notes in Computer Science
1586
, 1999, pp. 1361-1373
Fiber-optic interconnection networks for signal processing applications
Magnus Jonsson
Lecture Notes in Computer Science
1586
, 1999, pp. 1374-1385
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
Seiten
<
1
2
3
4
5
6
>