8. PaCT 2005: Krasnoyarsk, Russia

• Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami:
  On Evaluating the Performance of Security Protocols. 1-15
  
• Maria V. Andreeva, Irina Virbitskaite:
  Timed Equivalences for Timed Event Structures. 16-26
  
• Vladimir A. Bashkin, Irina A. Lomazova:
  Similarity of Generalized Resources in Petri Nets. 27-41
  
• R. S. Dubtsov:
  Real-Time Event Structures and Scott Domains. 42-48
  
• 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
  
• Michel Raynal, Matthieu Roy:
  Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. 59-73
  
• Valery A. Sokolov, Eugeny A. Timofeev:
  An Approach to the Implementation of the Dynamical Priorities Method. 74-78
  
• Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson:
  Information Flow Analysis for VHDL. 79-98
  
• Olga L. Bandman:
  Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation. 99-113
  
• Stefania Bandini, Sara Manzoni, Giuseppe Vizzari:
  Situated Agents Interaction: Coordinated Change of State for Adjacent Agents. 114-128
  
• Mathias Halbach, Rolf Hoffmann:
  Optimal Behavior of a Moving Creature in the Cellular Automata Model. 129-140
  
• Risto Honkanen:
  Systolic Routing in an Optical Butterfly. 141-150
  
• Hongrak Son, Hyunjung Kim, Hyongsuk Kim, Kil To Chong:
  Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder. 151-158
  
• A. S. Nepomniaschaya:
  Associative Parallel Algorithm for Dynamic Reconstruction of a Minimum Spanning Tree After Deletion of a Vertex. 159-173
  
• Evgeny V. Rusin:
  The Use of Vertical Processing Principle in Parallel Image Processing on Conventional MIMD Computers. 174-185
  
• Victor G. Tsaregorodtsev:
  Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers. 186-192
  
• Sung Goo Yoo, Kil To Chong, Hyongsuk Kim:
  Development of Predictive TFRC with Neural Network. 193-205
  
• Gennady A. Oparin, Alexei P. Novopashin:
  Planning of Parallel Abstract Programs as Boolean Satisfiability. 206-215
  
• 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
  
• Yong Feng, Yan-yuan Zhang, Rui-yong Jia, Xiao Zhang:
  Online Virtual Disk Migration with Performance Guarantees in a Shared Storage Environment. 226-238
  
• João Fernando Ferreira, João Luís Sobral:
  ParC#: Parallel Computing with C# in .Net. 239-248
  
• MinHwan Ok, Myong-Soon Park:
  Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching. 249-262
  
• Stefan Schamberger:
  A Shape Optimizing Load Distribution Heuristic for Parallel Adaptive FEM Computations. 263-277
  
• 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
  
• Alexandros Stamatakis, Michael Ott, Thomas Ludwig:
  RAxML-OMP: An Efficient Program for Phylogenetic Inference on SMPs. 288-302
  
• 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
  
• Dominique Fougère, M. Gorodnichev, N. Malyshkin, Victor E. Malyshkin, Arkadi I. Merkulov, Bernard Roux:
  NumGrid Middleware: MPI Support for Computational Grids. 313-320
  
• Young-Joo Kim, Mi-Young Park, So-Hee Park, Yong-Kee Jun:
  A Practical Tool for Detecting Races in OpenMP Programs. 321-330
  
• Jie Tao, Jürgen Jeitner, Carsten Trinitis, Wolfgang Karl, Josef Weidendorfer:
  Comprehensive Cache Inspection with Hardware Monitors. 331-345
  
• 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
  
• 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
  
• Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li:
  A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons. 367-380
  
• Giancarlo Alfonsi, Leonardo Primavera:
  A Parallel Computational Code for the Education of Coherent Structures of Turbulence in Fluid Dynamics. 381-392
  
• Costin Badica, Maria Ganzha, Marcin Paprzycki, Amalia Pirvanescu:
  Experimenting with a Multi-agent E-Commerce Environment. 393-402
  
• Márcio Bastos Castro, Lucas Baldo, Luiz Gustavo Fernandes, Mateus Raeder, Pedro Velho:
  A Parallel Version for the Propagation Algorithm. 403-412
  
• Marina A. Chicheva, Marat Aliev, Alexey Yershov:
  Parallelization Techniques for Multidimensional Hypercomplex Discrete Fourier Transform. 413-419
  
• Alexey Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov:
  An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF. 420-432
  
• Vladimir D. Korneev, Vitalii A. Vshivkov, Galina G. Lazareva, V. K. Kedrinskii:
  The Parallel Implementation of the Algorithm Solution of Model for Two-Phase Cluster in Liquids. 433-445
  
• Olga Nechaeva:
  Neural Network Approach for Parallel Construction of Adaptive Meshes. 446-451
  
• Dana Petcu, Marcin Paprzycki, Maria Ganzha:
  Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools. 452-456
  
• Alexei V. Snytnikov, Vitalii A. Vshivkov:
  A Multigrid Parallel Program for Protoplanetary Disc Simulation. 457-467