8. PaCT 2005:
Krasnoyarsk,
Russia
Victor E. Malyshkin (Ed.):
Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings.
Lecture Notes in Computer Science 3606 Springer 2005, ISBN 3-540-28126-6 BibTeX
- Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami:
On Evaluating the Performance of Security Protocols.
1-15
Electronic Edition (link) BibTeX
- Maria V. Andreeva, Irina Virbitskaite:
Timed Equivalences for Timed Event Structures.
16-26
Electronic Edition (link) BibTeX
- Vladimir A. Bashkin, Irina A. Lomazova:
Similarity of Generalized Resources in Petri Nets.
27-41
Electronic Edition (link) BibTeX
- R. S. Dubtsov:
Real-Time Event Structures and Scott Domains.
42-48
Electronic Edition (link) BibTeX
- Philippe Raipin Parvédy, Michel Raynal, Corentin Travers:
Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes.
49-58
Electronic Edition (link) BibTeX
- Michel Raynal, Matthieu Roy:
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.
59-73
Electronic Edition (link) BibTeX
- Valery A. Sokolov, Eugeny A. Timofeev:
An Approach to the Implementation of the Dynamical Priorities Method.
74-78
Electronic Edition (link) BibTeX
- Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson:
Information Flow Analysis for VHDL.
79-98
Electronic Edition (link) BibTeX
- Olga L. Bandman:
Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation.
99-113
Electronic Edition (link) BibTeX
- Stefania Bandini, Sara Manzoni, Giuseppe Vizzari:
Situated Agents Interaction: Coordinated Change of State for Adjacent Agents.
114-128
Electronic Edition (link) BibTeX
- Mathias Halbach, Rolf Hoffmann:
Optimal Behavior of a Moving Creature in the Cellular Automata Model.
129-140
Electronic Edition (link) BibTeX
- Risto Honkanen:
Systolic Routing in an Optical Butterfly.
141-150
Electronic Edition (link) BibTeX
- Hongrak Son, Hyunjung Kim, Hyongsuk Kim, Kil To Chong:
Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder.
151-158
Electronic Edition (link) BibTeX
- A. S. Nepomniaschaya:
Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree After Deletion of a Vertex.
159-173
Electronic Edition (link) BibTeX
- Evgeny V. Rusin:
The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers.
174-185
Electronic Edition (link) BibTeX
- Victor G. Tsaregorodtsev:
Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers.
186-192
Electronic Edition (link) BibTeX
- Sung Goo Yoo, Kil To Chong, Hyongsuk Kim:
Development of Predictive TFRC with Neural Network.
193-205
Electronic Edition (link) BibTeX
- Gennady A. Oparin, Alexei P. Novopashin:
Planning of Parallel Abstract Programs as Boolean Satisfiability.
206-215
Electronic Edition (link) BibTeX
- Shih-Chang Chen, Ching-Hsien Hsu, Chao-Yang Lan, Chao-Tung Yang, Kuan-Ching Li:
Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers.
216-225
Electronic Edition (link) BibTeX
- Yong Feng, Yan-yuan Zhang, Rui-yong Jia, Xiao Zhang:
Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment.
226-238
Electronic Edition (link) BibTeX
- João Fernando Ferreira, João Luís Sobral:
ParC#: Parallel Computing with C# in .Net.
239-248
Electronic Edition (link) BibTeX
- MinHwan Ok, Myong-Soon Park:
Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching.
249-262
Electronic Edition (link) BibTeX
- Stefan Schamberger:
A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations.
263-277
Electronic Edition (link) BibTeX
- Chao-Tung Yang, Chun-Hsiang Chen, Kuan-Ching Li, Ching-Hsien Hsu:
Performance Analysis of Applying Replica Selection Technology for Data Grid Environments.
278-287
Electronic Edition (link) BibTeX
- Alexandros Stamatakis, Michael Ott, Thomas Ludwig:
RAxML-OMP: An Efficient Program for Phylogenetic Inference on SMPs.
288-302
Electronic Edition (link) BibTeX
- Sergey Abramov, Alexey I. Adamovich, Alexander Inyukhin, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk, Yuri Shevchuk, Alexander Vodomerov:
OpenTS: An Outline of Dynamic Parallelization Approach.
303-312
Electronic Edition (link) BibTeX
- Dominique Fougère, M. Gorodnichev, N. Malyshkin, Victor E. Malyshkin, Arkadi I. Merkulov, Bernard Roux:
NumGrid Middleware: MPI Support for Computational Grids.
313-320
Electronic Edition (link) BibTeX
- Young-Joo Kim, Mi-Young Park, So-Hee Park, Yong-Kee Jun:
A Practical Tool for Detecting Races in OpenMP Programs.
321-330
Electronic Edition (link) BibTeX
- Jie Tao, Jürgen Jeitner, Carsten Trinitis, Wolfgang Karl, Josef Weidendorfer:
Comprehensive Cache Inspection with Hardware Monitors.
331-345
Electronic Edition (link) BibTeX
- Kun-Ming Yu, Yu-Weir Chang, YaoHua Yang, Jiayi Zhou, Chun-Yuan Lin, Chuan Yi Tang:
A Fast Technique for Constructing Evolutionary Tree with the Application of Compact Sets.
346-354
Electronic Edition (link) BibTeX
- Jesse D. Walters, Thomas L. Casavant, John P. Robinson, Thomas B. Bair, Terry A. Braun, Todd E. Scheetz:
XenoCluster: A Grid Computing Approach to Finding Ancient Evolutionary Genetic Anomalies.
355-366
Electronic Edition (link) BibTeX
- Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li:
A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons.
367-380
Electronic Edition (link) BibTeX
- Giancarlo Alfonsi, Leonardo Primavera:
A Parallel Computational Code for the Education of Coherent Structures of Turbulence in Fluid Dynamics.
381-392
Electronic Edition (link) BibTeX
- Costin Badica, Maria Ganzha, Marcin Paprzycki, Amalia Pirvanescu:
Experimenting with a Multi-agent E-Commerce Environment.
393-402
Electronic Edition (link) BibTeX
- Márcio Bastos Castro, Lucas Baldo, Luiz Gustavo Fernandes, Mateus Raeder, Pedro Velho:
A Parallel Version for the Propagation Algorithm.
403-412
Electronic Edition (link) BibTeX
- Marina A. Chicheva, Marat Aliev, Alexey Yershov:
Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform.
413-419
Electronic Edition (link) BibTeX
- Alexey Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov:
An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF.
420-432
Electronic Edition (link) BibTeX
- Vladimir D. Korneev, Vitalii A. Vshivkov, G. G. Lazareva, V. K. Kedrinskii:
The Parallel Implementation of the Algorithm Solution of Model for Two-Phase Cluster in Liquids.
433-445
Electronic Edition (link) BibTeX
- Olga Nechaeva:
Neural Network Approach for Parallel Construction of Adaptive Meshes.
446-451
Electronic Edition (link) BibTeX
- Dana Petcu, Marcin Paprzycki, Maria Ganzha:
Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools.
452-456
Electronic Edition (link) BibTeX
- Alexei V. Snytnikov, Vitalii A. Vshivkov:
A Multigrid Parallel Program for Protoplanetary Disc Simulation.
457-467
Electronic Edition (link) BibTeX
Copyright © Wed Jun 4 18:49:03 2008
by Michael Ley (ley@uni-trier.de)
