Skip to main content
  • Conference proceedings
  • © 2005

Parallel Computing Technologies

8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3606)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): PaCT: International Conference on Parallel Computing Technologies

Conference proceedings info: PaCT 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (41 papers)

  1. Front Matter

  2. On Evaluating the Performance of Security Protocols

    • Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson et al.
    Pages 1-15
  3. Timed Equivalences for Timed Event Structures

    • M. V. Andreeva, I. B. Virbitskaite
    Pages 16-26
  4. Similarity of Generalized Resources in Petri Nets

    • Vladimir A. Bashkin, Irina A. Lomazova
    Pages 27-41
  5. Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes

    • Philippe Raipin Parvedy, Michel Raynal, Corentin Travers
    Pages 49-58
  6. An Approach to the Implementation of the Dynamical Priorities Method

    • Valery A. Sokolov, Eugeny A. Timofeev
    Pages 74-78
  7. Information Flow Analysis for VHDL

    • Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson
    Pages 79-98
  8. Situated Agents Interaction: Coordinated Change of State for Adjacent Agents

    • Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
    Pages 114-128
  9. Optimal Behavior of a Moving Creature in the Cellular Automata Model

    • Mathias Halbach, Rolf Hoffmann
    Pages 129-140
  10. Systolic Routing in an Optical Butterfly

    • Risto T. Honkanen
    Pages 141-150
  11. Feasibility of the Circularly Connected Analog CNN Cell Array-Based Viterbi Decoder

    • Hongrak Son, Hyunjung Kim, Hyongsuk Kim, Kil To Chong
    Pages 151-158
  12. Development of Predictive TFRC with Neural Network

    • Sung-goo Yoo, Kil To Chong, Hyong-suk Kim
    Pages 193-205
  13. Planning of Parallel Abstract Programs as Boolean Satisfiability

    • Gennady A. Oparin, Alexei P. Novopashin
    Pages 206-215
  14. Efficient Communication Scheduling Methods for Irregular Data Redistribution in Parallelizing Compilers

    • Shih-Chang Chen, Ching-Hsien Hsu, Chao-Yang Lan, Chao-Tung Yang, Kuan-Ching Li
    Pages 216-225

Other Volumes

  1. Parallel Computing Technologies

Keywords

  • Processing
  • cluster computing
  • component-based systems
  • computational science
  • distributed computing
  • high performance computing
  • multimedia processing
  • parallel algorithms
  • parallel architectures
  • parallel computing
  • parallel programming
  • scheduling
  • simulation
  • tools
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Novosibirsk State Technical University,  

    Victor Malyshkin

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions