Parallel and distributed processing : 10 IPPS/SPDP'98 Workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distrubuted Processing, Orlando, Florida, USA, March 30-April 3, 1998, proceedings
著者
書誌事項
Parallel and distributed processing : 10 IPPS/SPDP'98 Workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distrubuted Processing, Orlando, Florida, USA, March 30-April 3, 1998, proceedings
(Lecture notes in computer science, 1388)
Springer, c1998
大学図書館所蔵 全48件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress.
In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems.
目次
Dynamic reconfiguration of a PMMLA for high-throughput applications.- Virtual FPGAs: Some steps behind the physical barriers.- A parallel algorithm for minimum cost path computation on polymorphic processor array.- A performance modeling and analysis environment for reconfigurable computers.- Runtime reconfigurable routing.- An integrated partitioning and synthesis system for dynamically reconfigurable Multi-FPGA architectures.- Temporal partitioning for partially-reconfigurable-field-programmable gate.- A Java development and runtime environment for reconfigurable computing.- Synthesizing reconfigurable sequential machines using Tabular models.- Evaluation of a low-power reconfigurable DSP architecture.- A reconfigurable hardware-monitor for communication analysis in distributed real-time systems.- On reconfgurable co-processing units.- A mathematical benefit analysis of context switching reconfigurable computing.- A configurable computing approach towards real-time target tracking.- HOSMII: A virtual hardware integrated with DRAM.- Hardware reconfigurable neural networks.- A simulator for the reconfigurable mesh architecture.- PACE: Processor architectures for circuit emulation.- Multiparadigm, multilingual interoperability: Experience with converse.- An empirical comparison of runtime systems for conservative parallel simulation.- Synchronizing operations on multiple objects.- Runtime support for virtual BSP computer.- Migration and rollback transparency for arbitrary distributed applications in workstation clusters.- Network-aware distributed computing: A case study.- Efficient runtime thread management for the nano-threads programming model.- A topology based approach to coordinated multicast operations.- Computing with evolving proteins.- A parallel evolutionary algorithm for the vehicle routing problem with heterogeneous fleet.- Locality optimization for program instances.- Artificial neural networks on reconfigurable meshes.- A molecular quasi-random model of computations applied to evaluate collective intelligence.- Replicated shared object model for edge detection with spiral architecture.- Scheduling tasks of a parallel program in two-processor systems with use of cellular automata.- Evolving processes and evolution schedulers for concurrent scheduling controls and parallel evolutionary computation.- An evolutionary approach to multiprocessor scheduling of dependent tasks.- Multiprocessor scheduling using mean-field annealing.- Using the BSP cost model to optimise parallel neural network training.- A fault-tolerant parallel heuristic for assignment problems.- Meta-heuristics for circuit partitioning in parallel test generation.- A survey of randomness and parallelism in comparison problems.- Capturing the connectivity of high-dimensional geometric spaces by parallelizable random sampling techniques.- Optimal bounds on tail probabilities - a simplified approach.- Random sampling techniques in parallel computation.- Randomization in parallel stringology.- Randomized parallel prefetching and buffer management.- Parallel algorithms for finite automata problems.- Randomized routing and PRAM emulation on parallel machines.- On randomized and deterministic schemes for routing and sorting on fixed-connection networks.- High performance linear algebra package LAPACK90.- Ultrafast randomized parallel construction and approximation algorithms for spanning forests in dense graphs.- Parallel randomized techniques for some fundamental geometric problems: A survey.- Randomized algorithms on the mesh.- Implementing parallelism in random discrete event-driven simulation.- Reconfigurable Wormhole Networks: A Realistic Approach.- Scheduling with communication delays and data routing in message passing architectures.- Parallel optimisation in the SCOOP library.- NC algorithms for the single most vital edge problem with respect to all pairs shortest paths.- BIP: A new protocol designed for high performance networking on Myrinet.- COMPaS: A pentium Pro PC-based SMP cluster and its experience.- PULL: ParaStation user-level communication. Design and overview.- Eliminating the protocol stack for socket based communication in shared memory interconnects.- Porting a molecular dynamics application on a low-cost cluster of personal computers running GAMMA.- Optimal communication performance on fast ethernet with GAMMA.- MPI on NT: A preliminary evaluation of the available environments.- Failure recovery for distributed processes in single system image clusters.- The QCD abacus: A cellular automata formulation for continuous gauge symmetries.- Affordable fault tolerance through adaptation.- Design and implementation of the Friends system.- A generalized forward recovery checkpointing scheme.- Derivation of fail-aware membership service specifications.- The timewheel group membership protocol.- Fault-tolerant broadcasting in toroidal networks.- A flexible approach for a fault-tolerant router.- Fault-tolerant message routing for multiprocessors.- Self-testing fault-tolerant real-time systems.- Checkpointing protocols in distributed systems with mobile hosts: A performance analysis.- Performance analysis of a fault-tolerant scheme for location management of mobile hosts.- Fault tolerant mobility planning for rapidly deployable wireless networks.- Building BSP programs using the refinement calculus.- Mechanically verifying the correctness of the Fast Fourier Transform in ACL2.- On the automatic validation of parameterized unity programs.- Tailoring UNITY to distributed program design.- Automatically proving UNITY safety properties with arrays and quantifiers.- Experiments with program parallelization using archetypes and stepwise refinement.- Deriving efficient cache coherence protocols through refinement.- An introduction to mobile UNITY.- An object model for multiprogramming.- A Cottage industry of software publishing: Implications for theories of composition.- Thermal management in embedded systems using MEMS.- A scalable multiprocessor for real-time signal processing.- SafetyNet: Secure communications for embedded high-performance computing.- Partial rearrangements of space-shared FPGAs (Extended Abstract).- Measuring the vulnerability of interconnection networks in embedded systems.- An architecture for rapid distributed fault tolerance.- A resource management model for dynamic, scalable, dependable, real-time systems.- A mapping methodology for designing software task pipelines for embedded signal processing.- Toward embedded development from Advanced Khoros.- Object nets for the design and verification of distributed and embedded applications.- Data parallel programming with the Khoros data services library.- A development tool environment for configuration, build, and launch of complex applications.- Simulation of the communication time for a space-time adaptive processing algorithm on a parallel embedded system.- Optimal configuration of compute nodes for synthetic aperture radar processing.- A visual environment for the development of parallel real-time programs.- Performance analysis of parallel & embedded real-time systems based on measurement and visualization.- Performance range comparison via crossing point analysis.- A tree-driven multiple-rate model of time measuring in object-oriented real-time systems.- Resource reservation for adaptive QOS mapping in real-time mach.- Automated verifications of communication protocols using CCS and BDDs.- NTI: A Network Time Interface M-module for high-accuracy clock synchronization.- Modeling and validation support for interactive networked multimedia applications.- EDF consensus on CAN bus access for dynamic real-time applications.- Using PVM and MPI for co-processed, distributed and parallel scientific visualization.- Surge handling as a measure of real-time system dependability.- Partial security and timeliness in real-time database systems.- A synthesis method for fault-tolerant multicast routing protocol.- Improved videotransmission over lossy channels using parallelization.- Testing of synchronization conditions for distributed real-time applications.- An architecture for network resource monitoring in a distributed environment.
「Nielsen BookData」 より