Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles (English)
- New search for: Raynal, Michel
- New search for: Raynal, Michel
In:
Parallel Computing Technologies
1
;
98-111
;
2001
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
-
Contributors:Raynal, Michel ( author )
-
Published in:Parallel Computing Technologies , 1 ; 98-111Lecture Notes in Computer Science ; 2127, 1 ; 98-111
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2001-01-01
-
Size:14 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Hybrid Approach to Reaction-Diffusion Processes SimulationBandman, Olga et al. | 2001
- 17
-
Formal Verification of Coherence for a Shared Memory Multiprocessor ModelBarrio-Solórzano, Manuel / Encarnación Beato, M. / Cuesta, Carlos E. / Fuente, Pablo et al. | 2001
- 27
-
Static Analysis for Secrecy and Non-interference in Networks of ProcessesBodei, C. / Degano, P. / Nielson, F. / Nielson, H. Riis et al. | 2001
- 42
-
Consensus in One Communication StepBrasileiro, Francisco / Greve, Fabíola / Mostefaoui, Achour / Raynal, Michel et al. | 2001
- 51
-
Design Space Exploration for Massively Parallel Processor ArraysHannig, Frank / Teich, Jürgen et al. | 2001
- 66
-
GCA: Global Cellular Automata. A Flexible Parallel ModelHoffmann, Rolf / Völkmann, Klaus-Peter / Waldschmidt, Stefan / Heenes, Wolfgang et al. | 2001
- 74
-
Cellular-Pipelined Algorithm Architecture for Polynomial ComputingMarkova, Valentina et al. | 2001
- 80
-
MetaPL: A Notation System for Parallel Program Description and Performance AnalysisMazzocca, N. / Rak, M. / Villano, U. et al. | 2001
- 94
-
First-Order 2D Cellular Neural Networks Investigation and LearningPudov, Sergey et al. | 2001
- 98
-
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector OraclesRaynal, Michel et al. | 2001
- 112
-
A Transaction Processing Model for the Mobile Data Access SystemSegun, K. / Hurson, A. R. / Spink, A. et al. | 2001
- 128
-
Characterizing Timed Net Processes CategoricallyVirbitskaite, I. B. et al. | 2001
- 142
-
Mapping Heterogeneous Task Graphs onto Networks: Execution Time OptimizationVodovoz, Natalya et al. | 2001
- 150
-
An O[n 3/z 3] Reduction Procedure for Determining the Maximum Degree of Parallelism in Parallel ApplicationsZotov, Igor V. / Titov, Vitaliy S. et al. | 2001
- 159
-
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched NetworksAlekseev, Igor V. / Sokolov, Valery A. et al. | 2001
- 175
-
Extension of Java Environment by Facilities Supporting Development of SPMD Java-ProgramsAvetisyan, Arutyun / Gaissaryan, Serguei / Samovarov, Oleg et al. | 2001
- 181
-
Mechanisms of Parallel Computing Organization for NeuroClusterBabenko, L. K. / Chefranov, A. G. / Fedorov, P. A. / Korobko, A. Yu. / Makarevich, O. B. et al. | 2001
- 186
-
Parallel SPMD-Tasks Graph Description Language for Network ClustersBabenko, L. K. / Chefranov, A. G. / Trotsenko, R. V. et al. | 2001
- 190
-
Optimizing Metacomputing with Communication-Computation OverlapBaude, Françoise / Caromel, Denis / Furmento, Nathalie / Sagnol, David et al. | 2001
- 205
-
WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and MobilityCiancarini, Paolo / Rossi, Davide et al. | 2001
- 211
-
On Using SPiDER to Examine and Debug Real-World Data-Parallel ApplicationsFahringer, T. / Sowa-Piekio, K. / Luitz, J. / Moritsch, H. et al. | 2001
- 226
-
Experimental Version of Parallel Programs Translator from Petri Nets to C++Golenkov, E. A. / Sokolov, A. S. / Tarasov, G. V. / Kharitonov, D. I. et al. | 2001
- 232
-
Typing the ISA to Cluster the ProcessorGoossens, Bernard et al. | 2001
- 243
-
Send-Recv Considered Harmful? Myths and Truths about Parallel ProgrammingGorlatch, Sergei et al. | 2001
- 258
-
UNICORE: A Grid Computing Environment for Distributed and Parallel ComputingHuber, Valentina et al. | 2001
- 266
-
Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element MethodKopyssov, Sergey / Novikov, Alexander et al. | 2001
- 277
-
Concurrent Implementation of Structurally Synthesized ProgramsLämmermann, Sven / Tyugu, Enn / Vlassov, Vladimir et al. | 2001
- 285
-
An Associative Version of the Bellman-Ford Algorithm for Finding the Shortest Paths in Directed GraphsNepomniaschaya, A. S. et al. | 2001
- 293
-
Fusion of Concurrent Invocations of Exclusive MethodsOyama, Yoshihiro / Taura, Kenjiro / Yonezawa, Akinori et al. | 2001
- 308
-
Computational Portal: Remote Access to High-Performance ComputingProkhorov, Vladimir V. et al. | 2001
- 314
-
Event Logic ProgrammingRamirez, Rafael / Santosa, Andrew E. et al. | 2001
- 319
-
Techniques for Increasing Performance of CORBA Parallel Distributed ApplicationsShevchenko, R. / Doroshenko, A. et al. | 2001
- 329
-
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra SystemSchreiner, Wolfgang et al. | 2001
- 344
-
Communication Interface CoInSidorov, Evgueni / Bobkov, Sergey / Aryashev, Sergey et al. | 2001
- 350
-
Design of a Tool for Providing Dynamic Network Information to an ApplicationSosonkina, Masha / Chen, Gan et al. | 2001
- 358
-
Compilation Principle of a Specification Language Dedicated to Signal ProcessingSoula, Julien / Marquet, Philippe / Demeure, Alain / Dekeyser, Jean-Luc et al. | 2001
- 371
-
An Approach to Composing Parallel ProgramsThorelli, Lars-Erik / Vlassov, Vladimir et al. | 2001
- 379
-
Web-Based Parallel Simulation of AGVs Using Java and JINIYe, Rong / Hsu, Wen-Jing / Liu, Ze-Hua et al. | 2001
- 385
-
On the Parallelezation of Domain Decomposition Methods for 3-D Boundary Value ProblemsBabin, V. N. / Il’in, V. P. / Pylkin, A. S. et al. | 2001
- 391
-
Parallel Generation of Percolation Beds Based on Stochastic Cellular AutomataBandini, Stefania / Mauri, Giancarlo / Pavesi, Giulio et al. | 2001
- 401
-
Parallel Simulation of 3D Incompressible Flows and Performance Comparison for Several MPP and Cluster PlatformsBessonov, Oleg / Fougère, Dominique / Roux, Bernard et al. | 2001
- 410
-
Distributed Simulation of Hybrid Systems with HLA SupportBorshchev, Andrei / Karpov, Yuri / Lebedev, Pavel et al. | 2001
- 421
-
Application of the Parallel Computing Technology to a Wave Front Model Using the Finite Element MethodChambarel, André / Bolvin, Hervé et al. | 2001
- 428
-
A General Parallel Computing Approach Using the Finite Element Method and the Objects Oriented Programming by Selected Data TechniqueChambarel, André / Fougère, Dominique et al. | 2001
- 436
-
Parallel Implementation of a Corrected DSMC MethodIgnatieva, Svetlana / Memnonov, Vladimir et al. | 2001
- 442
-
Parallel Algorithms for Non-stationary Problems: Survey of New Generation of Explicit SchemesLaevsky, Yuri M. / Banushkina, Polina V. / Litvinenko, Svetlana A. / Zotkevich, Alexander A. et al. | 2001
- 447
-
Tool Environments in CORBA-Based Medical High Performance ComputingLudwig, Thomas / Lindermeier, Markus / Stamatakis, Alexandros / Rackl, Günther et al. | 2001
- 456
-
Parallel Algorithms for the Analysis of Biological SequencesMauri, Giancarlo / Pavesi, Giulio et al. | 2001
- 469
-
Some Parallel Monte Carlo AlgorithmsMikhailov, G. A. et al. | 2001
- 480
-
Implementation of the Parallel Four Points Modified Explicit Group Iterative Algorithm on Shared Memory Parallel ComputerOthman, M. / Abdullah, A. R. et al. | 2001
- 490
-
A Parallel Expressed Sequence Tag (EST) Clustering ProgramPedretti, Kevin / Scheetz, Todd / Braun, Terry / Roberts, Chad / Robinson, Natalie / Casavant, Thomas et al. | 2001
- 498
-
Protein Sequence Comparison on the Instruction Systolic ArraySchmidt, Bertil / Schröder, Heiko / Schimmler, Manfred et al. | 2001
- 510
-
SCI-Based LINUX PC-Clusters as a Platform for Electromagnetic Field CalculationsTrinitis, Carsten / Schulz, Martin / Eberl, Michael / Karl, Wolfgang et al. | 2001