close
1.

図書

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

図書

図書
Zhiyuan Li ... [et al.] (eds.)
出版情報: Berlin : Springer, c1998  xii, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1366
所蔵情報: loading…
3.

図書

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

図書

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

図書

図書
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
6.

図書

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

図書

図書
A. Ferreira ... [et al.], eds.
出版情報: Berlin : Springer, c1998  x, 408 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1457
所蔵情報: loading…
8.

図書

図書
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin ; New York : Springer, c1998  256 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1459
所蔵情報: loading…
9.

図書

図書
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, c1998  xii, 197 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
Davide Sangiorgi, Robert de Simone (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 655 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1466
所蔵情報: loading…
11.

図書

図書
David Pritchard , Jeff Reeve (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xxii, 1157 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1470
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Random Number Generation and Simulation on Vector and Parallel Computers / Richard P. Brent
Heterogeneous HPC Environments / Marco Vanneschi
Quantum Cryptography on Optical Fiber Networks / Paul D. Townsend
Very Distributed Media Stories: Presence, Time, Imagination / Glorianna Davenport
HPcc as HighPerformance Commodity Computing on Top of Integrated Java, CORBA, COM and Web Standards / Geoffrey C. Fox ; W. Furmanski ; T. Haupt ; E. Akarsu ; H. Ozdemir
Support Tools and Environments / Chris Wadsworth ; Helmar Burkhart
Process Migration and Fault Tolerance of BSPlib Programs Running on Networks of Workstations / Jonathan M.D. Hill ; Stephen R. Donaldson ; Tim Lanfear
A Parallel-System Design Toolset for Vision and Image Processing / M. Fleury ; N. Sarvan ; A.C. Downton ; A.F. Clark
Achieving Portability and Efficiency Through Automatic Optimisation: An Investigation in Parallel Image Processing / D. Crookes ; P.J. Morrow ; T.J. Brown ; G. McAleese ; D. Roantree ; I.T.A. Spence
EDPEPPS: A Toolset for the Design and Performance Evaluation of Parallel Applications / T. Delaitre ; M.J. Zemerly ; P. Vekariya ; G.R. Justo ; J. Bourgeois ; F. Schinkmann ; F. Spies ; S. Randoux ; S.C. Winter
Verifying a Performance Estimator for Parallel DBMSs / E.W. Dempster ; N.T. Tomov ; J. Lü ; C.S. Pua ; M.H. Williams ; A. Burger ; H. Taylor ; P. Broughton
Generating Parallel Applications of Spatial Interaction Models / John Davy ; Wissal Essah
Performance Measurement of Interpreted Programs / Tia Newhall ; Barton P. Miller
Analysing an SQL Application with a BSPlib Call-Graph Profiling Tool / Stephen A. Jarvis ; Constantinos Siniolakis ; Vasil P. Vasilev
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes / Ali E. Abdallah
A Universal Infrastructure for the Run-Time Monitoring of Parallel and Distributed Applications / Roland Wismüller ; Jörg Trinitis ; Thomas Ludwig
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet / Neophytos Neophytou ; Paraskevas Evripidou
Performance Evaluation and Prediction / Allen D. Malony ; Rajeev Alur
Configurable Load Measurement in Heterogeneous Workstation Clusters / Christian Röder ; Arndt Bode
Exploiting Spatial and Temporal Locality of Accesses: A New Hardware-Based Monitoring Approachfor DSM Systems / Robert Hockauf ; Wolfgang Karl ; Markus Leberecht ; Michael Oberhuber ; Michael Wagner
On the Self-Similar Nature of Workstations and WWW Servers Workload / Olivier Richard ; Franck Cappello
White-Box Benchmarking / Emilio Hernández ; Tony Hey
Cache Misses Prediction for High Performance Sparse Algorithms / Basilio B. Fraguela ; Ramón Doallo ; Emilio L. Zapata
h-Relation Models for Current Standard Parallel Platforms / C. Rodríguez ; J.L. Roda ; D.G. Morales ; F. Almeida
Practical Simulation of Large-Scale Parallel Programs and Its Performance Analysis of the NAS Parallel Benchmarks / Kazuto Kubota ; Ken'ichi Itakura ; Mitsuhisa Sato ; Taisuke Boku
Assessing LogP Model Parameters for the IBM-SP / Iskander Kort ; Denis Trystram
Communication Pre-evaluation in HPF / Pierre Boulet ; Xavier Redon
Modeling the Communication Behavior of Distributed Memory Machines by Genetic Programming / L. Heinrich-Litan ; U. Fissgus ; St. Sutter ; P. Molitor ; Th. Rauher
Representing and Executing Real-Time Systems / Rafael Ramirez
Fixed Priority Scheduling of Age Constraint Processes / Lars Lundherg
Scheduling and Load Balancing / Susan Flynn Hummel ; Graham Riley ; Rizos Sakellariou
Optimizing Load Balance and Communication on Parallel Computers with Distributed Shared Memory / Rudolf Berrendorf
Performance Analysis and Portability of the PLUM Load Balancing System / Leonid Oliker ; Rupak Biswas ; Harold N. Gahow
Experimental Studies in Load Balancing / Azzedine Boukerche ; Sajal K. Das
On-Line Scheduling of Parallelizable Jobs / Christophe Rapine ; Isaac D. Scherson
On Optimal k-linear Scheduling of Tree-Like Task Graphs for LogP Machines / Wolf Zimmermann ; Martin Middendorf ; Welf Löwe
Static Scheduling Using Task Replication for LogP and BSP Models / Cristina Boeres ; Vinod E.F. Rehello ; David B. Skillicorn
Aspect Ratio for Mesh Partitioning / Ralf Diekmann ; Robert Preis ; Frank Schlimbach ; Chris Walshaw
A Competitive Symmetrical Transfer Policy for Load Sharing / Konstantinos Antonis ; John Garofalakis ; Paul Spirakis
Scheduling Data-Parallel Computations on Heterogeneous and Time-Shared Environments / Salvatore Orlando ; Raffaele Perego
A Lower Bound for Dynamic Scheduling of Data Parallel Programs / Fahricio Alves Barbosa da Silva ; Luis Miguel Campos
A General Modular Specification for Distributed Schedulers / Gerson G. H. Cavalheiro ; Yves Denneulin ; Jean-Louis Roch
Feedback Guided Dynamic Loop Scheduling: Algorithms and Experiments / J. Mark Bull
Load Balancing for Problems with Good Bisectors, and Applications in Finite Element Simulations / Stefan Bischof ; Ralf Ebner ; Thomas Erlehach
An Efficient Strategy for Task Duplication in Multiport Message-Passing Systems / Dingchao Li ; Yuji Iwahori ; Tatsuya Hayashi ; Naohiro Ishii
Evaluation of Process Migration for Parallel Heterogeneous Workstation Clusters / M.A.R. Dantas
Using Alternative Schedules for Fault Tolerance in Parallel Programs on a Network of Workstations / Dihyendu Das
Dynamic and Randomized Load Distribution in Arbitrary Networks / J. Gaher ; B. Toursel
Automatic Parallelisation and High Performance Compilers / Jean-François Collard
Data Distribution at Run-Time: Re-using Execution Plans / Olav Beckmann ; Paul H.J. Kelly
Enhancing Spatial Locality via Data Layout Optimizations / M. Kandemir ; A. Choudhary ; J. Ramanujam ; N. Shenoy ; P. Banerjee
Parallelization of Unstructured Mesh Computations Using Data Structure Formalization / Rainer Koppler
Parallel Constant Propagation / Jens Knoop
Optimization of SIMD Programs with Redundant Computations / Jörn Eisenhiegler
Exploiting Course Grain Parallelism from FORTRAN by Mapping it to IF1 / Adrianos Lachanas
A Parallelization Framework for Recursive Tree Programs / Paul Feautrier
Optimal Orthogonal Tiling / Rumen Andonov ; Sanjay Rajopadhye ; Nicola Yanev
Enhancing the Performance of Autoscheduling in Distributed Shared Memory Multiprocessors / Dimitrios S. Nikolopoulos ; Eleftherios D. Polychronopoulos ; Theodore S. Papatheodorou
Distributed Systems and Databases / Lionel Brunie ; Ernst Mayer
Collection-Intersect Join Algorithms for Parallel Object-Oriented Database Systems / David Taniar ; J. Wenny Rahayu
Exploiting Atomic Broadcast in Replicated Databases / Fernando Pedone ; Rachid Guerraoui ; André Schiper
The Hardware/Software Balancing Act for Information Retrieval on Symmetric Multiprocessors / Zhihong Lu ; Kathryn S. McKinley ; Brendon Cahoon
The Enhancement of Semijoin Strategies in Distributed Query Optimization / Faza Najjar ; Yahya Slimani
Virtual Time Synchronization in Distributed Database Systems Using a Cluster of Workstations / Timothy E. LeMaster ; Ajoy Datta
Load Balancing and Processor Assignment Statements / F. Sande ; C. León ; I. Coloma ; A. Delgado
Mutual Exclusion Between Neighboring Nodes in a Tree that Stabilizes Using Read/Write Atomicity / Gheorghe Antonoiu ; Pradip K. Srimani
Irreversible Dynamos in Tori / P. Flocchini ; E. Lodi ; F. Luccio ; L. Pagli ; N. Santoro
MPI-GLUE: Interoperable High-Performance MPI Combining Different Vendor's MPI Worlds / Rolf Rabenseifner
High Performance Protocols for Clusters of Commodity Workstations / P. Melas ; E. J. Zaluska
Significance and Uses of Fine-Grained Synchronization Relations / Ajay D. Kshemkalyani
A Simple Protocol to Communicate Channels over Channels / Henk L. Muller ; David May
SciOS: Flexible Operating System Support for SCI Clusters / Povl T. Koch ; Xavier Rousset de Pina
Indirect Reference Listing: A Robust Distributed GC / José M. Piquer ; Ivana Visconti
Active Ports: A Performance-Oriented Operating System Support to Fast LAN Communications / G. Chiola ; G. Ciaccio
Languages / Henk Sips ; Antonio Corradi ; Murray Cole
A Tracing Protocol for Optimizing Data Parallel Irregular Computations / Thomas Brandes ; Cécile Germain
Contribution to Better Handling of Irregular Problems in HPF2 / Frédéric Brégier ; Marie Christine Counilh ; Jean Roman
OpenMP and HPF: Integrating Two Paradigms / Barbara Chapman ; Piyush Mehrotra
Towards a Java Environment for SPMD Programming / Bryan Carpenter ; Guansong Zhang ; Geoffrey Fox ; Xiaoming Li ; Xinying Li ; Yuhong Wen
Language Constructs and Run-Time Systems for Parallel Cellular Programming / Giandomenico Spezzano ; Domenico Talia
Task Parallel Skeletons for Irregularly Structured Problems / Petra Hofstedt
Synchronizing Communication Primitives for a Shared Memory Programming Model / Vladimir Vlassov ; Lars-Erik Thorelli
Symbolic Cost Analysis and Automatic Data Distribution for a Skeleton-Based Language / Julien Mallet
Optimising Data-Parallel Programs Using the BSP Cost Model / D.B. Skillicorn ; M. Danelutto ; S. Pelagatti ; A. Zavanella
A Parallel Multigrid Skeleton Using BSP / Femi O. Osoba ; Fethi A. Rabhi
Flattening Trees / Gabriele Keller ; Manuel M.T. Chakravarty
Dynamic Type Information in Process Types / Franz Puntigam
Generation of Distributed Parallel Java Programs / Pascale Launay ; Jean-Louis Pazat
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency / Thomas Gehrke
An Object-Oriented Framework for Managing the Quality of Service of Distributed Applications / Stéphane Lorcy ; Noël Plouzeau
A Data Parallel Java Client-Server Architecture for Data Field Computations over Zn / Jean-Louis Giavitto ; Dominique De Vito ; Jean-Paul Sansonnet
Numerical and Symbolic Algorithms / Maurice Clint ; Wolfgang Kreuchlin
On the Influence of the Orthogonalization Scheme on the Parallel Performance of GMRES / Valérie Frayssé ; Luc Giraud ; Hatim Kharraz-Aroussi
A Parallel Solver for Extreme Eigenpairs / Leonardo Borges ; Suely Oliveira
Parallel Solvers for Large Eigenvalue Problems Originating from Maxwell's Equations / Peter Arbenz ; Roman Geus
Waveform Relaxation for Second Order Differential Equation y'' = f (x,y) / Kazufumi Ozawa ; Susumu Yamada
The Parallelization of the Incomplete LU Factorization on AP1000 / Takashi Nodera ; Naoto Tsuno
An Efficient Parallel Triangular Inversion by Gauss Elimination with Sweeping / Ayşe Kiper
Fault Tolerant QR-Decomposition Algorithm and its Parallel Implementation / Oleg Maslennikow ; Juri Kaniewski ; Roman Wyrzykowski
Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study / Arnold R. Krommer
Using a General-Purpose Numerical Library to Parallelize an Industrial Application: Design of High-Performance Lasers / Ida de Bono ; Daniela di Serafino ; Eric Ducloux
Fast Parallel Hermite Normal Form Computation of Matrices over F[x] / Clemens Wagner
Optimising Parallel Logic Programming Systems for Scalable Machines / Vítor Santos Costa ; Ricardo Bianchini
Experiments withBinding Schemes in LOGFLOW / Zsolt Németh ; Péter Kacsuk
Experimental Implementation of Parallel TRAM on Massively Parallel Computer / Kazuhiro Ogata ; Hiromichi Hirata ; Shigenori Ioroi ; Kokichi Futatsugi
Parallel Temporal Tableaux / R.I. Scott ; M.D. Fisher ; J.A. Keane
Theory and Algorithms for Parallel Computation / Bill McColl ; David Walker
BSP, LogP, and Oblivious Programs / Jörn Eisenbiegler
Parallel Computation on Interval Graphs Using PC Clusters: Algorithms and Experiments / A. Ferreira ; I. Guérin Lassous ; K. Marcus ; A. Rau-Chaplin
Adaptable Distributed Shared Memory: A Formal Definition / Jordi Bataller ; José M. Bernabéu-Aubán
Parameterized Parallel Complexity / Marco Cesati ; Miriam Di Ianni
Asynchronous (Time-Warp) versus Synchronous (Event-Horizon) Simulation Time Advance in BSP / Mauricio Marín
Scalable Sharing Methods Can Support a Simple Performance Model / Jonathan Nash
Long Operand Arithmetic on Instruction Systolic Computer Architectures and Its Application in RSA Cryptography / Bertil Schmidt ; Manfred Schimmler ; Heiko Schröder
Hardware Cache Optimization for Parallel Multimedia Applications / C. Kulkarni ; F. Catthoor ; H. De Man
Parallel Solutions of Simple Indexed Recurrence Equations / Yosi Ben-Asher ; Gady Haber
Scheduling Fork Graphs under LogP with an Unbounded Number of Processors
A Data Layout Strategy for Parallel Web Servers / Jörg Jensch ; Reinhard Lüling ; Norbert Sensen
ViPIOS: The Vienna Parallel Input/Output System / Erich Schikuta ; Thomas Fuerle ; Helmut Wanek
A Performance Study of Two-Phase I/O / Phillip M. Dickens ; Rajeev Thakur
Architectures and Networks / Kieran Herley ; David Snelling
Predictable Communication on Unpredictable Networks: Implementing BSP over TCP/IP
Adaptive Routing Based on Deadlock Recovery / Nidhi Agrawal ; C.P. Ravikumar
On the Optimal Network for Multicomputers: Torus or Hypercube? / Mohamed Ould-Khaoua
Constant Thinning Protocol for Routing h-Relations in Complete Networks / Anssi Kautonen ; Ville Leppänen ; Martti Penttonen
NAS Integer Sort on Multi-threaded Shared Memory Machines / Thomas Grün ; Mark A. Hillebrand
Analysing a Multistreamed Superscalar Speculative Instruction Fetch Mechanism / Rafael R. dos Santos ; Philippe O.A. Navaux
Design of Processor Arrays for Real-time Applications / Dirk Fimmel ; Renate Merker
Interval Routing & Layered Cross Product: Compact Routing Schemes for Butterflies, Mesh of Trees and Fat Trees / Tiziana Calamoneri
Gossiping Large Packets on Full-Port Tori / Ulrich Meyer ; Jop F. Sibeyn
Time-optimal Gossip in Noncombining 2-D Tori with Constant Buffers / Michal Šoch ; Pavel Tvrdík
Divide-and-Conquer Algorithms on Two-Dimensional Meshes / Miguel Valero-García ; Antonio González ; Luis Díaz de Cerio ; Dolors Royo
All-to-all Scatter in Kautz Networks / Petr Salinger
Reactive Proxies: A Flexible Protocol Extension to Reduce ccNUMA Node Controller Contention / Sarah A.M. Talbot
Handling Multiple Faults in Wormhole Mesh Networks / Tor Skeie
Shared Control - Supporting Control Parallelism Using a SIMD-like Architecture / Nael B. Abu-Ghazaleh ; Philip A. Wilsey
ESPRIT Projects / Ron Perrott ; Colin Upstill
Parallel Crew Scheduling in PAROS / Panayiotis Alefragis ; Christos Goumopoulos ; Efthymios Housos ; Peter Sanders ; Tuomo Takkula ; Dag Wedelin
Cobra: a CORBA-compliant Programming Environment for High-Performance Computing / Thierry Priol ; Christophe René
OCEANS: Optimising Compilers for Embedded ApplicatioNS / Michel Barreteau ; François Bodin ; Peter Brinkhaus ; Zbigniew Chamski ; Henri-Pierre Charles ; Christine Eisenbeis ; John Gurd ; Jan Hoogerbrugge ; Ping Hu ; William Jalby ; Peter M.W. Knijnenburg ; Michael O'Boyle ; Erven Rohou ; André Seznec ; Elena A. Stöhr ; Menno Treffers ; Harry A.G. Wijshoff
Industrial Stochastic Simulations on a European Meta-Computer / Ken Meacham ; Nick Floros ; Mike Surridge
Porting the SEMC 3D Electromagnetics Code to HPF / Henri Luzet ; L.M. Delves
HiPEC: High Performance Computing Visualization System Supporting Networked Electronic Commerce Applications / Olaf Schmidt
Index of Authors
Invited Talks
Random Number Generation and Simulation on Vector and Parallel Computers / Richard P. Brent
Heterogeneous HPC Environments / Marco Vanneschi
12.

図書

図書
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
13.

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼