close
1.

図書

図書
Michel Daydé ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xviii, 732 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3402
所蔵情報: loading…
2.

図書

図書
edited by Tse-yun Feng
出版情報: Berlin : Springer-Verlag, 1975  vi, 433 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 24
所蔵情報: loading…
3.

図書

図書
edited by Gilles Kahn
出版情報: Berlin : Springer-Verlag, 1979  vi, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 70
所蔵情報: loading…
4.

図書

図書
edited by Wolfgang Händler
出版情報: Berlin ; New York : Springer-Verlag, 1981  xi, 507 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 111
所蔵情報: loading…
5.

図書

図書
edited by J. Winkowski
出版情報: Berlin ; New York : Springer-Verlag, 1978  ix, 551 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 64
所蔵情報: loading…
6.

図書

図書
Marisa Venturini Zilli (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 230 p. ; 25 cm.
シリーズ名: Lecture notes in computer science ; 280
所蔵情報: loading…
目次情報: 続きを見る
Testing Equivalences for Event Structures / P. America ; J. de Bakker:
Designing Equivalent Semantic Models for Process Creation / E. Astesiano ; G. Reggio:
An Outline of the SMoLCS Approach / M. Broy ; T. Streicher:
Views of Distributed Systems / P. Degano ; R. De Nicola ; U. Montanari:
CCS is an (Augmented) Contact Free C/E System / J.-Y. Girard:
Linear Logic and Parallelism / A. Labella ; A. Pettorossi:
Universal Models in Categories for Process Synchronization / G. Mirkowska ; A. Salwicki:
On Axiomatic Definition of Max-Model of Concurrency
Participants
Testing Equivalences for Event Structures / P. America ; J. de Bakker:
Designing Equivalent Semantic Models for Process Creation / E. Astesiano ; G. Reggio:
An Outline of the SMoLCS Approach / M. Broy ; T. Streicher:
7.

図書

図書
J.D. Becker and I. Eisele (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1987  vi, 226 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 253
所蔵情報: loading…
8.

図書

図書
R. Dierstein, D. Müller-Wichards, H.-M. Wacker (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  185 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 295
DFVLR seminar series
所蔵情報: loading…
目次情報:
Parallel Computer Architectures
Software and Languages
Algorithms and Applications
Parallel Computer Architectures
Software and Languages
Algorithms and Applications
9.

図書

図書
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:
10.

図書

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