close
1.

図書

図書
edited by Peter Milligan, Patrick Corr
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiv, 290 p. ; 23 cm
所蔵情報: loading…
2.

図書

図書
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin : Springer, c1999  235 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1659
所蔵情報: loading…
目次情報: 続きを見る
Scheduling for Parallel Supercomputing: A Historical Perspective of Achievable Utilization / James Patton Jones ; Bill Nitzberg
On the Design and Evaluation of Job Scheduling Algorithms / Jochen Krallmann ; Uwe Schwiegelshohn ; Ramin Yahyapour
Comparing Logs and Models of Parallel Workloads Using the Co-plot Method / David Talby ; Dror G. Feitelson ; Adi Raveh
Benchmarks and Standards for the Evaluation of Parallel Job Schedulers / Steve J. Chapin ; Walfredo Cirne ; Scott T. Leutenegger ; Warren Smith
The Effect of Correlating Quantum Allocation and Job Size for Gang Scheduling / Gaurav Ghare
Scheduling on AP/Linux for Fine and Coarse Grain Parallel Processes / Kuniyasu Suzaki ; David Walsh
Job Re-packing for Enhancing the Performance of Gang Scheduling / B. B. Zhou ; R. P. Brent ; C. W. Johnson ; D. Walsh
Process Tracking for Parallel Job Control / Hubertus Franke ; Jose E. Moreira ; Pratap Pattnaik
The Legion Resource Management System / Dimitrios Katramatos ; John Karpovich ; Andrew S. Grimshaw
Scheduling a Metacomputer with Uncooperative Sub-schedulers / Jorn Gehring ; Thomas Preiss
Using Run-Time Predictions to Estimate Queue Wait Times and Improve Scheduler Performance / Valerie Taylor ; Ian Foster
Deterministic Batch Scheduling without Static Partitioning / Kostadis Roussos ; Nawaf Bitar ; Robert English
Author Index
Scheduling for Parallel Supercomputing: A Historical Perspective of Achievable Utilization / James Patton Jones ; Bill Nitzberg
On the Design and Evaluation of Job Scheduling Algorithms / Jochen Krallmann ; Uwe Schwiegelshohn ; Ramin Yahyapour
Comparing Logs and Models of Parallel Workloads Using the Co-plot Method / David Talby ; Dror G. Feitelson ; Adi Raveh
3.

図書

図書
Peter Zinterhof, Marian Vajteršic, Andreas Uhl (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999  xv, 604 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1557
所蔵情報: loading…
目次情報: 続きを見る
Parallel Numerics
Invited Talks
Teraflops Computing: A Challenge to Parallel Numerics? / F. Hossfeld
Non-standard Parallel Solution Strategies for Distributed Sparse Linear Systems / Y. Saad ; M. Sosonkina
Linear Algebra
Optimal Tridiagonal Solvers on Mesh Interconnection Networks / E.E. Santos
Parallel Pivots LU Algorithm on the Cray T3E / R. Asenjo ; E.L. Zapata
Experiments with Parallel One-Sided and Two-Sided Algorithms for SVD / M. Bečka ; S. Robert ; M. Vajteršic
Combined Systolic Array for Matrix Portrait Computation / G. Okša
Differential Equations and Interpolation
A Class of Explicit Two-Step Runge-Kutta Methods with Enlarged Stability Regions for Parallel Computers / H. Podhaisky ; R. Weiner
A Parallel Strongly Implicit Algorithm for Solution of Diffusion Equations / L. Halada ; M. Lucká
A Parallel Algorithm for Lagrange Interpolation on k-ary n-Cubes / H. Sarbazi-Azad ; L.M. Mackenzie ; M. Ould-Khaoua
(Quasi) Monte Carlo Methods
Parallel Quasi-Monte Carlo Integration Using (t,s)-Sequences / W.Ch. Schmid ; A. Uhl
Parallel Random Number Generation: Long-Range Correlations Among Multiple Processors / K. Entacher ; S. Wegenkittl
A Monte-Carlo Method with Inherent Parallelism for Numerical Solving Partial Differential Equations with Boundary Conditions / E. Hausenblas
Numerical Software
Blocking Techniques in Numerical Software / W.N. Gansterer ; D.F. Kvasnicka ; C.W. Ueberhuber
HPF and Numerical Libraries / H.J. Ehold
PARADEIS: An Object Library for Parallel Sparse Array Computation / F. Delaplace ; D. Remy
Numerical Applications
Performance Analysis and Derived Parallelization Strategy for a SCF Program at the Hartree Fock Level / S. Höfinger ; O. Steinhauser ; P. Zinterhof
Computational Issues in Optimizing Ophthalmic Lens / E. Fontdecaba ; J.M. Cela ; J.C. Dürsteler
Parallel Finite Element Modeling of Solidification Processes / R. Wyrzykovjski ; N. Sczygiol ; T. Olas ; J. Kanevski
Parallel Computing in Image Processing, Video Processing, and Multimedia
Architectural Approaches for Multimedia Processing / S. Panchanathan
On Parallel Reconfigurable Architectures for Image Processing / E. Pissaloux
Image Segmentation and Image Understanding
Parallel Multiresolution Image Segmentation with Watershed Transformation / A.N. Moga
Solving Irregular Inter-processor Data Dependency in Image Understanding Tasks / Y. Chung ; J.-W. Park
A New Parallelism Management Scheme for Multiprocessor Systems / X. Verians ; J.-D. Legat ; J.-J. Quisquater ; B. Macq
Motion Estimation and Block Matching
A Flexible VLSI Parallel Processing System for Block-Matching Motion Estimation in Low Bit-Rate Video Coding Applications / D. Xu ; R. Sotudeh
Hierarchical Block Matching Motion Estimation on a Hypercube Multiprocessor / C. Konstantopoulos ; A. Svolos ; C. Kaklamanis
Classification Based Speed-Up Methods for Fractal Image Compression on Multicomputers / J. Hämmerle
Accurate Motion Estimation in Image Sequences: Massive vs. Distributed Parallelism / L. Gatineau ; F. Meunier
Video Processing
A Real-Time Distributed Video Image Processing System on PC-Cluster / D. Arita ; Y. Hamada ; R. Taniguchi
Modeling and Scheduling for MPEG-4 Based Video Encoder Using a Cluster of Workstations / Y. He ; I. Ahmad ; M.L. Liou
Fractal Video Compression on Shared Memory Systems / A. Pommer
The Split-Proxy Approach: A New Architecture for Parallel Video Servers / G. De Pietro ; M. Lerro
Wavelet Techniques
A Wavelet Toolbox for Large Scale Image Processing / G. Uytterhoeven ; D. Roose ; A. Bultheel
Hardware and Software Aspects for 3-D Wavelet Decomposition on Shared Memory MIMD Computers / R. Kutil
On the Parallel Implementation of the Fast Wavelet Transform on MIMD Distributed Memory Environments / S. Corsaro ; L. D'Amore ; A. Murli
Algorithms and Programming Paradigms for 2-D Wavelet Packet Decomposition on Multicomputers and Multiprocessors / M. Feil
Real-Time Layered Video Compression Using SIMD Computation / M.V. Jensen ; B. Nielsen
Satellite Image Processing
Parallelisation of a Satellite Signal Processing Code - Strategies and Tools / I. Glendinning
MMIPPS- A Software Package for Multitemporal and Multispectral Image Processing on Parallel Systems / J. Janoth ; M.M. Eisl ; E.M. Bakker ; R.v. Sterkenburg ; R. Borgia ; S. Sabina ; F. Volpe
Parallel Matching of Synthetic Aperture Radar Images / A. Goller
General Aspects of Parallel Computation
Data Structures
Parallel Decomposition of Distance-Hereditary Graphs / S. Hsieh
Asynchronous Parallel Construction of Recursive Tree Hierarchies / D. Bartz ; W. Straßer
The Locality Property in Topological Irregular Graph Hierarchies / H. Kofler ; E.J. Haunschmid
Data Partitioning
Geometry-Aided Rectilinear Partitioning of Unstructured Meshes / R. Koppler
Reducing Cache Conflicts by a Parametrized Memory Mapping / D. Genius ; J. Eisenbiegler
Optimizing I/O for Irregular Applications on Distributed-Memory Machines / J. Carretero ; J. No ; A. Choudhary
Resource Allocation and Performance Analysis
Cellular Multiprocessor Arrays with Adaptive Resource Utilization / H.-J. Stolberg ; M. Ohmacht ; P. Pirsch
NOPE: A Nondeterministic Program Evaluator / D. Kranzlmütter ; J. Volkert
Visual-MCM: Visualizing Execution Histories on Multiple Memory Consistency Models / A.C. Melo ; S.C. Chagas
Cluster Computing
High Performance Implementation of MPI for Myrinet / M. Golebiewski ; M. Baum ; R. Hempel
Parallel Cluster Computing with IEEE1394-1995 / L. Böszörményi ; G. Hölzl ; E. Pirker
Simulating Load Balancing on Heterogenous Workstation Clusters / H. Hlavacs
Simulation and Applications
Global Virtual Time Approximation for Split Queue Time Warp / H. Hagenauer
MPI-parallelizied Radiance on SGI CoW and SMP / R. Koholka ; H. Mayer
Parallel Sub-collection Join Query Algorithms for a High Performance Object-Oriented Database Architecture / D. Taniar ; J.W. Rahayu
Posters
An Evaluation of Parallel Computing in PC Clusters with Fast Ethernet / M. Acacio ; O. Cánovas ; J.M. García ; P.E. López-de-Teruel
Parallel MPEG-2 Encoder on ATM and Ethernet-Connected Workstations / S.M. Akramullah
Block and Partitioned Neville Elimination / P. Alonso ; J.M. Peña
An Object-Oriented DataBase for Movie-on-Demand: Two Approaches / F. Amalfitano ; A. D'Acierno ; I. Marra ; L. Sansone
Parallel Tree Algorithms for N-body Simulations / V. Antonuccio-Delogu ; U. Becciani ; M. Gambera ; A. Pagliaro
Parallel Numerical Algorithms for Distributed Memory Machines / P. Bassomo ; I. Sakho ; A. Corhel
Dynamic Scheduling on a Network Heterogenous Computer System / J. Brest ; V. Žumer ; M. Ojsteršek
Interaction between PVM Parameters and Communication Performances on ATM Networks / M. Giordano ; M.M. Furnari ; F. Vitohello
How To Share a Divisible Load in a Hypercube / W. Glazek
Overlapped Four-Step FFT Computation / H. Karner
Design of a Parallel Processing System for Facial Image Retrieval / H. Lee ; K.-A. Moon
Inter-procedural Analysis for Parallelization of Java Programs / A. Magnaghi ; S. Sakai ; H. Tanaka
Fast Recursive Computation of Local Axial Moments by Using Primitive Kernel Functions / R. Palenichka
Speed Up Estimation for a Parallel Method for Systems of Linear Ordinary Differential Equations / M. Pavluš
Efficient Parallel Algorithms for Dense Cholesky Factorization / P.-Y. P. Chu
Author Index
Parallel Numerics
Invited Talks
Teraflops Computing: A Challenge to Parallel Numerics? / F. Hossfeld
4.

図書

図書
Alex F. Sisti, chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c1997  ix, 348 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3083
所蔵情報: loading…
5.

図書

図書
Sudhakar Yalamanchili, José Duato (eds.)
出版情報: Berlin : Springer, c1998  xii, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1417
所蔵情報: loading…
6.

図書

図書
Joost-Pieter Katoen (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: loading…
7.

図書

図書
edited by Nello Scarabottolo, Peter Milligan
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xviii, 708 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
Agoston E. Eiben ... [et al.] (eds.)
出版情報: Berlin : Springer, c1998  xxiii, 1041 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1498
所蔵情報: loading…
9.

図書

図書
David O'Hallaron (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  ix, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1511
所蔵情報: loading…
目次情報: 続きを見る
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
On the Automatic Parallelization of Sparse and Irregular Fortran Programs / Yuan Lin ; David Padua
Loop Transformations for Hierarchical Parallelism and Locality / Vivek Sarkar
Dataflow Analysis Driven Dynamic Data Partitioning / Jodi Tims ; Rajiv Gupta ; Mary Lou Soffa
A Case for Combining Compile-Time and Run-Time Parallelization / Sungdo Moon ; Byoungro So ; Mary W. Hall ; Brian Murphy
Compiler and Run-Time Support for Adaptive Load Balancing in Software Distributed Shared Memory Systems / Sotiris Ioannidis ; Sandhya Dwarkadas
Efficient Interprocedural Data Placement Optimisation in a Parallel Library / Olav Beckmann ; Paul H. J. Kelly
A Framework for Specializing Threads in Concurrent Run-Time Systems / Gregory D. Benson ; Ronald A. Olsson
Load Balancing with Migrant Lightweight Threads / David Cronk ; Piyush Mehrotra
Integrated Task and Data Parallel Support for Dynamic Applications / James M. Rehg ; Kathleen Knobe ; Umakishore Ramachandran ; Rishiyur S. Nikhil ; Arun Chauhan
Supporting Self-Adaptivity for SPMD Message-Passing Applications / M. Cermele ; M. Colajanni ; S. Tucci
Evaluating the Effectiveness of a Parallelizing Compiler / Dixie Hisley ; Gagan Agrawal ; Lori Pollock
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers / Hirotaka Yamamoto ; Kenjiro Taura ; Akinori Yonezawa
Design of the GODIVA Performance Measurement System / Terrence W. Pratt
Instrumentation Database for Performance Analysis of Parallel Scientific Applications / Jeffrey Nesheiwat ; Boleslaw K. Szymanski
A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines / Mustafa Uysal ; Tahsin M. Kurc ; Alan Sussman ; Joel Saltz
MARS: A Distributed Memory Approach to Shared Memory Compilatio / M.F.P. O'Boyle
More on Scheduling Block-Cyclic Array Redistribution / Frédéric Desprez ; Stéphane Domas ; Jack Dongarra ; Antoine Petitet ; Cyril Randriamaro ; Yves Robert
Flexible and Optimized IDL Compilation for Distributed Applications / Eric Eide ; Jay Lepreau ; James L. Simister
QoS Aspect Languages and Their Runtime Integration / Joseph P. Loyall ; David E. Bakken ; Richard E. Schantz ; John A. Zinky ; David A. Karr ; Rodrigo Vanegas ; Kenneth R. Anderson
Statistical Properties of Host Load / Peter A. Dinda
Locality Enhancement for Large-Scale Shared-Memory Multiprocessors / Tarik Abdelrahman ; Naraig Manjikian ; Gary Liu ; S. Tandri
Language and Compiler Support for Out-of-Core Irregular Applications on Distributed-Memory Multiprocessors / Peter Brezany ; Alok Choudhary ; Minh Dang
Detection of Races and Control-Flow Nondeterminism / Mindong Feng ; Chung Kwong Yuen
Improving Locality in Out-of-Core Computations Using Data Layout Transformations / M. Kandemir ; A. Choudhary ; J. Ramanujam
Optimizing Computational and Spatial Overheads in Complex Transformed Loops / Dattatraya Kulkarni ; Michael Stumm
Building a Conservative Parallel Simulation with Existing Component Libraries / Chu-Cheow Lim ; Yoke-Hean Low
A Coordination Layer for Exploiting Task Parallelism with HPF / Salvatore Orlando ; Raffaele Perego
InterAct: Virtual Sharing for Interactive Client-Server Applications / Srinivasan Parthasarathy
Standard Templates Adaptive Parallel Library (STAPL) / Lawrence Rauchwerger ; Francisco Arzu ; Koji Ouchi
Author Index
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
10.

図書

図書
Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn (eds.)
出版情報: Berlin : Springer, c1999  viii, 203 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1732
所蔵情報: loading…
目次情報: 続きを見る
Complex Numbers for Java / Michael Philippsen ; Edwin Günthner
Automatic Generation of Executable Data Structures / Nobuhisa Fujinami
Improving Cache Utilization of Linear Relaxation Methods:
Theory and Practice / Federico Bassetti ; Kei Davis ; Madhav Marathe ; Dan Quinlan ; Bobby Philip
An Object-Oriented Framework for Parallel Simulation of Ultra-large Communication Networks / Dhananjai Madhava Rao ; Philip A. Wilsey
Exploiting Parallelism in Real-Time Music and Audio Applications / Amar Chaudhary ; Adrian Freed ; David Wessel
ARAMIS: A Remote Access Medical Imaging System / David Sarrut ; Serge Miguet
Language Interoperability for High-Performance Parallel Scientific Components / Brent Smolinski ; Scott Kohn ; Noah Elliott ; Nathan Dykman
A Framework for Object-Oriented Metacomputing / Nenad Stankovic ; Kang Zhang
Tiger: Toward Object-Oriented Distributed and Parallel Programming in Global Environment / Youn-Hee Han ; Chan Yeol Park ; Chong-Sun Hwang ; Young-Sik Jeong
SIFFEA: Scalable Integrated Framework for Finite Element Analysis / Xiangmin Jiao ; Xiang-Yang Li ; Xiaosong Ma
Overture: Object-Oriented Tools for Applications with Complex Geometry / David L. Brown ; William D. Henshaw
Generic Programming for Parallel Mesh Problems / Jens Gerlach ; Mitsuhisa Sato
Generic Graph Algorithms for Sparse Matrix Ordering / Lie-Quan Lee ; Jeremy G. Siek ; Andrew Lumsdaine
Using Object-Oriented Techniques for Realizing Parallel Architectural Skeletons / Dhrubajyoti Goswami ; Ajit Singh ; Bruno R. Preiss
Loci: A Deductive Framework for Graph-Based Algorithms / Edward A. Luke
The OptSolve++ Software Components for Nonlinear Optimization and Root-Finding / David L. Bruhwiler ; Svetlana G. Shasharina ; John R. Cary
Are Generic Parallel Algorithms Feasible for Quantum Lattice Models? / Matthias Troyer
A Runtime Monitoring Framework for the TAU Profiling System / Timothy J. Sheehan ; Allen D. Malony ; Sameer S. Shende
SharedOnRead Optimization in Parallel Object-Oriented Programming / Denis Caromel ; Eric Noulard ; David Sagnol
Branch and Bound Based Load Balancing for Parallel Applications / Shobana Radhakrishnan ; Robert K. Brunner ; Laxmikant V. Kale
Author Contacts
Author Index
Complex Numbers for Java / Michael Philippsen ; Edwin Günthner
Automatic Generation of Executable Data Structures / Nobuhisa Fujinami
Improving Cache Utilization of Linear Relaxation Methods:
11.

図書

図書
editors, K. Li, T. S. Abdelrahman, E. Luque
出版情報: Anaheim, CA : IASTED/ACTA Press, c1996  iv, 546 p. ; 28 cm
所蔵情報: loading…
12.

図書

図書
editors, K. Li ... [et al.]
出版情報: Anaheim, CA : IASTED/ACTA Press, c1997  xiv, 588 p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
editors, Yi Pan, Selim G. Akl, and Keqin Li
出版情報: Anaheim, CA : IASTED/ACTA Press, [1998]  v, 722 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1998  viii, 310 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
edited by A. Gottlieb, Y. Li, and E. Schenfeld ; sponsored by IEEE Computer Society Technical Committee on Computer Architecture (TCCA), the National Science Foundation (NSF) in cooperation with ACM Special Interest Group on Architecture (SIGARCH) ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xvi, 369 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
Bo Kågström ... [et al.]
出版情報: Berlin : Springer, c1998  xiv, 586 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1541
所蔵情報: loading…
目次情報: 続きを見る
Speaker information.1
Communications Latency Hiding Techniques for a Reconfigurable Optical Interconnect: Benchmark Studies / A. Afsahi ; N.J. Dimopoulos
Multifrontal Solvers Within the PARASOL Environment / P. Amestoy ; I. Duff ; J.-Y. L'Excellent
Parallelization of a 3D FD-TD Code for the Maxwell Equations Using MPI / U. Andersson
Advanced Calculations and Visualization of Enzymatic Reactions with the Combined Quantum Classical Molecular Dynamics Code / P. Bala ; P. Grochowski ; K. Nowiński ; T. Clark ; B. Lesyng ; J.A. McCammon
Memory Access Profiling Tools for Alpha-based Architectures / S. M. Balle ; S.C. Steely, Jr.
Parallelized Block-Structured Newton-Type Methods in Dynamic Process Simulation / J. Borchardt
Tuning the Performance of Parallel Programs on NOWs Using Performance Analysis Tool / M. Bubak ; W. Funika ; J. Mościński
Numerical Simulation of 3D Fully Nonlinear Water Waves on Parallel Computers / X. Cai
Fluctuations in the Defect Creation by Ion Beam Irradiation / R. Chakarova ; I. Pázsit
Parallelisation of an Industrial Hydrodynamics Application Using the PINEAPL Library / T. Christensen ; A.R. Krommer ; J. Larsen ; L. Sørensen
Hyper-Rectangle Selection Strategy for Parallel Adaptive Numerical Integration / R. Čiegis ; R. Šablinskas ; J. Waśniewski
Parallelising Fuzzy Queries for Spatial Data Modelling on a Cray T3D / A. Clematis ; A. Coda ; M. Spagnuolo ; S. Spinello ; T. Sloan
Hyper-Systolic Implementation of BLAS-3 Routines on the APE100/Quadrics Machine / M. Coletta ; T. Lippert ; P. Palazzari
Resource Management for Ultra-scale Computational Grid Applications / K. Czajkowski ; I. Foster ; C. Kesselman
A ScaLAPACK-Style Algorithm for Reducing a Regular Matrix Pair to Block Hessenberg-Triangular Form / K. Dackland ; B. Kågström
Parallel Tight-Binding Molecular Dynamics Code Based on Integration of HPF and Optimized Parallel Libraries / B. Di Martino ; M. Celino ; M. Briscolini ; L. Colombo ; S. Filippone ; V. Rosato
Parallel Computation of Multidimensional Scattering Wavefunctions for Helmholtz/Schroedinger Equations / Å. Edlund ; I. Bar-On ; U. Peskin
New Serial and Parallel Recursive QR Factorization Algorithms for SMP Systems / E. Elmroth ; F. Gustavson
Visualization of CFD Computations / J. Engström
Improving the Performance of Scientific Parallel Applications in a Cluster of Workstations / A. Flores ; J.M. García
On the Parallelisation of Non-linear Optimisation Algorithms for Ophthalmical Lens Design / E. Fontdecaba Baig ; J. M. Cela Espín ; J.C. Dürsteler Lopez
Modelica - A Language for Equation-Based Physical Modeling and High Performance Simulation / P. Fritzson
Distributed Georeferring of Remotely Sensed Landsat-TM Imagery Using MPI / J.D. García-Consuegra ; J.A. Gallud ; G. Sebastián
Parallel Test Pattern Generation Using Circuit Partitioning in a Shared-Memory Multiprocessor / C. Gil ; J. Ortega ; J.L. Bernier ; M.D. Gil
Parallel Adaptive Mesh Refinement for Large Eddy Simulation Using the Finite Element Method / D. Golden ; N. Hurley ; S. McGrath
WSSMP: A High-Performance Serial and Parallel Symmetric Sparse Linear Solver / A. Gupta ; M. Joshi ; V. Kumar
Recursive Blocked Data Formats and BLAS's for Dense Linear Algebra Algorithms / A. Henriksson ; I. Jonsson ; P. Ling
Superscalar GEMM-based Level 3 BLAS - The On-going Evolution of a Portable and High-Performance Library
Parallel Solution of Some Large-Scale Eigenvalue Problems Arising in Chemistry and Physics / D.L. Harrar II ; M.R. Osborne
An Embarrassingly Parallel ab initio MD Method for Liquids / F. Hedman ; A. Laaksonen
A New Parallel Preconditioner for the Euler Equations / L. Hemmingsson ; A. Kähäri
Partitioning Sparse Rectangular Matrices for Parallel Computations of Ax and ATv / B. Hendrickson ; T.G. Kolda
NetLink: A Modern Data Distribution Approach Applied to Transparent Access of High Performance Software Libraries / I. Holmqvist ; E. Lindström
Modernization of Legacy Application Software / J. Howe ; S.B. Baden ; T. Grimmett ; K. Nomura
Parallel Methods for Fluid-Structure Interaction / C.B. Jenssen ; T. Kvamsdal ; K.M. Okstad ; J. Amundsen
Parallel Computing Tests on Large-Scale Convex Optimization / M. Kallio ; S. Salo
Parallel Sparse Matrix Computations in the Industrial Strength PINEAPL Library
Massively Parallel Linear Stability Analysis with P_ARPACK for 3D Fluid Flow Modeled with MPSalsa / R.B. Lehoucq ; A.G. Salinger
Parallel Molecular Dynamics Simulations of Biomolecular Systems / A. Lyubartsev
A Parallel Solver for Animal Genetics / P. Madsen ; M. Larsen
Scheduling of a Parallel Workload: Implementation and Use of the Argonne Easy Scheduler at PDC / L. Malinowsky ; P. Öster
An Algorithm to Evaluate Spectral Densities of High-Dimensional Stationary Diffusion Stochastic Processes with Non-linear Coefficients: The General Scheme and Issues on Implementation with PVM / Y.V. Mamontov ; M. Willander
High-Performance Simulation of Evolutionary Aspects of Epidemics / W. Maniatty ; B.K. Szymanski ; T. Caraco
A Parallel Algorithm for Computing the Extremal Eigenvalues of Very Large Sparse Matrices / F. Manne
Technologies for Teracomputing: A European Option / A. Mathis
High Performance Fortran: Status and Prospects / P. Mehrotra ; J. Van Rosendale ; H. Zima
PAVOR-Parallel Adaptive Volume Rendering System / M. Meißner
Simulation Steering with SCIRun in a Distributed Environment / M. Miller ; C.D. Hansen ; C.R. Johnson
Addressing the Requirements of ASCI-class Systems / J.H. Mirza
A Parallel Genetic Algorithm for the Graphs Mapping Problem / O.G. Monakhov ; E.B. Grosbein
Parallel Wavelet Transforms / O. Møller Nielsen
Writing a Multigrid Solver Using Co-array Fortran / R.W. Numrich ; J. Reid ; K. Kim
Exploiting Visualization and Direct Manipulation to Make Parallel Tools More Communicative / C.M. Pancake
Deploying Fault-Tolerance and Task Migration with NetSolve / J.S. Plank ; H. Casanova ; M. Beck ; J. Dongarra
Comparison of Implicit and Explicit Parallel Programming Models for a Finite Element Simulation Algorithm / J. Płażek ; K. Banaś ; J. Kitowski
Parallel Algorithms for Triangular Sylvester Equations: Design, Scheduling and Scalability Issues / P. Poromaa
Fast and Quantitative Analysis of 4D Cardiac Images Using a SMP Architecture / V. Positano ; M.F. Santarelli ; L. Landini ; A. Benassi
Ab Initio Electronic Structure Methods in Parallel Computers / S. Pöykkö
Iterative Solution of Dense Linear Systems Arising from Integral Equations / J. Rahola
Comparison of Partitioning Strategies for PDE Solvers on Multiblock Grids / J. Rantakokko
Ship Design Optimization / C. Risager ; J.W. Perram
Parallelization Strategies for the VMEC Program / L.F. Romero ; E.M. Ortigosa ; E.L. Zapata ; J.A. Jiménez
Rational Krylov Algorithms for Eigenvalue Computation and Model Reduction / A. Ruhe ; D. Skoogh
Solution of Distributed Sparse Linear Systems Using PSPARSLIB / Y. Saad ; M. Sosonkina
Parallelization of the DAO Atmospheric General Circulation Model / W. Sawyer ; R. Lucchesi ; P. Lyster ; L. Takacs ; J. Larson ; A. Molod ; S. Nebuda ; C. Pabon-Ortiz
Dynamic Performance Callstack Sampling: Merging TAU and DAQV / S. Shende ; A.D. Malony ; S.T. Hackstadt
A Parallel Rational Krylov Algorithm for Eigenvalue Computations
Portable Implementation of Real-Time Signal Processing Benchmarks on HPC Platforms / J. Suh ; V.K. Prasanna
Large Scale Active Networks Simulation / K. Swaminathan ; R. Radhakrishnan ; P.A. Wilsey ; P. Alexander
Forward Dependence Folding as a Method of Communication Optimization in SPMD Programs / Z. Szczerbinski
A Parallel Genetic Clustering for Inverse Problems / H. Telega ; R. Schaefer ; E. Cabib
A Parallel Hierarchical Solver for Finite Element Applications / C.-A. Thole ; A. Supalov ; S. Mayer
Parallel Computation and Visualization of 3D, Time-Dependent, Thermal Convective Flows / P. Wang ; P.Li
Recursive Formulation of Cholesky Algorithm in Fortran 90 / B.S. Andersen
High Performance Linear Algebra Package for FORTRAN 90
Author Index
Speaker information.1
Communications Latency Hiding Techniques for a Reconfigurable Optical Interconnect: Benchmark Studies / A. Afsahi ; N.J. Dimopoulos
Multifrontal Solvers Within the PARASOL Environment / P. Amestoy ; I. Duff ; J.-Y. L'Excellent
17.

図書

図書
sponsored by IEEE Computer Society ; in coorperation with NASA/Goddard Space Flight Center, USRA/CESDIS
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xiv, 372 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
José M.L.M. Palma, Jack Dongarra, Vicente Hernández(eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999  xvi, 706 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1573
所蔵情報: loading…
目次情報: 続きを見る
Eigenvalue Problems and Solution of Linear Systems / Chapter 1:
Introduction / Vicente Hernández
Some Unusual Eigenvalue Problems (Invited Talk) / Zhaojun Bai ; Gene H. Golub
Multi-sweep Algorithms for the Symmetric Eigenproblem / Wilfried N. Gansterer ; Dieter F. Kvasnicka ; Christoph W. Ueberhuber
A Unified Approach to Parallel Block-Jacobi Methods for the Symmetric Eigenvalue Problem / D. Giménez ; Antonio M. Vidal
Calculation of Lambda Modes of a Nuclear Reactor: A Parallel Implementation Using the Implicitly Restarted Arnoldi Method / José E. Román ; Vicent Vidal
Parallel Jacobi-Davidson for Solving Generalized Eigenvalue Problems / Margreet Nool ; Auke van der Ploeg
Parallel Preconditioned Solvers for Large Sparse Hermitian Eigenproblems / Achim Basermann
Solving Eigenvalue Problems on Networks of Processors / C. Jiménez ; M. J. Majado ; N. Marín ; A. Martín
Solving Large-Scale Eigenvalue Problems on Vector Parallel Processors / David L. Harrar II ; Michael R. Osborne
Direct Linear Solvers for Vector and Parallel Computers / Friedrich Grund
Parallel Preconditioners for Solving Nonsymmetric Linear Systems / Antonio J. García-Loureiro ; Tomás F. Pena ; J.M. López-González ; Ll. Prat Viñas
Synchronous and Asynchronous Parallel Algorithms with Overlap for Almost Linear Systems / Josep Arnal ; Violeta Migallón ; José Penadés
The Parallel Problems Server: A Client-Server Model for Interactive Large Scale Scientific Computation / Parry Husbands ; Charles Isbell
Computational Fluid Dynamics, Structural Analysis and Mesh Partioning Techniques / Chapter 2:
Parallel Domain-Decomposition Preconditioning for Computational Fluid Dynamics (Invited Talk) / Timothy J. Barth ; Tony F. Chan ; Wei-Pai Tang
Influence of the Discretization Scheme on the Parallel Efficiency of a Code for the Modelling of a Utility Boiler / Pedro Jorge Coelho
Parallel 3D Airflow Simulation on Workstation Clusters / Jean-Baptiste Vicaire ; Loic Prylli ; Georges Perrot ; Bernard Tourancheau
Parallel Turbulence Simulation: Resolving the Inertial Subrange of the Kolmogorov Spectrum / Martin Strietzel ; Thomas Gerz
The Study of a Parallel Algorithm Using the Laminar Backward-Facing Step Flow as a Test Case / P.M. Areal ; J.M.L.M. Palma
A Low Cost Distributed System for FEM Parallel Structural Analysis / Célio Oda Moretti ; Túlio Nogueira Bittencourt ; Luiz Fernando Martha
Dynamic Load Balancing in Crashworthiness Simulation / Hans Georg Galbas ; Otto Kolp
Some Concepts of the Software Package FEAST / Ch. Becker ; S. Kilian ; S. Turek
Multilevel Mesh Partitioning for Optimising Aspect Ratio / C. Walshaw ; M. Cross ; R. Diekmann ; F. Schimbach
Computing in Education / Chapter 3:
Parallel and Distributed Computing in Education (Invited Talk) / Peter H. Welch
Computer Organisation, Programming and Benchmarking / Chapter 4:
Reconfigurable Systems: Past and Next 10 Years (Invited Talk) / José Silva Matos ; Jean Vuillemin
A Systolic Algorithm for the Factorisation of Matrices Arising in the Field of Hydrodynamics / S.-G. Seo ; M. J. Downie ; G. E. Hearn ; C. Phillips
Automatic Detection of Parallel Program Performance Problems / A. Espinosa ; T. Margalef ; E. Luque
Behavioural Analysis Methodology Oriented to Configuration of Parallel, Real-Time and Embedded Systems / F.J. Suárez ; D.F. García
Spatial Data Locality with Respect to Degree of Parallelism in Processor-and-Memory Hierarchies / Renato J. O. Figueiredo ; José A.B. Fortes ; Zina Ben Miled
Partitioning Regular Domains on Modern Parallel Computers / Manuel Prieto-Matías ; Ignacio Martín-Llorente ; Francisco Tirado
New Access Order to Reduce Inter-vector-Conflicts / A. M. del Corral ; J. M. Llaberia
Registers Size Influence on Vector Architectures / Luis Villa ; Roger Espasa ; Mateo Valero
Limits of Instruction Level Parallelism with Data Value Speculation / José González ; Antonio González
High Performance Cache Management for Parallel File Systems / F. García ; J. Carretero ; F. Pérez ; P. de Miguel
Using Synthetic Workloads for Parallel Task Scheduling Improvement Analysis / João Paulo Kitajima ; Stella Porto
Dynamic Routing Balancing in Parallel Computer Interconnection Networks / D.Franco ; I.Garcés ; E.Luque
Algorithm-Dependant Method to Determine the Optimal Number of Computers in Parallel Virtual Machines / Jorge Barbosa ; Armando Padilha
Low Cost Parallelizing: A Way to be Efficient / Marc Martin ; Bastien Chopard
A Performance Analysis of the SGI Origin2000 / Aad J. van der Steen ; Ruud van der Pas
An ISA Comparison Between Superscalar and Vector Processors / Francisca Quintana
Image, Analysis and Synthesis / Chapter 5:
High Performance Computing for Image Synthesis (Invited Talk) / Thierry Priol
Parallel Implementations of Morphological Connected Operators Based on Irregular Data Structures / Christophe Laurent ; Jean Roman
Parallel Database Servers / Chapter 6:
The Design of an ODMG Compatible Parallel Object Database Server (Invited Talk) / Paul Watson
Nonlinear Problems / Chapter 7:
A Parallel N-body Integrator Using MPI / Heather Ruskin ; José A.M.S. Duarte ; Nuno Sidónio Andrade Pereira
A Parallelisation Strategy for Power Systems Composite Reliability Evaluation (Best Student Paper Award: Honourable Mention) / Carmen L. T. Borges ; Djalma M. Falcão
High Performance Computing of an Industrial Problem in Tribology (Best Student Paper Award: First Prize) / M. Arenaz ; R.Doallo ; G.García ; C. Vázquez
Parallel Grid Manipulations in Earth Science Calculations / William Sawyer ; Lawrence Takacs ; Arlindo da Silva ; Peter Lyster
Simulating Magnetised Plasma with the Versatile Advection Code / Rony Keppens ; Gábor Tóth
Parallel Genetic Algorithms for Hypercube Machines / Ranieri Baraglia ; Raffaele Perego
Author Index
Eigenvalue Problems and Solution of Linear Systems / Chapter 1:
Introduction / Vicente Hernández
Some Unusual Eigenvalue Problems (Invited Talk) / Zhaojun Bai ; Gene H. Golub
19.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1999  xiii, 192 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
List of Past Chairs
Opening and Keynote Address
Beyond Speedup: PADS, the HLA and Web-Based Simulation / Ernest H. Page
Conservative Simulation Techniques
Path Lookahead: A Data Flow View of PDES Models / R.A. Meyer ; R.L. Bagrodia
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation / Z. Xiao ; B. Unger ; R. Simmonds ; J. Cleary
Case Study: Parallelizing a Sequential Simulation Model / L. Bajaj ; R. Bagrodia ; R. Meyer
Scheduling and Synchronization
On Event Ordering in Parallel Discrete Event Simulation / R. Ronngren ; M. Liljenstam
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations / R.M. Fujimoto
GVT and Scheduling in Space Time Memory Based Techniques / A. Fabbri
Keynote Address and Panel Session
The High Level Architecture and Beyond: Technology Challenges / Judith S. Dahmann
Panel Session: Future Directions for Research in Parallel and Distributed Simulation Systems
Defense Simulation and DIS
Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp / R. Smith ; R. Andress ; G.M. Parsons
An Auto-Adaptive Dead Reckoning Algorithm for Distributed Interactive Simulation / W. Cai ; F.B.S. Lee ; L. Chen
Optimistic Simulation Techniques I
Shock Resistant Time Warp / A. Ferscha ; J. Johnson
On Learning Algorithms and Balancing Loads in Time Warp / M. Choe ; C. Tropper
Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation / F. Quaglia
Optimistic Simulation Techniques II
Fast-Software-Checkpointing in Optimistic Simulation: Embedding State Saving into the Event Routine Instructions
Efficient Optimistic Parallel Simulations using Reverse Computation / C.D. Carothers ; K.S. Perumalla
Optimism: Not Just for Event Execution Anymore / C.H. Young ; R. Radhakrishnan ; P.A. Wilsey
Performance Prediction and Analysis
Performance Prediction Tools for Parallel Discrete-Event Simulation / C.-C. Lim ; Y.-H. Low ; B.-P. Gan ; S. Jain ; W.J. Hsu ; S.Y. Huang
Performance Prediction of a Parallel Simulator / J. Liu ; D. Nicol ; B. Premore ; A. Poplawski
Simulation and Computer Networks
Exploiting Model Independence for Parallel PCS Network Simulation / A. Boukerche ; S.K. Das ; O. Yildiz
Time Warp Simulation on Clumps / G.D. Sharma ; U.K.V. Rajasekaran ; N. Abu-Ghazaleh
Active Virtual Network Management Protocol / S.F. Bush
Author Index
Foreword
Committees
Reviewers
20.

図書

図書
Jos C.M. Baeten, Sjouke Mauw (eds.)
出版情報: Berlin : Springer, c1999  xi, 572 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1664
所蔵情報: loading…
21.

図書

図書
Siddhartha Chatterjee ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 384 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1656
所蔵情報: loading…
22.

図書

図書
Patrick Amestoy ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xxxii, 1503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1685
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Some Parallel Algorithms for Integer Factorisation / Richard P. Brent
MERCATOR, the Mission / Philippe Courtier
Adaptive Scheduling for Task Farming with Grid Middleware / Henri Casanova ; MyungHo Kim ; James S. Plank ; Jack J. Dongarra
Applying Human Factors to the Design of Performance Tools / Cherri M. Pancake
Building the Teraflops/Petabytes Production Supercomputing Center / Horst D. Simon ; William T.C. Kramer ; Robert F. Lucas
A Coming of Age for Beowulf-Class Computing / Thomas Sterling ; Daniel Savarese
Support Tools and Environments / Frédéric DesprezTopic 01:
Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps / P. Kacsuk ; R. Lovas ; J. Kovács
Project Workspaces for Parallel Computing - The TRAPPER Approach / Dino Ahr ; Andreas Bäcker
PVMbuilder - A Tool for Parallel Programming / Jan B. Pedersen ; Alan Wagner
Message-Passing Specification in a CORBA Environment / T. Es-sqalli ; E. Fleury ; E. Dillon ; J. Guyard
Using Preemptive Thread Migration to Load-Balance Data-Parallel Applications / Gabriel Antoniu ; Christian Perez
FITS-A Light-Weight Integrated Programming Environment / B. Chapman ; F. Bodin ; L. Hill ; J. Merlin ; G. Viland ; F. Wollenweber
INTERLACE: An Interoperation and Linking Architecture for Computational Engines / Matthew J. Sottile ; Allen D. Malony
Multi-protocol Communications and High Speed Networks / Benoît Planquelle ; Jean-François Méhaut ; Nathalie Revol
An Online Algorithm for Dimension-Bound Analysis / Paul A.S. Ward
Correction of Monitor Intrusion for Testing Nondeterministic MPI-Programs / D. Kranzlmüller ; J. Chassin de Kergommeaux ; Ch. Schauhschläger
Improving the Performance of Distributed Shared Memory Environments on Grid Multiprocessors / Dimitris Dimitrelos ; Constantine Halatsis
Performance Evaluation and Prediction / Jean-Marc VincentTopic 02:
Performance Analysis of Wormhole Switching with Adaptive Routing in a Two-Dimensional Torus / M. Colajanni ; B. Ciciani ; F. Quaglia
Message Passing Evaluation and Analysis on Cray T3E and SGI Origin 2000 Systems / M. Prieto ; D. Espadas ; I.M. Llorente ; F. Tirado
Performance Evaluation and Modeling of the Fujitsu AP3000 Message-Passing Libraries / Juan Touriño ; Ramón Doallo
Improving Communication Support for Parallel Applications / Joerg Cordsen ; Marco Dimas Gubitoso
A Performance Estimator for Parallel Programs / Jeff Reeve
Min-Cut Methods for Mapping Dataflow Graphs / Volker Elling ; Karsten Schwan
Influence of Variable Time Operations in Static Instruction Scheduling / Patricia Borensztejn ; Cristina Barrado ; Jesus Labarta
Evaluation of LH*LH for a Multicomputer Architecture* / Andy D. Pimentel ; Louis O. Hertzberger
Set Associative Cache Behavior Optimization / Basilio B. Fraguela ; Emilio L. Zapata
A Performance Study of Modern Web Server Applications / Ramesh Radhakrishnan ; Lizy Kurian John
An Evaluation of High Performance Fortran Compilers Using the HPFBench Benchmark Suite / Guohua Jin ; Y. Charlie Hu
Performance Evaluation of Object Oriented Middleware / László Böszörményi ; Andreas Wickner ; Harald Wolf
PopSPY: A PowerPC Instrumentation Tool for Multiprocessor Simulation / C. Limousin ; A. Vartanian ; J-L. Béchennec
Performance Evaluation and Benchmarking of Native Signal Processing / Deependra Talla
Scheduling and Load Balancing / Jean-Marc Geib ; Bruce Hendrickson ; Pierre Manneback ; Jean RomanTopic 03:
A Polynomial-Time Branching Procedure for the Multiprocessor Scheduling Problem / Ricardo C. Corrêa ; Afonso Ferreira
Optimal and Alternating-Direction Load Balancing Schemes / Robert Elsässer ; Andreas Frommer ; Burkhard Monien ; Robert Preis
Process Mapping Given by Processor and Network Dynamic Load Prediction / Jean-Marie Garcia ; David Gauchard ; Thierry Monteil ; Olivier Brun
Ordering Unsymmetric Matrices into Bordered Block Diagonal Form for Parallel Processing / Y.F. Hu ; K.C.F. Maguire ; R.J. Blake
Dynamic Load Balancing for Ocean Circulation Model with Adaptive Meshing / Eric Blayo ; Laurent Debreu ; Grégory Mounié ; Denis Trystram
DRAMA: A Library for Parallel Dynamic Load Balancing of Finite Element Applications / Bart Maerten ; Dirk Roose ; Achim Basermann ; Jochen Fingberg ; Guy Lonsdale
Job Scheduling in a Multi-layer Vision System / M. Fikret Ercan ; Ceyda Oğuz ; Yu-Fai Fung
A New Algorithm for Multi-objective Graph Partitioning / Kirk Schloegel ; George Karypis ; Vipin Kumar
Scheduling Iterative Programs onto LogPMachine / Welf Löwe ; Wolf Zimmermann
Scheduling Arbitrary Task Graphs on LogP Machines / Cristina Boeres ; Aline Nascimento ; Vinod E.F. Rebello
Scheduling with Communication Delays and On-Line Disturbances / Aziz Moukrim ; Eric Sanlaville ; Frédéric Guinand
Scheduling User-Level Threads on Distributed Shared-Memory Multiprocessors / Eleftherios D. Polychronopoulos ; Theodore S. Papatheodorou
Using Duplication for the Multiprocessor Scheduling Problem with Hierarchical Communications / Evripidis Bampis ; Rodolphe Giroudeau ; Jean-Claude König
Compilers for High Performance Systems / Barbara ChapmanTopic 04:
Storage Mapping Optimization for Parallel Programs / Albert Cohen ; Vincent Lefebvre
Array SSA for Explicitly Parallel Programs / Jean-François Collard
Parallel Data-Flow Analysis of Explicitly Parallel Programs / Jens Knoop
Localization of Data Transfer in Processor Arrays / Dirk Fimmel ; Renate Merker
Scheduling Structured Systems / Jason B. Crop ; Doran K. Wilde
Compiling Data Parallel Tasks for Coordinated Execution / Erwin Laure ; Matthew Haines ; Piyush Mehrotra ; Hans Zima
Flexible Data Distribution in PGHPF / Mark Leair ; Douglas Miles ; Vincent Schuster ; Michael Wolfe
On Automatic Parallelization of Irregular Reductions on Scalable Shared Memory Systems / E. Gutiérrez ; O. Plata ; E.L. Zapata
I/O-Conscious Tiling Strategy for Disk-Resident Data / Mahmut Kandemir ; Alok Choudhary ; J. Ramanujam
Post-Scheduling Optimization of Parallel Programs / Stephen Shafer ; Kanad Ghose
Piecewise Execution of Nested Parallel Programs - A Thread-Based Approach / W. Pfannenstiel
Parallel and Distributed Databases / Burkhard Freitag ; Kader HameurlainTopic 05:
Distributed Database Checkpointing / Roberto Baldoni ; Francesco Quaglia ; Michel Raynal
A Generalized Transaction Theory for Database and Non-database Tasks / Armin Feßler ; Hans-Jörg Schek
On Disk Allocation of Intermediate Query Results in Parallel Database Systems / Holger Märtens
Highly Concurrent Locking in Shared Memory Database Systems / Christian Jacobi ; Cédric Lichtenau
Parallel Processing of Multiple Text Queries on Hypercube Interconnection Networks / Basilis Mamalis ; Paul Spirakis ; Basil Tampakas
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing / Gilles Motet ; David PowellTopic 06 + 20:
Quality of Service Management in Distributed Asynchronous Real-Time Systems / Binoy Ravindran
Multiprocessor Scheduling of Real-Time Tasks with Resource Requirements / Costas Mourlas
Designing Multiprocessor/Distributed Real-Time Systems Using the ASSERTS Toolkit / Sudhir Aggarwal ; Abhrajit Ghosh ; David Goldman ; Peter Sulatycke ; Pavel Vasek ; David R. Vogel
UML Framework for the Design of Real-Time Robot Controllers / L. Carroll ; B. Tondu ; C. Baron ; J.C. Geffroy
Software Implemented Fault Tolerance in Hypercube / D.R. Avresky ; S. Geoghegan
Managing Fault Tolerance Transparently Using CORBA Services / René Meier ; Paddy Nixon
Theory and Models for Parallel Computation / Michel CosnardTopic 07:
Parallel Algorithms for Grounded Range Search and Applications / Michael G. Lamoureux ; Andrew Rau-Chaplin
Multi-level Cooperative Search: A New Paradigm for Combinatorial Optimization and an Application to Graph Partitioning / Michel Toulouse ; Krishnaiyan Thulasiraman ; Fred Glover
A Quantitative Measure of Portability with Application to Bandwidth-Latency Models for Parallel Computing / Gianfranco Bilardi ; Andrea Pietracaprina ; Geppino Pucci
A Cost Model for Asynchronous and Structured Message Passing / Emmanuel Melin ; Bruno Raffin ; Xavier Rebeuf ; Bernard Virot
A Parallel Simulation of Cellular Automata by Spatial Machines / Bruno Martin
High-Performance Computing and Applications / Wolfgang GentzschTopic 08:
Null Messages Cancellation Through Load Balancing in Distributed Simulations / Azzedine Boukerche ; Sajal K. Das
Efficient Load-Balancing and Communication Overlap in Parallel Shear-Warp Algorithm on a Cluster of PCs / Frédérique Chaussumier ; Michel Loi
A Hierarchical Approach for Parallelization of a Global Optimization Method for Protein Structure Prediction / S. Crivelli ; T. Head-Gordon ; R. Byrd ; E. Eskow ; R. Schnabel
Parallelization of a Compositional Simulator with a Galerkin Coarse/Fine Method / Geir Åge Øye ; Hilde Reme
Some Investigations of Domain Decomposition Techniques in Parallel CFD / F. Chalot ; G. Chevalier ; Q.V. Dinh ; L. Giraud
A Parallel Ocean Model for High Resolution Studies / Marc Guyon ; Gurvan Madec ; François-Xavier Roux ; Maurice Imbard
Nonoverlapping Domain Decomposition Applied to a Computational Fluid Mechanics Code / Paulo B. Vasconcelos ; Filomena D. d'Almeida
A PC Cluster with Application-Quality MPI / M. Goł&ecedil;biewski ; A. Basermann ; M. Baum ; R. Hempel ; H. Ritzdorf ; J.L. Träff
Using Network of Workstations to Support a Web-Based Visualization Service / Wilfrid Lefer ; Jean-Marc Pierson
High-Speed LANs: New Environments for Parallel and Distributed Applications / Patrick Geoffray ; Laurent Lefèvre ; CongDuc Pham ; Loïc Prylli ; Olivier Reymann ; Bernard Tourancheau ; Roland Westrelin
Consequences of Modern Hardware Design for Numerical Simulations and Their Realization in FEAST / Ch. Becker ; S. Kilian ; S. Turek
A Structured SADT Approach to the Support of a Parallel Adaptive 3D CFD Code / Jonathan Nash ; Martin Berzins ; Paul Selwood
A Parallel Algorithm for 3D Geometry Transformations in OpenGL / J. Sébot Julien ; N. Drach-Temam
Parallel Implementation in a Industrial Framework of Statistical Tolerancing Analysis in Microelectronics / Salvatore Rinaudo ; Francesco Moschella ; Marcello A. Anile
Interaction Between Data Parallel Compilation and Data Transfer and Storage Cost Minimization for Multimedia Applications / Chidamber Kulkarni ; Koen Danckaert ; Francky Catthoor ; Manish Gupta
Parallel Numerical Simulation of a Marine Host-Parasite System / Michel Langlais ; Guillaume Latu ; Patrick Silan
Parallel Methods of Training for Multilayer Neural Network / El Mostafa Daoudi ; El Miloud Jaâra
Partitioning of Vector-Topological Data for Parallel GIS Operations: Assessment and Performance Analysis / Terence M. Sloan ; Michael J. Mineter ; Steve Dowers ; Connor Mulholland ; Gordon Darling ; Bruce M. Gittings
Parallel Computer Architecture - What Is Its Future? / Chris JesshopeTopic 09:
The Algebraic Path Problem Revisited / Sanjay Rajopadhye ; Claude Tadonki ; Tanguy Risset
Vector ISA Extension for Sparse Matrix-Vector Multiplication / Stamatis Vassiliadis ; Sorin Cotofana ; Pyrrhos Stathis
A Study of a Simultaneous Multithreaded Processor Implementation / Dominik Madoń ; Eduardo Sánchez ; Stefan Monnier
The MorphoSys Parallel Reconfigurable System / Guangming Lu ; Hartej Singh ; Ming-hau Lee ; Nader Bagherzadeh ; Fadi Kurdahi ; Eliseu M.C. Filho
A Graph-Oriented Task Manager for Small Multiprocessor Systems / Xavier Verians ; Jean-Didier Legat ; Jean-Jacques Quisquater ; Benoit Macq
Implementing Snoop-Coherence Protocol for Future SMP Architectures / Wissam Hlayhel ; Jacques Collet ; Laurent Fesquet
An Adaptive Limited Pointers Directory Scheme for Cache Coherence of Scalable Multiprocessors / Cheol Ho Park ; Jong Hyuk Choi ; Kyu Ho Park ; Daeyeon Park
Two Schemes to Improve the Performance of aSort-Last 3D Parallel Rendering Machine with Texture Caches / Alexis Vartanian ; Jean-Luc Béchennec ; Nathalie Drach-Temam
ManArray Processor Interconnection Network: An Introduction / Gerald G. Pechanek ; Nikos Pitsianis
Distributed Systems and Algorithms / Gérard Padiou ; André SchiperTopic 10:
A Cooperation Service for CORBA Objects. From the Model to the Applications / Khalil Drira ; Frédéric Gouëzec ; Michel Diaz
Symphony: Managing Virtual Servers in the Global Village / Roy Friedman ; Assaf Schuster ; Ayal Itzkovitz ; Eli Biham ; Erez Hadad ; Vladislav Kalinovsky ; Sergey Kleyman ; Roman Vitenberg
Épidaure:A Java Distributed Tool for Building DAI Applications / Djamel Fezzani ; Jocelyn Desbiens
A Client/Broker/Server Substrate with 50μs Round-Trip Overhead / Olivier Richard ; Franck Cappello
Universal Constructs in Distributed Computations / Ajay D. Kshemkalyani ; Mukesh Singhal
Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example
A Node Count-Independent Logical Clock for Scaling Lazy Release Consistency Protocol / Luciana Bezerra Arantes ; Bertil Folliot ; Pierre Sens
Mutual Exclusion Between Neighboring Nodes in an Arbitrary System Graph Tree That Stabilizes Using Read/Write Atomicity / Gheorghe Antonoiu ; Pradip K. Srimani
Parallel Programming: Models, Methods and Languages / Luc Bougé ; Bill McColl ; Mamoun Filali ; Henk SipsTopic 11:
Exploiting Advanced Task Parallelism in High Performance Fortran via a Task Library* / Thomas Brandes
A Run-Time System for Dynamic Grain Packing / João Luís Sobral ; Alberto José Proença
Optimising Skeletal-Stream Parallelism on a BSP Computer / Andrea Zavanella
Parallel Programming by Transformation / Noel Winstanley
Condensed Graphs: A Multi-level, Parallel, Intermediate Representation / John P. Morrison ; Niall J. Dalton
A Skeleton for Parallel Dynamic Programming / D. Morales ; F. Almeida ; F. Garcia ; J. Gonzalez ; J. Roda ; C. Rodriguez
Programming Effort vs. Performance with a Hybrid Programming Model for Distributed Memory Parallel Architectures / Andreas Rodman ; Mats Brorsson
DAOS - Scalable And-Or Parallelism / Luís Fernando Castro ; Vítor Santos Costa ; Cláudio F.R. Geyer ; Fernando Silva ; Patrícia Kayser Vargas ; Manuel E. Correia
Write Detection in Home-Based Software DSMs / Weiwu Hu ; Weisong Shi ; Zhimin Tang
D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment / Ken Wakita ; Takashi Asano ; Masataka Sassa
ParBlocks - A New Methodology for Specifying Concurrent Method Executions in Opus
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining / Christoph A. Herrmann ; Jan Laitenberger ; Christian Lengauer,Christian Schaller
A Library to Implement Neural Networks on MIMD Machines / Yann Boniface ; Frédéric Alexandre ; Stéphane Vialle
Architectures and Algorithms for Vision and Other Senses / Alain Ayache ; Virginio Cantoni ; Concettina Guerra ; Pieter JonkerTopic 12:
LUX: An Heterogeneous Function Composition Parallel Computer for Graphics / Stéphane Mancini ; Renaud Pacalet
A Parallel Accelerator Architecture for Multimedia Video Compression / Bertil Schmidt ; Manfred Schimmler
A Parallel Architecture for Stereoscopic Processing / Milton Romero ; Bruno Ciciani
A Robust Neural Network Based Object Recognition System and Its SIMD Implementation / Alfredo Petrosino ; Giuseppe Salvi
Multimedia Extensions and Sub-word Parallelism in Image Processing: Preliminary Results / Marco Ferretti ; Davide Rizzo
Vanishing Point Detection in the Hough Transform Space / Andrea Matessi ; Luca Lombardi
Parallel Structure in an Integrated Speech-Recognition Network / M. Fleury ; A.C. Downton ; A.F. Clark
3D Optoelectronic Fix Point Unit and Its Advantages Processing 3D Data / B. Kasche ; D. Fey ; T. Höhn ; W. Erhard
Parallel Wavelet Transforms on Multiprocessors / Manfred Feil ; Rade Kutil ; Andreas Uhl
Vector Quantization-Fractal Image Coding Algorithm Based on Delaunay Triangulation / Zahia Brahimi ; Karima Ait Saadi ; Noria Baraka
Numerical Algorithms for Linear and Nonlinear Algebra / Topic 13 + 19:
mpC + ScaLAPACK = Efficient Solving Linear Algebra Problems on Heterogeneous Networks / Alexey Kalinov ; Alexey Lastovetsky
Parallel Subdomain-Based Preconditioner for the Schur Complement / Luiz M. Carvalho ; Luc Giraud
A Preconditioner for Improved Fermion Actions / Wolfgang Bietenholz ; Norbert Eicker ; Thomas Lippert ; Björn Medeke ; Klaus Schilling
Application of a Class of Preconditioners to Large Scale Linear Programming Problems / Venansius Baryamureeba ; Trond Steihaug ; Yin Zhang
Estimating Computer Performance for Parallel Sparse QR Factorisation / David J. Miron ; Patrick M. Lenders
A Mapping and Scheduling Algorithm for Parallel Sparse Fan-In Numerical Factorization / Pascal Hénon ; Pierre Ramet
Scheduling of Algorithms Based on Elimination Trees on NUMA Systems / María J. Martín ; Inmaculada Pardines ; Francisco F. Rivera
Block-Striped Partitioning and Neville Elimination / P. Alonso ; R. Cortina ; J. Ranilla
A Comparison of Parallel Solvers for Diagonally Dominant and General Narrow-Banded Linear Systems II / Peter Arbenz ; Andrew Cleary ; Jack Dongarra ; Markus Hegland
Using Pentangular Factorizations for the Reduction to Banded Form / B. Großer ; B. Lang
Experience with a Recursive Perturbation Based Algorithm for Symmetric Indefinite Linear Systems / Anshul Gupta ; Fred Gustavson ; Alexander Karaivanov ; Jerzy Wasniewski ; Plamen Yalamov
Parallel Cyclic Wavefront Algorithms for Solving Semidefinite Lyapunov Equations / José M. Claver ; Vicente Hernández ; Enrique S. Quintana-Ortí
Parallel Constrained Optimization via Distribution of Variables / Claudia A. Sagastizábal ; Mikhail V. Solodov
Solving Stable Stein Equations on Distributed Memory Computers / Peter Benner ; Gregorio Quintana-Ortí
Convergence Acceleration for the Euler Equations Using a Parallel Semi-Toeplitz Preconditioner / Andreas Kähäri ; Samuel Sundberg
A Stable and Efficient Parallel Block Gram-Schmidt Algorithm / Denis Vanderstraeten
On the Extension of the Code GAM for Parallel Computing / Felice Iavernaro ; Francesca Mazzia
PAMIHR. A Parallel FORTRAN Program for Multidimensional Quadrature on Distributed Memory Architectures / G. Laccetti ; M. Lapegna
Stability Issues of the Wang s Partitioning Algorithm for Banded and Tridiagonal Linear Systems / Velisar Pavlov
Emerging Topics in Advanced Computing in Europe / Renato CampoTopic 14:
The HPF+ Project: Supporting HPF for Advanced Industrial Applications / Siegfried Benkner
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications / O. Botti ; V. De Florio ; G. Deconinck ; F. Cassinari ; S. Donatelli,A. Bobbio ; A. Klein ; H. Kufner ; R. Lauwereins ; E. Thurner ; E. Verhulst
OCEANS - Optimising Compilers for Embedded Applications / Michel Barreteau ; François Bodin ; Zbigniew Chamski ; Henri-Pierre Charles ; Christine Eisenbeis ; John Gurd ; Jan Hoogerbrugge ; Ping Hu ; William Jalby ; Toru Kisuki ; Peter M.W. Knijnenburg ; Paul van der Mark ; Andy Nisbet ; Michael F.P. O'Boyle ; Erven Rohou ; André Seznec ; Elena A. Stöhr ; Menno Treffers ; Harry A.G. Wijshoff
Cray T3E Performances of a Parallel Code for a Stochastic Dynamic Assets and Liabilities Management Model / G. Zanghirati ; F. Cocco ; F. Taddei ; G. Paruolo
Parametric Simulation of Multi-body Systems on Networks of Heterogeneous Computers / Javier G. Izaguirre ; José M. Jiménez ; Unai Martín ; Bruno Thomas ; Alberto Larzábal ; Luis M. Matey
Parallel Data Mining in the HYPERBANK Project / S. Fotis ; J. A. Keane ; R. I. Scott
High Performance Computing for Optimum Design of Multi-body Systems / Nassouh A. Chehayeb ; Beidi Hamma ; Yan Thiaudière
Routing and Communication in Interconnection Networks / Topic 15:
Optimizing Message Delivery in Asynchronous Distributed Applications / Girindra D. Sharma ; Nael B. Abu-Ghazaleh ; Umesh Kumar V. Rajasekaran ; Philip A. Wilsey
Circuit-Switched Broadcasting in Multi-port Multi-dimensional Torus Networks* / San-Yuan Wang ; Yu-Chee Tseng ; Sze-Yao Ni ; Jang-Ping Sheu
Impact of the Head-of-Line Blocking on Parallel Computer Networks: Hardware to Applications / V. Puente ; J.A. Gregorio ; C. Izu ; R. Beivide
Interval Routing on Layered Cross Product of Trees and Cycles / R. Kráľovič ; B. Rovan ; P. Ružička
Instruction-Level Parallelism and Uniprocessor Architecture / Pascal Sainrat ; Mateo ValeroTopic 16:
Design Considerations of High Performance Data Cache with Prefetching / Chi-Hung Chi ; Jun-Li Yuan
Annotated Memory References: A Mechanism for Informed Cache Management / Alvin R. Lebeck ; David R. Raymond ; Chia-Lin Yang ; Mithuna S. Thottethodi
Understanding and Improving Register Assignment / Cindy Norris ; James B. Fenwick, Jr.
Compiler-Directed Reordering of Data by Cyclic Graph Coloring / Daniela Genius ; Sylvain Lelait
Code Cloning Tracing: A "Pay per Trace" Approach / Thierry Lafage
Execution-Based Scheduling for VLIW Architectures / Kemal Ebcioğlu ; Erik R. Altman ; Sumedh Sathaye ; Michael Gschwind
Decoupling Recovery Mechanism for Data Speculation from Dynamic Instruction Scheduling Structure / Toshinori Sato
Implementation of Hybrid Context Based Value Predictors Using Value Sequence Classification / Luis Piñuel ; Rafael A. Moreno ; Francisco Tirado
Heterogeneous Clustered Processors: Organization and Design / Francesco Pessolano
An Architecture Framework for Introducing Predicated Execution into Embedded Microprocessors / Daniel A. Connors ; Jean-Michel Puiatti ; David I. August ; Kevin M. Crozier ; Wen-mei W. Hwu
Multi-stage Cascaded Prediction / Karel Driesen ; Urs Hölzle
Mispredicted Path Cache Effects / Jonathan Combs ; Candice Bechem Combs ; John Paul Shen
Concurrent and Distributed Programming with Objects / Patrick Sallé ; Marc PantelTopic 17:
Non-regular Process Types / Franz Puntigam
Decision Procedure for Temporal Logic of Concurrent Objects / Jean-Paul Bahsoun ; Rami El-Baïda ; Hugues-Olivier Yar
Aliasing Models for Object Migration* / Uwe Nestmann ; Hans Hüttel ; Josva Kleist ; Massimo Merro
Dynamic Extension of CORBA Servers / Marco Catunda ; Noemi Rodriguez ; Roberto Ierusalimschy
On the Concurrent Object Model of UML / Julian Ober ; Ileana Stan
Object Oriented Design for Reusable Parallel Linear Algebra Software / Eric Noulard ; Nahid Emad
Global Environment Modelling / Michel DéquéTopic 18:
The Parallelization of the Princeton Ocean Model / L.A. Boukas ; N.Th. Mimikou ; N.M. Missirlis ; G.L. Mellor ; A. Lascaratos ; G. Korres
Modular Fortran 90 Implementation of a Parallel Atmospheric General Circulation Model / William Sawyer ; Lawrence Takacs ; Andrea Molod ; Robert Lucchesi
Implementation of the Limited-Area Numerical Weather Prediction Model Aladin in Distributed Memory / Claude Fischer ; Jean-François Estrade ; Jure Jerman
Parallelization of the French Meteorological Mesoscale Model MésoNH / Patrick Jabouille ; Ronan Guivarch ; Philippe Kloos ; Didier Gazen ; Nicolas Gicquel ; Nicole Asencio ; Veronique Ducrocq ; Juan Escobar ; Jean-Luc Redelsperger ; Joël Stein ; Jean-Pierre Pinty
The PALM Project: MPMD Paradigm for an Oceanic Data Assimilation Software / A. Fouilloux ; A. Piacentini
A Parallel Distributed Fast 3D Poisson Solver for Méso-NH
Porting a Limited Area Numerical Weather Forecasting Model on a Scalable Shared Memory Parallel Computer / Roberto Ansaloni ; Paolo Malfetti ; Tiziana Paccagnella
High-Performance Data Mining and Knowledge Discovery / David Skillicorn ; Domenico TaliaTopic 22:
Mining of Association Rules in Very Large Databases: A Structured Parallel Approach / P. Becuzzi ; M. Coppola ; M. Vanneschi
Parallel k/h-Means Clustering for Large Data Sets / Kilian Stoffel ; Abdelkader Belkoniene
Performance Analysis for Parallel Generalized Association Rule Mining ona Large Scale PC Cluster / Takahiko Shintani ; Masato Oguchi ; Masaru Kitsuregawa
Inducing Load Balancing and Efficient Data Distribution Prior to Association Rule Discovery in a Parallel Environment / Anna M. Manning ; John A. Keane
Symbolic Computation / Mike DewarTopic 23:
Parallelism in Aldor - The Communication Library IIit for Parallel, Distributed Computation / Thierry Gautier ; Niklaus Mannhart
A Library for Parallel Modular Arithmetic / David Power ; Russell Bradford
Performance Evaluation of Or-Parallel Logic Programming Systems on Distributed Shared-Memory Architectures / Vanusa Menditi Calegario ; Inês de Castro Dutra
A Parallel Symbolic Computation Environment: Structures and Mechanics / Mantŝika Matooane ; Arthur Norman
Index of Authors
Invited Talks
Some Parallel Algorithms for Integer Factorisation / Richard P. Brent
MERCATOR, the Mission / Philippe Courtier
23.

図書

図書
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
editor, S. Q. Zheng
出版情報: Anaheim, CA : IASTED/ACTA Press, c1999  2 v. (ix, 1079 p.) ; 28 cm
所蔵情報: loading…
25.

図書

図書
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1997  viii, 331 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
Jack Dongarra, Kaj Madsen, Jerzy Waśniewski, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1996  562 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1041
所蔵情報: loading…
27.

図書

図書
Paolo Ciancarini, Chris Hankin (eds.)
出版情報: Berlin : Springer, c1996  xi, 443 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1061
所蔵情報: loading…
28.

図書

図書
Takayasu Ito, Robert H. Halstead, Jr., Christeian Queinnec (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  x, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1068
所蔵情報: loading…
29.

図書

図書
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1994  ix, 374 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
出版情報: Berlin ; New York : Springer, c1998  646 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1536
所蔵情報: loading…
目次情報: 続きを見る
The Need for Compositional Proof Systems: A Survey / Willem-Paul de Roever
Alternating-Time Temporal Logic / Rajeev Alur ; Thomas A. Henzinger ; Orna Kupferman
Compositionality in Data ow Synchronous Languages: Speci cation and Code Generation / Albert Benveniste ; Paul Le Guernic ; Pascal Aubry
Compositional Reasoning in Model Checking / Sergey Berezin ; Sérgio Campos ; Edmund M. Clarke
Modeling Urgency in Timed Systems / Sebastien Bornot ; Joseph Sifakis ; Stavros Tripakis
Compositional Re nement of Interactive Systems Modelled by Relations / Manfred Broy
Toward Parametric Veri cation of Open Distributed Systems / Mads Dam ; Lars-Ã¥ke Fredlund ; Dilian Gurov
A Compositional Real-Time Semantics of STATEMATE Designs / Werner Damm ; Bernhard Josko ; Hardi Hungar ; Amir Pnueli
Deductive Veri cation of Modular Systems / Bernd Finkbeiner ; Zohar Manna ; Henny B. Sipma
Compositional Veri cation of Real-Time Applications / Jozef Hooman
Compositional Proofs for Concurrent Objects / Jerry James ; Ambuj Singh
An Overview of Compositional Translations / Theo M.V. Janssen
Compositional Veri cation of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness / Catholijn M. Jonker ; Jan Treur
Modular Model Checking / Moshe Y. Vardi
Composition: A Way to Make Proofs Harder / Leslie Lamport
Compositionality Criteria for De ning Mixed-Styles Synchronous Languages / Florence Maraninchi ; Yann Rémond
Compositional Reasoning Using Interval Temporal Logic and Tempura / Ben C. Moszkowski
Decomposing Real-Time Speci cations / Ernst-Rudiger Olderog ; Henning Dierks
On the Combination of Synchronous Languages / Axel Poigné ; Leszek Holenderski
Compositional Veri cation of Randomized Distributed Algorithms / Roberto Segala
Lazy Compositional Veri cation / Natarajan Shankar
Compositional Reasoning Using the Assumption-Commitment Paradigm / Qiwen Xu ; Mohalik Swarup
An Adequate First Order Interval Logic / Chaochen Zhou ; Michael R. Hansen
Compositional Transformational Design for Concurrent Programs / Job Zwiers
Compositional Proof Methods for Concurrency: A Semantic Approach / Frank S. de Boer
Author Index
The Need for Compositional Proof Systems: A Survey / Willem-Paul de Roever
Alternating-Time Temporal Logic / Rajeev Alur ; Thomas A. Henzinger ; Orna Kupferman
Compositionality in Data ow Synchronous Languages: Speci cation and Code Generation / Albert Benveniste ; Paul Le Guernic ; Pascal Aubry
31.

図書

図書
José M.L.M. Palma, Jack Dongarra ,(eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  xi, 469 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1215
所蔵情報: loading…
32.

図書

図書
Didier Galmiche (ed.)
出版情報: Berlin ; Heidelberg : Springer, c1997  xi, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1227 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書

図書
Miquel Bertran, Teodor Rus, (eds.)
出版情報: Berlin ; New York : Springer, c1997  xi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1231
所蔵情報: loading…
34.

図書

図書
jointly organized by IEEE Singapore Section, Computer Chapter, IEEE Singapore, and Department of Information Systems and Computer Science, National University of Singapore
出版情報: [New York] : Institute of Electrical and Electronics Engineers , Piscataway, N.J. : IEEE Service Center, c1996  xix, 547 p. ; 31 cm
所蔵情報: loading…
35.

図書

図書
David Sehr ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiii, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1239
所蔵情報: loading…
36.

図書

図書
Antoni Mazurkiewicz, Józef Winkowski (eds.)
出版情報: Berlin : Springer, c1997  viii, 420 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1243
所蔵情報: loading…
37.

図書

図書
G. Bilardi ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1253
所蔵情報: loading…
38.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1997  xii, 197 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
Victor Malyshkin (ed.)
出版情報: Berlin ; Heidelberg ; New York : Springer, c1997  xiii, 454 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1277
所蔵情報: loading…
40.

図書

図書
David Garlan, Daniel Le Métayer (eds.)
出版情報: Berlin : Springer, c1997  x, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1282
所蔵情報: loading…
41.

図書

図書
Dror G. Feitelson, Larry Rudolph, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1997  298 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1291
所蔵情報: loading…
42.

図書

図書
Christian Lengauer, Martin Griebl, Sergei Gorlatch, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xxx, 1380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1300
所蔵情報: loading…
43.

図書

図書
edited by P. Schiano ... [et al.]
出版情報: Amsterdam ; Tokyo : Elsevier, 1997  xiii, 516 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
A selection of papers is listed
Invited Papers
Communication cost function for parallel CFD in a heterogeneous environment using Ethernet / Y.P. Chien et al.
Domain partitioning and message passing for the distribution of unstructured mesh calculations on MIMD platforms: application to steady and unsteady compressible flow simulations / S. Lanteacute;ri et al.
Parallel conjugate gradient with Schwarz preconditioner applied to fluid dynamics problems / A. Quarteroni et al.
The cubed sphere: a new method for solving PDEs on the sphere
Applications to climate modeling and planetary circulation problems / C. Ronchi et al.
EUROPORT: Parallel CFD for industrial applications / K. Stuben et al.
Parallel NSMB: an industrialized aerospace code for complete aircraft simulations / J.B. Vos et al.
Turbulence
Parallel simulation of turbulent channel flow / G. Amati et al.
Direct numerical simulations of turbulent pipe flow via a portable message-passing code / M. Briscolini ; M. Fatica
Parallel simulation of turbulent compressible flows with unstructured domain partitioning. Performance on T3D and SP2 using OOP / M. Buffat et al.
Reactive Flows
Parallel numerical simulation of reacting flows in air quality models / P. D'Ambra et al.
HPF-implementation of a 3D combustion code on parallel computer architectures using fine grain parallelism / B. Risio et al.
Mesh Partitioning and Adaptive Schemes
Unstructured adaptive grid computations on an array of SMPs / R. Biswas et al.
Hydrodynamical simulations of the universe / F.R. Pearce et al.
Dynamic mesh adaptation for unsteady flows within a true parallel environment / R. Richter ; P. Leyland
Navier-Stokes Solvers
on the opportunity of parallel implementation of the kinetical-consistent finite difference schemes for gas dynamic flow simulation / I.V. Abalakin et al.
Parallel computation of flow in static mixers / O. Byrde ; M.L. Sawley
Parallelisation of ESAUNA within EUROPORT-1: a structured/unstructured aeronautical CFD flow code / C.S. Ierotheou et al.
Parallel Visualization and Postprocessing
A modular approach to visualization for parallel CFD applications / R. Haimes
Distributed visualization of 3D thermal convection in the geological sciences / K.E. Jordan et al.
Implicit Schemes
Parallel solver for unsteady Rayleigh-Beacute;nard problem in limited domains / E. Bucchignani et al.
Implicit multiblock Euler computations using a preconditioned GMRES method / L. Carpintero ; V. Daru
Parallel Applications
Vortex blob models implemented on a parallel special purpose computer / G. Braschi et al.
Parallel computing of industrial aerodynamics problems: clean rooms / V.A. Gushchin et al.
Algorithmslt
Variable time-stepping strategies for explicit and parallel solution of unsteady viscous and inviscid compressible flows / H.U. Akay et al.
Parallel solution of industrial compressible flow problems with static load balancing / A. Alund et al.
Operator splitting for the Stokes equations / W. Heinrichs
Software Tools and Environments
A comparison of high performance fortran and message passing parallelization of a geophysical fluid model / W.D. Anderson ; P.K. Smolarkiewicz
Experiences using collective communication in a parallel CFD industrial code / M. Bernaschi et al.
Distributed computinglt
Integration of an implicit multiblock code into a workstation cluster environment / K.J. Badcock et al.
A selection of papers is listed
Invited Papers
Communication cost function for parallel CFD in a heterogeneous environment using Ethernet / Y.P. Chien et al.
44.

図書

図書
edited by Innes Jelly, Ian Gorton and Peter Croll
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  xi,325p ; 25cm
所蔵情報: loading…
45.

図書

図書
Jerzy Waśniewski ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1996  xiii, 722 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1184
所蔵情報: loading…
46.

図書

図書
László Böszörményi (ed.)
出版情報: Berlin : Springer, c1996  xi, 234 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1127
所蔵情報: loading…
47.

図書

図書
Hans-Michael Voigt ... [et al.], (eds.)
出版情報: Berlin : Springer, c1996  xvii, 1050 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1141
所蔵情報: loading…
48.

図書

図書
edited by Guo-Jie Li ... [et al.] ; sponsored by Chinese National Research Center for Intelligent Computing Systems (NCIC) ; in cooperation with IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1996  xiii, 567 p. ; 28 cm
所蔵情報: loading…
49.

図書

図書
Dror G. Feitelson, Larry Rudolph, (eds.)
出版情報: Berlin : Springer, 1996  viii, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1162
所蔵情報: loading…
50.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xv, 618 p. ; 29 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼