close
1.

図書

図書
Juha Fagerholm ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xiv, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2367
所蔵情報: loading…
2.

図書

図書
Juan Julián Merelo Guervós ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xxii, 947 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2439
所蔵情報: loading…
目次情報: 続きを見る
Evolutionary Algorithms Theory
Random Dynamics Optimum Tracking with Evolution Strategies / Dirk V. Arnold ; Hans-Georg Beyer
On the Behavior of Evolutionary Global-Local Hybrids with Dynamic Fitness Functions / Roger Eriksson ; Björn Olsson
Measuring the Searched Space to Guide Efficiency: The Principle and Evidence on Constraint Satisfaction / Jano I. van Hemert ; Thomas Bäck
On the Analysis of Dynamic Restart Strategies for Evolutionary Algorithms / Thomas Jansen
Running Time Analysis of Multi-objective Evolutionary Algorithms on a Simple Discrete Optimization Problem / Marco Laumanns ; Lothar Thiele ; Eckart Zitzler ; Emo Welzl ; Kalyanmoy Deb
Fitness Landscapes Based on Sorting and Shortest Paths Problems / Jens Scharnow ; Karsten Tinnefeld ; Ingo Wegener
Performance Measures for Dynamic Environments / Karsten Weicker
Representation/Codification Issues
Direct Representation and Variation Operators for the Fixed Charge Transportation Problem / Christoph Eckert ; Jens Gottlieb
On the Utility of Redundant Encodings in Mutation-Based Evolutionary Search / Joshua D. Knowles ; Richard A. Watson
Binary Representations of Integers and the Performance of Selectorecombinative Genetic Algorithms / Franz Rothlauf
Variation Operators: Analysis, New Techniques
Parallel Varying Mutation in Deterministic and Self-adaptive GAs / Hernán E. Aguirre ; Kiyoshi Tanaka
Self-organizing Maps for Pareto Optimization of Airfoils / Dirk Büche ; Gianfranco Guidati ; Peter Stoll ; Petros Koumoutsakos
On Fitness Distributions and Expected Fitness Gain of Mutation Rates in Parallel Evolutionary Algorithms / David W. Corne ; Martin J. Oates ; Douglas B. Kell
Opposites Attract: Complementary Phenotype Selection for Crossover in Genetic Programming / B Dolin ; M.G. Arenas ; J.J. Merelo
Theoretical Analysis of the Confidence Interval Based Crossover for Real-Coded Genetic Algorithms / C Hervás-Martínez ; D. Ortiz-Boyer ; N. García-Pedrajas
Deterministic Multi-step Crossover Fusion: A Handy Crossover Composition for GAs / Kokolo Ikeda ; Shigenobu Kobayashi
Operator Learning for a Problem Class in a Distributed Peer-to-Peer Environment / M. Jelasity ; M. Preuß ; A.E. Eiben
Crossover Operator Effect in Function Optimization with Constraints / D Ortiz-Boyer ; C. Hervás-Martínez
Reducing Random Fluctuations in Mutative Self-adaptation / Thomas Philip Runarsson
On Weight-Biased Mutation for Graph Problems / Günther R. Raidl ; Gabriele Kodydek ; Bryant A. Julstrom
Self-adaptive Operator Scheduling Using the Religion-Based EA / René Thomsen ; Thiemo Krink
Probabilistic Model-Building Genetic Algorithms in Permutation Representation Domain Using Edge Histogram / Shigeyoshi Tsutsui
From Syntactical to Semantical Mutation Operators for Structure Optimization / Dirk Wiesmann
Evolutionary Techniques: Coevolution
Parameter Control within a Co-operative Co-evolutionary Genetic Algorithm / Antony Iorio ; Xiaodong Li
The Effects of Representational Bias on Collaboration Methods in Cooperative Coevolution / R. Paul Wiegand ; William C. Liles ; Kenneth A. De Jong
Multiobjective Optimization
Parallel and Hybrid Models for Multi-objective Optimization: Application to the Vehicle Routing Problem / Nicolas Jozefowiez ; Frédéric Semet ; El-Ghazali Talbi
Multiobjective Design Optimization of Merging Configuration for an Exhaust Manifold of a Car Engine / Masahiro Kanazaki ; Masashi Morikaw ; Shigeru Obayashi ; Kazuhiro Nakahashi
Multi-objective Co-operative Co-evolutionary Genetic Algorithm / Nattavut Keerativuttitumrong ; Nachol Chaiyaratana ; Vara Varavithya
Bayesian Optimization Algorithms for Multi-objective Optimization / Jiri Ocenasek
An Evolutionary Algorithm for Controlling Chaos: The Use of Multi-objective Fitness Functions / Hendrik Richter
Evolutionary Algorithms: New Techniques
On Modelling Evolutionary Algorithm Implementations through Co-operating Populations / Panagiotis Adamidis ; Vasilios Petridis
Permutation Optimization by Iterated Estimation of Random Keys Marginal Product Factorizations / Peter A.N. Bosman ; Dirk Thierens
Advanced Population Diversity Measures in Genetic Programming / Edmund Burke ; Steven Gustafson ; Graham Kendall ; Natalio Krasnogor
Introducing Start Expression Genes to the Linkage Learning Genetic Algorithm / Ying-ping Chen ; David E. Goldberg
Metamodel-Assisted Evolution Strategies / Michael Emmerich ; Alexius Giotis ; Mutlu Özdemir ; Kyriakos Giannakoglou
Limiting the Number of Fitness Cases in Genetic Programming Using Statistics / Mario Giacobini ; Marco Tomassini ; Leonardo Vanneschi
Resource-Based Fitness Sharing / Jeffrey Horn
Evolution Strategy with Neighborhood Attraction Using a Neural Gas Approach / Jutta Huhse ; Thomas Villmann ; Peter Merz ; Andreas Zell
A New Asynchronous Parallel Evolutionary Algorithm for Function Optimization / Pu Liu ; Francis Lau ; Michael J. Lewis ; Cho-li Wang
Fighting Bloat with Nonparametric Parsimony Pressure / Sean Luke ; Liviu Panait
Increasing the Serial and the Parallel Performance of the CMA-Evolution Strategy with Large Populations / Sibylle D. Müller ; Nikolaus Hansen
Adaptive Reservoir Genetic Algorithm with On-Line Decision Making / Cristian Munteanu ; Agostinho Rosa
Genetic Algorithm Visualization Using Self-organizing Maps / G. Romero ; P.A. Castillo ; J.G. Castellano
Generalised Regression GA for Handling Inseparable Function Interaction: Algorithm and Applications / Rajkumar Roy ; Ashutosh Tiwari
Diversity-Guided Evolutionary Algorithms / Rasmus K. Ursem
Hybrid Algorithms: Neurogenetic Algorithms, Evolutionary Techniques Applied to Neural Nets
Evolutionary Optimization of Heterogeneous Problems / Lluís A. Belanche Muñoz
Automatic Recurrent and Feed-Forward ANN Rule and Expression Extraction with Genetic Programming / Julian Dorado ; Juan R. Rabuñal ; Antonino Santos ; Alejandro Pazos ; Daniel Rivero
Learning and Evolution by Minimization of Mutual Information / Yong Liu ; Xin Yao
Evolved RBF Networks for Time-Series Forecasting and Function Approximation / V.M. Rivas
Hybrid Algorithms: Memetic, Other
Evolutive Identification of Fuzzy Systems for Time-Series Prediction / Jesús González ; Ignacio Rojas ; Héctor Pomares
HyGLEAM - An Approach to Generally Applicable Hybridization of Evolutionary Algorithms / Wilfried Jakob
Co-evolving Memetic Algorithms: Initial Investigations / Jim Smith
Learning Classifier Systems
Consideration of Multiple Objectives in Neural Learning Classifier Systems / Larry Bull ; Matt Studley
On Using Constructivism in Neural Classifier Systems
Initial Modifications to XCS for Use in Interactive Evolutionary Design / David Wyatt ; Ian Parmee
First Results from Experiments in Fuzzy Classifier System Architectures for Mobile Robotics / A.G. Pipe ; B. Carse
TCS Learning Classifier System Controller on a Real Robot / Jacob Hurst ; Chris Melhuish
Comparison of Different Techniques
Comparing Synchronous and Asynchronous Cellular Genetic Algorithms / Enrique Alba ; Sergio Romero
Satellite Range Scheduling: A Comparison of Genetic, Heuristic and Local Search / L. Barbulescu ; A.E. Howe ; J.P. Watson ; L.D. Whitley
The LifeCycle Model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers / Morten Løvbjerg
Metaheuristics for Group Shop Scheduling / Michael Sampels ; Christian Blum ; Monaldo Mastrolilli ; Olivia Rossi-Doria
Experimental Investigation of Three Distributed Genetic Programming Models / Francisco Fernández ; Germán Galeano
Model-Based Search for Combinatorial Optimization: A Comparative Study / Mark Zlochin ; Marco Dorigo
Evolutionary Algorithm Implementations
A Framework for Distributed Evolutionary Algorithms / P. Collet ; B. Paechter ; M. Schoenauer
Optimisation of Multilayer Perceptrons Using a Distributed Evolutionary Algorithm with SOAP
Applications
Off-Line Evolution of Behaviour for Autonomous Agents in Real-Time Computer Games / Eike Falk Anderson
A Parallel Evolutionary Algorithm for Stochastic Natural Language Parsing / Lourdes Araujo
Evolutionary Learning of Boolean Queries by Multiobjective Genetic Programming / Oscar Cordón ; Enrique Herrera-Viedma ; María Luque
Inferring Phylogenetic Trees Using Evolutionary Algorithms / Carlos Cotta ; Pablo Moscato
Towards a More Efficient Evolutionary Induction of Bayesian Networks / Jorge Muruzáabal
Robust Multiscale Affine 2D-Image Registration through Evolutionary Strategies / Héctor Fernando Gómez García ; Arturo González Vega ; Arturo Hernández Aguirre ; José Luis Marroquín Zaleta ; Carlos Coello Coello
Synthesizing Graphical Models Employing Explaining Away / Ralf Garionis
Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms / R. Joan-Arinyo ; M.V. Luzón ; A. Soto
Multimeme Algorithms for Protein Structure Prediction / N. Krasnogor ; B.P. Blackburne ; E.K. Burke ; J.D. Hirst
A Dynamic Traffic Model for Frequency Assignment / Hakim Mabed ; Alexandre Caminada ; Jin-Kao Hao ; Denis Renaud
A Parameter-Free Genetic Algorithm for a Fixed Channel Assignment Problem with Limited Bandwidth / Shouichi Matsui ; Isamu Watanabe ; Ken-ichi Tokoro
Real-Coded Parameter-Free Genetic Algorithm for Job-Shop Scheduling Problems
Clustering Gene Expression Profiles with Memetic Algorithms
Cellular Automata and Genetic Algorithms for Parallel Problem Solving in Human Genetics / Jason H. Moore ; Lance W. Hahn
Evolutionary Graph Generation System and Its Application to Bit-Serial Arithmetic Circuit Synthesis / Makoto Motegi ; Naofumi Homma ; Takafumi Aoki ; Tatsuo Higuchi
Evaluating Multi-criteria Evolutionary Algorithms for Airfoil Optimisation / Boris Naujoks ; Lars Willmes ; Werner Haase
Hyperheuristics: A Robust Optimisation Method Applied to Nurse Scheduling / Peter Cowling ; Eric Soubeiga
Evolving the Topology of Hidden Markov Models Using Evolutionary Algorithms
Solving a Real World Routing Problem Using Multiple Evolutionary Agents / Neil Urquhart ; Peter Ross ; Ben Paechter ; Ken Chisholm
Other Bioinspired Algorithms: Cellular Automata, Ant Colony Optimization
An Ant Colony Optimization Approach to the Probabilistic Traveling Salesman Problem / Leonora Bianchi ; Luca Maria Gambardella
When Model Bias Is Stronger than Selection Pressure
Evolution of Asynchronous Cellular Automata / Mathieu S. Capcarrere
Improved Ant-Based Clustering and Sorting in a Document Retrieval Interface / Julia Handl ; Bernd Meyer
An Adaptive Flocking Algorithm for Spatial Clustering / Gianluigi Folino ; Giandomenico Spezzano
Evolution of Asynchronous Cellular Automata for the Density Task / Mattias Venzi
Author Index
Evolutionary Algorithms Theory
Random Dynamics Optimum Tracking with Evolution Strategies / Dirk V. Arnold ; Hans-Georg Beyer
On the Behavior of Evolutionary Global-Local Hybrids with Dynamic Fitness Functions / Roger Eriksson ; Björn Olsson
3.

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xix, 915 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2328
所蔵情報: loading…
目次情報: 続きを見る
Parallel, Distributed, and Grid Architectures / I:
Interrupt and Cancellation as Synchronization Methods / Janusz Borkowski
Supercomputing for the Masses: A Parallel Macintosh Cluster / Viktor K. Decyk ; Dean E. Dauger
Applications of Virtual Data in the LIGO Experiment / Ewa Deelman ; Carl Kesselman ; Roy Williams ; Kent Blackburn ; Albert Lazzarini ; Scott Koranda
Visualization of Automorphisms and Vertex-Symmetry / Michael Sampels
κNUMA: A Model for Clusters of SMP-Machines / Martin Schmollinger ; Michael Kaufmann
A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters / Marek Tudruj ; Łukasz Masko
Scheduling and Load Balancing / II:
SASEPA: Simultaneous Allocation and Scheduling with Exclusion and Precedence Relations Algorithm / C. Fernández ; F. Torres ; S.T. Puente
Optimal Task Scheduling of a Complete K-Ary Tree with Communication Delays / Noriyuki Fujimoto ; Kenichi Hagihara
A Greedy Approach for a Time-Dependent Scheduling Problem / Stanisław Gawiejnowicz ; Wiesław Kurc ; Lidia Pankowska
Dedicated Scheduling of Biprocessor Tasks to Minimize Mean Flow Time / Krzyszt of Giaro ; Marek Kubale ; Michał Małafiejski ; Konrad Piwakowski
Fast Scheduling and Partitioning Algorithm in the Multi-processor System with Redundant Communication Resources / Eryk Laskowski
Heterogeneous Dynamic Load Balancing with a Scheme Based on the Laplacian Polynomial / Tiberiu Rotaru ; Hans-Heinrich Nägeli
Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach
Processing Time and Memory Requirements for Multi-instalment Divisible Job Processing / Paweł Wolniewicz ; Maciej Drozdowski
Performance Analysis and Prediction / III:
Estimating Execution Time of Distributed Applications
Evaluation of Parallel Programs by Measurement of Its Granularity / Jan Kwiatkowski
The Performance of Different Communication Mechanisms and Algorithms Used for Parallelization of Molecular Dynamics Code / Rafał Metkowski ; Piotr Bała ; Terry Clark
Benchmarking Tertiary Storage Systems with File Fragmentation / Darin Nikolow ; Renata Słota ; Jacek Kitowski
FEM Computations on Clusters Using Different Models of Parallel Programming / Tomasz Olas ; Konrad Karczewski ; Adam Tomas ; Roman Wyrzykowski
Parallel Non-numerical Algorithms / IV:
Parallel Skeletons for Tabu Search Method Based on Search Strategies and Neighborhood Partition / Maria J. Blesa ; Lluis Hernàndez ; Fatos Xhafa
A New Parallel Approach for Multi-dimensional Packing Problems / Jacek Błazewicz ; Rafał Walkowiak
Consistency Requirements of Peterson's Algorithm for Mutual Exclusion of n Processes in a Distributed Shared Memory System / Jerzy Brzeziński ; Dariusz Wawrzyniak
Three Parallel Algorithms for Simulated Annealing / Zbigniew J. Czech
Construction of Phylogenetic Trees on Parallel Clusters / Frédéric Guinand ; Gilles Parmentier ; Denis Trystram
On Parallel Generation of t-Ary Trees in an Associative Model / Zbigniew Kokosiński
Solving the Flow Shop Problem by Parallel Simulated Annealing / Mieczysław Wodecki ; Wojciech Bozejko
Parallel Programming / V:
Automated Verification of Infinite State Concurrent Systems / Piotr Dembiński ; Wojciech Penczek ; Agata Półrola
A Language for the Complexity Analysis of Parallel Programs / J.A. González ; C. León ; M. Pristinta ; J.L. Roda ; C. Rodríguez ; J.M. Rodríguez ; F. Sande
Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints / Sergey Krivoi
Systematic Generation of Executing Programs for Processor Elements in Parallel ASIC or FPGA-Based Systems and Their Transformation into VHDL-Descriptions of Processor Element Control Units / Oleg Maslennikov
Developing a Data-Parallel Application with DaParT / Cevat Şener ; Yakup Paker ; Ayşe Kiper
Application of Mixed MPI/OpenMP Programming in a Multi SMP Cluster Computer / Adam Smyk
Tools and Environments for Parallel and Distributed Processing / VI:
Irregular and Out-of-Core Parallel Computing on Clusters / Peter Brezany ; Marian Bubak ; Maciej Malawski ; Katarzyna Zaj&acedil;c
A Concept of Grid Application Monitoring / Włodzimierz Funika ; Bartosz Balinś ; Roland Wismüller
Towards a Monitoring Interface Specification for Distributed Java Applications / Piotr M&ecedil;tel ; Rafał Orłowski
Testing for Conformance of Parallel Programming Pattern Languages / Łukasz Garstecki ; Paweł Kaczmarek ; Jacques Chassin de Kergommeaux ; Henryk Krawczyk ; Bogdan Wiszniewski
Overview of IA-64 Explicitly Parallel Instruction Computing Architecture / Pawel Gepner
Toward an Operating System That Supports Parallel Processing on Nondedicated Clusters / A. Gonściński ; M. Hobbs ; J. Silcock
Load Distribution in Jini Using JINT / Joong-Han Kim ; Seong-Soo Yae ; R.S. Ramakrishna ; Yoo-Sung Kim
Agent System for Load Monitoring of the Heterogeneous Computer Network / Marcin Lepiarz ; Zdzislaw Onderka
DDG Task Recovery for Cluster Computing / G.T. Nguyen ; L. Hluchy ; V.D. Tran ; M. Kotocova
Parallel Numerical Algorithms / VII:
A Columnwise Block Striping in Neville Elimination / Pedro Alonso ; Raquel Cortina ; Irene Díaz ; Vicente Hernández ; José Ranilla
A Flexible 2-Level Neumann-Neumann Method for Structural Analysis Problems / Petter E. Bjørstad ; Piotr Krzyżanowski
Parallel Displacement Decomposition Solvers for Elasticity Problems / Radim Blaheta ; Ondřej Jakl ; Jiří Starý
A Scheme for Partitioning Regular Graphs / R. Čiegis ; G. Šilko
Analysis of the Lanczos Error Bounds and Its Application to the Explicitly Restarted Lanczos Algorithm / A. Cooper ; M. Szularz ; J. Weston
New Generalized Data Structures for Matrices Lead to a Variety of High Performance Algorithms / Fred G. Gustavson
Solving Large Systems of Differential Equations with PaViS / Dana Petcu
pARMS: A Package for Solving General Sparse Linear Systems on Parallel Computers / Y. Saad ; M. Sosonkina
Implementation of Givens QR-Decomposition in FPGA / Anatoli Sergyienko
A New Message Passing Algorithm for Solving Linear Recurrence Systems / Przemysław Stpiczyński
Applications of Parallel/Distributed Processing / VIII:
Distributed Evolutionary Algorithms in Shape Optimization of Nonlinear Structures / Tadeusz Burczyński ; Wacław Kus
Parallel Numerical Solution for Flood Modeling Systems / D. Froehlich ; J. Astalos ; M. Dobrucky
An Empirical Comparison of Decomposition Algorithms for Complex Finite Element Meshes / Tomasz Jurczyk ; Barbara Głut
Application of Parallel Computing in the Transfer - Matrix Simulations of the Supramolecules Mn6 and Ni12 / Grzegorz Kamieniarz ; Ryszard Matysiak ; Alvaro Caramico D'Auria ; Filippo Esposito ; Cristiano Benelli
The Parallel Environment for Endoscopic Image Analysis / Aleksander Neyman ; Michal Nowikowski ; Jamil Saif
Using Fractal Coding in Medical Image Magnification / Wieslawa Kwiatkowska ; Krzyszt of Kawa ; Piotr Kania
Quasi-Characteristics Scheme with Parallel Facilities for Computations of Two-Phase Flows in Heterogeneous Porous Media / Mikhail P. Levin
Monte Carlo Method with Parallel Computation of Phase Transitions in the Three-Dimensional Ashkin-Teller Model / G. Musiał ; L. D&ecedil;bski
Flow Simulations on Overlapping Grids / Stefan Nilsson
Parallel Unstructured AMR and Gigabit Networking for Beowulf-Class Clusters / Charles D. Norton ; Thomas A. Ćwik
Parallel Grid Manipulations for General Circulation Models / William Sawyer ; Peter Messmer
Block Models of Lithosphere Dynamics: Approach and Algorithms / Alexander Soloviev ; Vyacheslav Maksimov ; Valerii Rozenberg ; Yurii Ermoliev
A Component Model for Discrete Event Simulation / Boleslaw K. Szymański ; Gilbert Chen
Evolutionary Computing and Neural Networks / IX:
Modelling Hierarchical Genetic Strategy as a Family of Markov Chains / Joanna Kołodziej
Parallel Processing by Implication-Based Neuro-Fuzzy Systems / Danuta Rutkowska ; Robert Nowicki ; Yoichi Hayashi
On the Convergence of Sampling Measures in the Global Genetic Search / Robert Schaefer ; Zenon J. Jabłoński
Genetic Algorithms: Two Different Elitism Operators for Stochastic and Deterministic Applications / Juan Seijas ; Carmen Morató ; José L. Sanz-González
Immune-Like System Approach to Cellular Automata-Based Scheduling / Franciszek Seredyński ; Anna Świ&ecedil;cicka
Connectionist Structures of Type 2 Fuzzy Inference Systems / Janusz Starczewski ; Leszek Rutkowski
LTF-C - Neural Network for Solving Classification Problems / Marcin Wojnarski
EPL-Julia the High-Performance Library for Evolutionary Computations / Jarosław Żola
Numerical Methods and Their Applications / X:
Aggregation Multilevel Iterative Solver for Analysis of Large-Scale Finite Element Problems of Structural Mechanics: Linear Statics and Natural Vibrations / Sergiy Fialko
Computer Simulations in Constructing a Coefficient of Uncertainty in Regression Estimation - Methodology and Results / Andrzej Grzybowski
Multi-phase Inverse Stefan Problems Solved by Approximation Method / Radosław Grzymkowski ; Damian Słota
Error Estimates for BE/FE Method in Elastic Scattering / Andrzej Karafiat ; Lech Sławik ; Olga Trzos
A Numerical Method for Solution of Ordinary Differential Equations of Fractional Order / Jacek Leszczyński ; Mariusz Ciesielski
The Efficient Generation of Unstructured Control Volumes in 2D and 3D / Sebastian Pluta
Coupling of Thermal and Mechanical Phenomena by Boundary Conditions in Numerical Modelling of Solidifying Castings / Arkadiusz Nagórka ; Norbert Sczygiol ; Grzegorz Szwarc
Solvers for Nonlinear Algebraic Equations; Where Are We Today? / Marcin Paprzycki ; Deborah Dent ; Anna Kucaba-Pi&ecedil;tal
Optimal Location of Sensors for Parameter Estimation of Static Distributed Systems / Maciej Patan ; Dariusz Uciński
Application of Equations with a Retarded Argument in Physical Systems / Amalia Pielorz
The Method of Fundamental Solutions in Three-Dimensional Elastostatics / Andreas Poullikkas ; Andreas Karageorghis ; Georgios Georgiou
A Constructive Numerical Method for the Comparison of Intervals / Pavel V. Sevastjanov ; Paweł Róg ; Andrey V. Venberg
Rotation of the Sources and Normalization of the Fundamental Solutions in the MFS / Yiorgos-Sokratis Smyrlis
Reconstruction of Unknown Properties of Seismic Flows / Ekaterina Vasilyeva
Parallel Two-Step W-Methods on Singular Perturbation Problems / R. Weiner ; B.A. Schmitt ; H. Podhaisky
Special Session on Parallel/Distributed Constraint Solving / XI:
The Langford's Problem: A Challenge for Parallel Resolution of CSP / Zineb Habbas ; Michaël Krajecki ; Daniel Singer
A Model of Cooperative Solvers for Computational Problems / A. Kleymenov ; D. Petunin ; A. Semenov ; I. Vazhev
A Methodology of Parallelization for Continuous Verified Global Optimization / N. Revol ; Y. Denneulin ; J.-F. Méhaut ; B. Planquelle
Mobile Concurrent Constraint Programming / Nicolas Romero
Combining Parallel and Distributed Search in Automated Equational Deduction / Carsten Sinz ; Jörg Denzinger ; Jürgen Avenhaus ; Wolfgang Küchlin
Minisymposium on Theoretical and Computational Methods in Hydrodynamics / XII:
Numerical Methods for Evolutionary Convection-Diffusion Problems with Nonlinear Reaction Terms / Blanca Bujanda ; Juan Carlos Jorge
Solution of Incompressible Navier-Stokes Equations Using Projection Methods / Jan Jankowski ; Monika Warmowska
Minisymposium on Functional Differential Equations and Their Application / XIII:
Theory and Solution Techniques for Singular Boundary Value Problems in Ordinary Differential Equations / Winfried Auzinger ; Othmar Koch ; Ewa Weinmüller
Estimation of Numerical Dynamics Constants of a Weakly Nonlinear Neuron / Andrzej Bielecki ; Dariusz Jabłoński
On Positivity of Solutions of Delayed Differential Equation with State Dependent Impulses / Alexander Domoshnitsky ; Michael Drakhlin ; Elena Litsyn
Workshop on the Complex Systems Simulation / XIV:
Distributed Simulation of Silicon-Based Film Growth / V.V. Krzhizhanovskaya ; M.A. Zatevakhin ; A.A. Ignatiev ; Y.E. Gorbachev ; P.M.A. Sloot
Biological Time Scale and Ageing in the Penna Model / Maria Stanisława Magdoń-Maksymowicz ; Andrzej Zbigniew Maksymowicz
Spatial Models of Persistence in RNA Worlds: Exploring the Origins of Life / William A. Maniatty ; Thomas Caraco ; Niles Lehman
Anastomosing Transportation Networks / Paweł Topa ; Mariusz Paszkowski
Author Index
Parallel, Distributed, and Grid Architectures / I:
Interrupt and Cancellation as Synchronization Methods / Janusz Borkowski
Supercomputing for the Masses: A Parallel Macintosh Cluster / Viktor K. Decyk ; Dean E. Dauger
4.

図書

図書
Holger Hermanns, Roberto Segala (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 214 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2399
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs / André Schiper
Probability and Timing: Challenges for Secure Programming / David Sands
Selected Papers
Security Analysis of a Probabilistic Non-repudiation Protocol / Alessandro Aldini ; Roberto Gorrieri
The Mean Value of the Maximum / Henrik Bohnenkamp ; Boudewijn Haverkort
Reduction and Refinement Strategies for Probabilistic Analysis / Pedro R. D'Argenio ; Bertrand Jeannet ; Henrik E. Jensen ; Kim G. Larsen
Action Refinement for Probabilistic Processes with True Concurrency Models / Harald Fecher ; Mila Majster-Cederbaum ; Jinzhao Wu
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets / Stefan Haar
Possibilistic and Probabilistic Abstraction-Based Model Checking / Michael Huth
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling / Marta Kwiatkowska ; Rashid Mehmood
Model Checking CSL until Formulae with Random Time Bounds / Gethin Norman ; António Pacheco
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol / Jeremy Sproston
Deriving Symbolic Representations from Stochastic Process Algebras / Matthias Kuntz ; Markus Siegle
Short Abstracts
A Generalization of Equational Proof Theory? / Olivier Bournez
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems / Mario Bravetti
Probabilistic Abstract Interpretation and Statistical Testing / Alessandra Di Pierro ; Herbert Wiklicky
Approximate Verification of Probabilistic Systems / Richard Lassaigne ; Sylvain Peyronnet
Author Index
Invited Contributions
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs / André Schiper
Probability and Timing: Challenges for Secure Programming / David Sands
5.

図書

図書
Luboš Brim ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 609 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2421
所蔵情報: loading…
6.

図書

図書
Burkhard Monien, Rainer Feldmann (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xxix, 993 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2400
所蔵情報: loading…
7.

図書

図書
Farhad Arbab, Carolyn Talcott (eds.)
出版情報: Berlin : Springer, c2002  xi, 406 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2315
所蔵情報: loading…
8.

図書

図書
Samuel P. Midkiff ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 381 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2017
所蔵情報: loading…
9.

図書

図書
Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov (eds.)
出版情報: Berlin : Springer, c2001  xi, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2179
所蔵情報: loading…
10.

図書

図書
José M.L.M. Palma, Jack Dongarra, Vicente Hernández (eds.)
出版情報: Berlin : Springer, c2001  xvi, 580 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1981
所蔵情報: loading…
目次情報: 続きを見る
Computational Grids, Languages, and Tools in Multiplatform Environments / Chapter 1:
Introduction
Computational Grids (Invited Talk) / Ian Foster ; Carl Kesselman
The Distributed Engineering Framework TENT / Tomas Forkert ; Hans-Peter Kersken ; Andreas Schreiber ; Martin Strietzel ; Klaus Wolf
A Parallel VRML97 Server Based on Active Objects / Thomas Rischbeck ; Paul Watson
Dynamic Load Balancing Model: Preliminary Results for a Parallel Pseudo-search Engine Indexers/Crawler Mechanisms Using MPI and Genetic Programming / Reginald L. Walker
Implementing and Analysing an Effective Explicit Coscheduling Algorithm on a NOW / Francesc Solsona ; Francesc Giné ; Fermín Molina ; Porfidio Hernández ; Emilio Luque
Enhancing Parallel Multimedia Servers through New Hierarchical Disk Scheduling Algorithms / Javier Fernández ; Félix García ; Jesús Carretero
Suboptimal Communication Schedule for GEN_BLOCK Redistribution (Best Student Paper Award: Honourable Mention) / Hyun-Gyoo Yook ; Myong-Soon Park
A SCOOPP Evaluation on Packing Parallel Objects in Run-Time / João Luís Sobral ; Alberto José Proenca
Measuring the Performance Impact of SP-Restricted Programming in Shared-Memory Machines / Arturo González-Escribano ; Arjan J.C. van Gemund ; Valentín Cardeaoso-Payo ; Judith Alonso-López ; David Martín-García ; Alberto Pedrosa-Calvo
A Neural Network Based Tool for Semi-automatic Code Transformation / Patrick H. Corr ; Peter Milligan ; Vaughan Purnell
A Platform Independent Parallelising Tool Based on Graph Theoretic Models / Oliver Sinnen ; Leonel Sousa
Improving the Performance of Heterogeneous DSMs via Multithreading / Renato J.O. Figueiredo ; Jeffrey P. Bradford ; José A.B. Fortes
Value Prediction as a Cost-Effective Solution to Improve Embedded Processors Performance / Silvia Del Pino ; Luis Pinauel ; Rafael A. Moreno ; Francisco Tirado
Cellular Automata and Applications in Computational Physics / Chapter 2:
Cellular Automata: Applications (Invited Talk) / Dietrich Stauffer
The Role of Parallel Cellular Programming in Computational Science / Domenico Talia
Optimisation with Parallel Computing / Sourav Kundu
Parallelization of a Density Functional Program for Monte-Carlo Simulation of Large Molecules / Jorge M. Pacheco ; José Luís Martins
Power System Reliability by Sequential Monte Carlo Simulation on Multicomputer Platforms / Carmen L.T. Borges ; Djalma M. Falcao
A Novel Algorithm for the Numerical Simulation of Collision-Free Plasma-Vlasov Hybrid Simulation / David Nunn
An Efficient Parallel Algorithm for the Numerical Solution of Schrödinger Equation / Jesús Vigo-Aguiar ; Luis M. Quintales ; Srinivasan Natesan
Linear and Non-linear Algebra / Chapter 3:
Parallel Branch-and-Bound for Chemical Engineering Applications: Load Balancing and Scheduling Issues (Invited Talk) / Chao-Yang Gau ; Mark A. Stadtherr
A Parallel Implementation of an Interior-Point Algorithm for Multicommodity Network Flows / Jordi Castro ; Antonio Frangioni
A Parallel Algorithm for Solving the Toeplitz Least Square Problem / Pedro Alonso ; JoseM. Badia ; Antonio M. Vidal
An Index Domain for Adaptive Multi-grid Methods / Andreas Schramm
Parallelization of a Recursive Decoupling Method for Solving Tridiagonal Linear Systems on Distributed Memory Computer / Margarita Amor ; Francisco Arg'uello ; Juan Lipez ; Emilio L. Zapata
A New Parallel Approach to the Toeplitz Inverse Eigenproblem Using Newton-like Methods / Jesuis Peinado
An Efficient Parallel Algorithm for the Symmetric Tridiagonal Eigenvalue Problem / Maria Antionia Forjaz ; Rui Ralha
Non-stationary Parallel Newton Iterative Methods for Nonlinear Problems / Josep Arnal ; Violeta Migallin ; Jose Penades
Parallel Pole Assignment of Single-Input Systems / Maribel Castillo ; Enrique S. Quintana-Orti ; Gregorio Quintana-Orti ; Vicente Hernindez
Solving the Generalized Sylvester Equation with a Systolic Library / Gloria Martinez ; Germin Fabregat
Imaging / Chapter 4:
Thirty Years of Parallel Image Processing (Invited Talk) / Michael J.B. Duff
Parallel Image Processing System on a Cluster of Personal Computers (Best Student Paper Award: First Prize) / Jorge Barbosa ; Joao Tavares ; Armando J. Padilha
Synchronous Non-local Image Processing on Orthogonal Multiprocessor Systems
Parallel Implementation of a Track Recognition System Using Hough Transform / Augusto Cesar Heluy Dantas ; José ManoeldeSeixas ; Felipe Maia Galvão Franca
Finite/Discrete Elements in Engineering Applications / Chapter 5:
Finite/Discrete Element Analysis of Multi-fracture and Multi-contact Phenomena (Invited Talk) / D.R.J. Owen ; Y.T. Feng ; Jianguo Yu ; Djordje Peric
Parallel Edge-Based Finite-Element Techniques for Nonlinear Solid Mechanics / Marcos A.D. Martins ; José L.D. Álves ; Ailvaro L.G.A. Coutinho
High Level Parallelization of a 3D Electromagnetic Simulation Code with Irregular Communication Patterns / Emmanuel Cagniot ; Thomas Brandes ; Jean-Luc Dekeyser ; Francis Piriou ; Pierre Boulet ; Stéphane Cliénet
Parallel Algorithm for Fast Cloth Simulation / Sergio Romero ; Luis F. Romero
A Parallel Algorithm for the Simulation of the Dynamic Behaviour of Liquid-Liquid Agitated Columns / Elsa F. Gomes ; Lígia M. Ribeiro ; Pedro F.R. Regueiras ; José J.C. Cruz-Pinto
Simulation of Turbulent Flows / Chapter 6:
Large-Eddy Simulations of Turbulent Flows, from Desktop to Supercomputer (Invited Talk) / Ugo Piomelli ; Alberto Scotti ; Elias Balaras
Author Index
Computational Grids, Languages, and Tools in Multiplatform Environments / Chapter 1:
Introduction
Computational Grids (Invited Talk) / Ian Foster ; Carl Kesselman
11.

図書

図書
Luca de Alfaro, Stephen Gilmore (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  xii, 215 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2165
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Advances in Model Representations / M. Siegle
Contributed Papers
Faster and Symbolic CTMC Model Checking / J.-P. Katoen ; M. Kwiatkowska ; G. Norman ; D. Parker
Reachability Analysis of Probabilistic Systems by Successive Refinements / P.R. D'Argenio ; B. Jeannet ; H.E. Jensen ; K.G. Larsen
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains / G.G. Infante López ; H. Hermanns
Coin Lemmas with Random Variables / K. Folegati ; R. Segala
MoDeST - A Modelling and Description Language for Stochastic Timed Systems / R. Klaren
Randomization Helps in LTL Model Checking / L. Brim ; I. Černá ; M. Nečesal
An Efficient Kronecker Representation for PEPA Models / J. Hillston ; L. Kloul
Reward Based Congruences: Can We Aggregate More? / M. Bernardo ; M. Bravetti
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes / L. Cloth ; H. Bohnenkamp ; B. Haverkort
Expressing Processes with Different Action Durations through Probabilities / A. Aldini
Quantifying the Dynamic Behavior of Process Algebras / P. Buchholz ; P. Kemper
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework / G. Clark ; W.H. Sanders
Author Index
Invited Paper
Advances in Model Representations / M. Siegle
Contributed Papers
12.

図書

図書
Guihai Chen ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xix, 669 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3759
所蔵情報: loading…
13.

図書

図書
Yi Pan ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xxiii, 1162 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3758
所蔵情報: loading…
14.

図書

図書
Hai Jin, Daniel Reed, Wenbin Jiang (eds.)
出版情報: Berlin : Springer, c2005  xv, 513 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3779
所蔵情報: loading…
15.

図書

図書
Martín Abadi, Luca de Alfaro (eds.)
出版情報: Berlin : Springer, c2005  xiv, 578 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3653
所蔵情報: loading…
16.

図書

図書
José C. Cunha, Pedro D. Medeiros (eds.)
出版情報: Berlin : Springer, c2005  xxxvi, 1299 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3648
所蔵情報: loading…
17.

図書

図書
Dror Feitelson ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  viii, 282 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3834
所蔵情報: loading…
18.

図書

図書
Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.)
出版情報: Berlin : Springer, c2005  viii, 315 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3277
所蔵情報: loading…
目次情報: 続きを見る
Parallel Job Scheduling - A Status Report / Dror G. Feitelson ; Larry Rudolph ; Uwe Schwiegelshohn
Scheduling on the Top 50 Machines / Carsten Ernemann ; Martin Krogmann ; Joachim Lepping ; Ramin Yahyapour
Parallel Computer Workload Modeling with Markov Chains / Baiyi Song
Enhancements to the Decision Process of the Self-Tuning dynP Scheduler / Achim Streit
Reconfigurable Gang Scheduling Algorithm / Luís Fabrício Wanderley Góes ; Carlos Augusto Paiva da Silva Martins
Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation / Graham Holt
Inferring the Topology and Traffic Load of Parallel Programs Running in a Virtual Machine Environment / Ashish Gupta ; Peter A. Dinda
Multi-toroidal Interconnects: Using Additional Communication Links to Improve Utilization of Parallel Computers / Yariv Aridor ; Tamar Domany ; Oleg Goldshmidt ; Edi Shmueli ; Jose E. Moreira ; Larry Stockmeier
Costs and Benefits of Load Sharing in the Computational Grid / Darin England ; Jon B. Weissman
Workload Characteristics of a Multi-cluster Supercomputer / Hui Li ; David Groep ; Lex Walters
A Dynamic Co-allocation Service in Multicluster Systems / Jove M.P. Sinaga ; Hashim H. Mohamed ; Dick H.J. Epema
Exploiting Replication and Data Reuse to Efficiently Schedule Data-Intensive Applications on Grids / Elizeu Santos-Neto ; Walfredo Cirne ; Francisco Brasileiro ; Aliandro Lima
Performance Implications of Failures in Large-Scale Cluster Scheduling / Yanyong Zhang ; Mark S. Squillante ; Anand Sivasubramaniam ; Ramendra K. Sahoo
Are User Runtime Estimates Inherently Inaccurate? / Cynthia Bailey Lee ; Yael Schwartzman ; Jeniffer Hardy ; Allen Snavely
Improving Speedup and Response Times by Replicating Parallel Programs on a SNOW / Gaurav D. Ghare ; Scott T. Leutenegger
LOMARC - Lookahead Matchmaking for Multi-resource Coscheduling / Angela C. Sodan ; Lei Lan
Author Index
Parallel Job Scheduling - A Status Report / Dror G. Feitelson ; Larry Rudolph ; Uwe Schwiegelshohn
Scheduling on the Top 50 Machines / Carsten Ernemann ; Martin Krogmann ; Joachim Lepping ; Ramin Yahyapour
Parallel Computer Workload Modeling with Markov Chains / Baiyi Song
19.

図書

図書
Jean-Marie Jacquet, Gian Pietro Picco (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  x, 297 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3454
所蔵情報: loading…
20.

図書

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

図書

図書
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
出版情報: Berlin : Springer, c2005  xiv, 320 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3525 . Lecture notes in computer science
所蔵情報: loading…
22.

図書

図書
Marco Danelutto, Domenico Laforenza, Marco Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xxxiv, 1081 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3149
所蔵情報: loading…
23.

図書

図書
Xin Yao ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xx, 1185 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3242
所蔵情報: loading…
目次情報: 続きを見る
Theory
On the Quality Gain of (1, λ)-ES Under Fitness Noise / Hans-Georg Beyer ; Silja Meyer-Nieberg
Fitness Distributions and GA Hardness / Yossi Borenstein ; Riccardo Poli
Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization / Patrick Briest ; Dimo Brockhoff ; Bastian Degener ; Matthias Englert ; Christian Gunia ; Oliver Heering ; Thomas Jansen ; Michael Leifhelm ; Kai Plociennik ; Heiko Röglin ; Andrea Schweer ; Dirk Sudholt ; Stefan Tannenbaum ; Ingo Wegener
The Ising Model: Simple Evolutionary Algorithms as Adaptation Schemes
Evolutionary Algorithms with On-the-Fly Population Size Adjustment / A.E. Eiben ; Elena Marchiori ; V.A. Valkó
Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT / Holger H. Hoos ; Kevin Smyth ; Thomas Stützle
Bridging the Gap Between Theory and Practice / R. Paul Wiegand
A Reduced Markov Model of GAs Without the Exact Transition Matrix / Cheah C.J. Moey ; Jonathan E. Rowe
Expected Runtimes of a Simple Evolutionary Algorithm for the Multi-objective Minimum Spanning Tree Problem / Frank Neumann
On the Importance of Information Speed in Structured Populations / Mike Preuss ; Christian Lasarczyk
Estimating the Number of Solutions for SAT Problems / Colin R. Reeves ; Mériéma Aupetit-Bélaidouni
Behavior of Evolutionary Algorithms in Chaotically Changing Fitness Landscapes / Hendrik Richter
Expected Rates of Building Block Discovery, Retention and Combination Under 1-Point and Uniform Crossover / Cameron Skinner ; Patricia Riddle
An Analysis of the Effectiveness of Multi-parent Crossover / Chuan-Kang Ting
On the Use of a Non-redundant Encoding for Learning Bayesian Networks from Data with a GA / Steven van Dijk ; Dirk Thierens
Phase Transition Properties of Clustered Travelling Salesman Problem Instances Generated with Evolutionary Computation / Jano I. van Hemert ; Neil B. Urquhart
A Simple Two-Module Problem to Exemplify Building-Block Assembly Under Crossover / Richard A. Watson
Statistical Racing Techniques for Improved Empirical Evaluation of Evolutionary Algorithms / Bo Yuan ; Marcus Gallagher
New Algorithms
LS-CMA-ES: A Second-Order Algorithm for Covariance Matrix Adaptation / Anne Auger ; Marc Schoenauer ; Nicolas Vanhaecke
Learning Probabilistic Tree Grammars for Genetic Programming / Peter A.N. Bosman ; Edwin D. de Jong
Sequential Sampling in Noisy Environments / Jürgen Branke ; Christian Schmidt
Evolutionary Continuous Optimization by Distribution Estimation with Variational Bayesian Independent Component Analyzers Mixture Model / Dong-Yeon Cho ; Byoung-Tak Zhang
Spread of Vector Borne Diseases in a Population with Spatial Structure / Dominique Chu ; Jonathan Rowe
Hierarchical Genetic Algorithms
Migration of Probability Models Instead of Individuals: An Alternative When Applying the Island Model to EDAs / Luis delaOssa ; José A. Gámez ; José M. Puerta
Comparison of Steady-State and Generational Evolution Strategies for Parallel Architectures / Razvan Enache ; Bernhard Sendhoff ; Markus Olhofer ; Martina Hasenjäger
Control of Bloat in Genetic Programming by Means of the Island Model / Francisco Fernández de Vega ; German Galeano Gil ; Juan Antonio Gómez Pulido ; Jose Luis Guisado
Saving Resources with Plagues in Genetic Algorithms / Erik Cantú-Paz ; J.I. López ; T. Manzano
Evaluating the CMA Evolution Strategy on Multimodal Test Functions / Nikolaus Hansen ; Stefan Kern
Exploring the Evolutionary Details of a Feasible-Infeasible Two-Population GA / Steven Orla Kimbrough ; Ming Lu ; David Harlan Wood
An Evolutionary Algorithm for the Maximum Weight Trace Formulation of the Multiple Sequence Alignment Problem / Gabriele Koller ; Günther R. Raidl
A Novel Programmable Molecular Computing Method Based on Signaling Pathways Regulated by Rho-GTPases in Living MDCK Epithelial Mammalian Cells / Jian-Qin Liu ; Katsunori Shimohara
Empirical Investigations on Parallelized Linkage Identification / Masaharu Munetomo ; Naoya Murao ; Kiyoshi Akama
The EAX Algorithm Considering Diversity Loss / Yuichi Nagata
Topology-Oriented Design of Analog Circuits Based on Evolutionary Graph Generation / Masanori Natsui ; Naofumi Homma ; Takafumi Aoki ; Tatsuo Higuchi
A Mixed Bayesian Optimization Algorithm with Variance Adaptation / Jiri Ocenasek ; Petros Koumoutsakos
A Swarm Intelligence Based VLSI Multiplication-and-Add Scheme / Danilo Pani ; Luigi Raffo
Distribution Tree-Building Real-Valued Evolutionary Algorithm / Petr Pošík
Optimization via Parameter Mapping with Genetic Programming / Joao C.F. Pujol
Multi-cellular Development: Is There Scalability and Robustness to Gain? / Daniel Roggen ; Diego Federici
Constrained Evolutionary Optimization by Approximate Ranking and Surrogate Models / Thomas Philip Runarsson
Robust Parallel Genetic Algorithms with Re-initialisation / Ivan Sekaj
Improving Evolutionary Algorithms with Multi-representation Island Models / Zbigniew Skolicki ; Kenneth De Jong
A Powerful New Encoding for Tree-Based Combinatorial Optimisation Problems / Sang-Moon Soak ; David Corne ; Byung-Ha Ahn
Partially Evaluated Genetic Algorithm Based on Fuzzy c-Means Algorithm / Si-HoYoo ; Sung-Bae Cho
Applications
Metaheuristics for the Vehicle Routing Problem with Stochastic Demands / Leonora Bianchi ; Mauro Birattari ; Marco Chiarandini ; Max Manfrin ; Monaldo Mastrolilli ; Luis Paquete ; Olivia Rossi-Doria ; Tommaso Schiavinotto
AntHocNet: An Ant-Based Hybrid Routing Algorithm for Mobile Ad Hoc Networks / Gianni Di Caro ; Frederick Ducatelle ; Luca Maria Gambardella
A Scatter Search Algorithm for the 3D Image Registration Problem / Oscar Cordón ; Sergio Damas ; José Santamaría
A Hybrid GRASP - Evolutionary Algorithm Approach to Golomb Ruler Search / Carlos Cotta ; Antonio J. Fernández
Design of an Efficient Search Algorithm for P2P Networks Using Concepts from Natural Immune Systems / Niloy Ganguly ; Geoff Canright ; Andreas Deutsch
A Novel Ant Algorithm for Solving the Minimum Broadcast Time Problem / Yehudit Hasson ; Moshe Sipper
Designing Multiple-Use Primer Set for Multiplex PCR by Using Compact GAs / Yu-Cheng Huang ; Han-Yu Chuang ; Huai-Kuang Tsai ; Chun-Fan Chang ; Cheng-Yan Kao
Robust Inferential Sensors Based on Ensemble of Predictors Generated by Genetic Programming / Elsa Jordaan ; Arthur Kordon ; Leo Chiang ; Guido Smits
Searching Transcriptional Modules Using Evolutionary Algorithms / Je-Gun Joung ; Sok June Oh
Evolution of Voronoi-Based Fuzzy Controllers / Carlos Kavka
Analyzing Sensor States and Internal States in the Tartarus Problem with Tree State Machines / DaeEun Kim
Evolving Genetic Regulatory Networks for Hardware Fault Tolerance / Arne Koopman
Evolving Dynamics in an Artificial Regulatory Network Model / P. Dwight Kuo ; Andre Leier ; Wolfgang Banzhaf
The Application of Bayesian Optimization and Classifier Systems in Nurse Scheduling / Jingpeng Li ; Uwe Aickelin
An Evolutionary Approach to Modeling Radial Brightness Distributions in Elliptical Galaxies / Jin Li ; Xin Yao ; Colin Frayn ; Habib G. Khosroshahi ; Somak Raychaudhury
Conference Paper Assignment Using a Combined Greedy/Evolutionary Algorithm / Juan Julián Merelo-Guervós ; Pedro Castillo-Valdivieso
A Primer on the Evolution of Equivalence Classes of Bayesian-Network Structures / Jorge Muruzábal
The Infection Algorithm: An Artificial Epidemic Approach for Dense Stereo Matching / Gustavo Olague ; Cynthia B. Pérez ; Evelyne Lutton
Optimising Cancer Chemotherapy Using Particle Swarm Optimisation and Genetic Algorithms / Andrei Petrovski ; Bhavani Sudha ; John McCall
An Evolutionary Algorithm for Column Generation in Integer Programming: An Effective Approach for 2D Bin Packing / Jakob Puchinger
An Improved Evaluation Function for the Bandwidth Minimization Problem / Eduardo Rodriguez-Tello ; Jin-Kao Hao ; Jose Torres-Jimenez
Coupling of Evolution and Learning to Optimize a Hierarchical Object Recognition Model / Georg Schneider ; Heiko Wersing ; Edgar Körner
Evolution of Small-World Networks of Automata for Computation / Marco Tomassini ; Mario Giacobini ; Christian Darabos
Recognizing Speed Limit Sign Numbers by Evolvable Hardware / Jim Torresen ; Jorgen W. Bakke ; Lukas Sekanina
Dynamic Routing Problems with Fruitful Regions: Models and Evolutionary Computation / J.A. La Poutré
Optimising the Performance of a Formula One Car Using a Genetic Algorithm / Krzysztof Wloch ; Peter J. Bentley
Multi-objective Optimisation
An Inexpensive Cognitive Approach for Bi-objective Optimization Using Bliss Points and Interaction / Hussein A. Abbass
Finding Knees in Multi-objective Optimization / Kalyanmoy Deb ; Henning Dierolf ; Matthias Osswald
Multi-objective Parallel Tabu Search / Daniel Jaeggi ; Chris Asselin-Miller ; Geoff Parks ; Timoleon Kipouros ; Theo Bell ; John Clarkson
SPEA2+: Improving the Performance of the Strength Pareto Evolutionary Algorithm 2 / Mifa Kim ; Tomoyuki Hiroyasu ; Mitsunori Miki ; Shinya Watanabe
An Extension of Generalized Differential Evolution for Multi-objective Optimization with Constraints / Saku Kukkonen ; Jouni Lampinen
Adaptive Weighted Particle Swarm Optimisation for Multi-objective Optimal Design of Alloy Steels / Mahdi Mahfouf ; Min-You Chen ; Derek Arthur Linkens
Multi-objective Optimisation by Co-operative Co-evolution / Kuntinee Maneeratana ; Kittipong Boonlong ; Nachol Chaiyaratana
Sequential Process Optimisation Using Genetic Algorithms / Victor Oduguwa ; Ashutosh Tiwari ; Rajkumar Roy
On Test Functions for Evolutionary Multi-objective Optimization / Tatsuya Okabe ; Yaochu Jin
Multi-objective Optimization of a Composite Material Spring Design Using an Evolutionary Algorithm / Frédéric Ratle ; Benoît Lecarpentier ; Richard Labib ; François Trochu
Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms / Olga Rudenko
Evolutionary Bi-objective Controlled Elevator Group Regulates Passenger Service Level and Minimises Energy Consumption / Tapio Tyni ; Jari Ylinen
Indicator-Based Selection in Multiobjective Search / Eckart Zitzler ; Simon Künzli
Co-evolution
Intransitivity in Coevolution
Group Transport of an Object to a Target That Only Some Group Members May Sense / Roderich Groß ; Marco Dorigo
Hawks, Doves and Lifetime Reproductive Success / Philip Hingston ; Luigi Barone
Evolutionary Multi-agent Systems / Pieter J. 't Hoen
Credit Assignment Among Neurons in Co-evolving Populations / Vineet R. Khare
A Visual Demonstration of Convergence Properties of Cooperative Coevolution / Liviu Panait ; Sean Luke
Cooperative Coevolution of Image Feature Construction and Object Detection / Mark E. Roberts ; Ela Claridge
Spatial Embedding and Loss of Gradient in Cooperative Coevolutionary Algorithms / Jayshree Sarma
A High Performance Multi-objective Evolutionary Algorithm Based on the Principles of Thermodynamics / Xiufen Zou ; Minzhong Liu ; Lishan Kang ; Jun He
Robotics and Multi-agent Systems
Robustness in the Long Run: Auto-teaching vs Anticipation in Evolutionary Robotics / Nicolas Godzik ; Michèle Sebag
A Self-adaptive Neural Learning Classifier System with Constructivism for Mobile Robot Control / Jacob Hurst ; Larry Bull
An Approach to Evolutionary Robotics Using a Genetic Algorithm with a Variable Mutation Rate Strategy / Yoshiaki Katada ; Kazuhiro Ohkura ; Kanji Ueda
Translating the Dances of Honeybees into Resource Location
Natural Policy Gradient Reinforcement Learning for a CPG Control of a Biped Robot / Yutaka Nakamura ; Takeshi Mori ; Shin Ishii
Evaluation of Adaptive Nature Inspired Task Allocation Against Alternate Decentralised Multiagent Strategies / Richard Price ; Peter Tiňo
A Neuroevolutionary Approach to Emergent Task Decomposition / Jekanthan Thangavelautham ; Gabriele M.T. D'Eleuterio
Evolving the "Feeling" of Time Through Sensory-Motor Coordination: A Robot Based Model / Elio Tuci ; Vito Trianni
Learning Classifier Systems and Data Mining
An Artificial Immune System for Fuzzy-Rule Induction in Data Mining / Roberto T. Alves ; Myriam R. Delgado ; Heitor S. Lopes ; Alex A. Freitas
Speeding-Up Pittsburgh Learning Classifier Systems: Modeling Time and Accuracy / Jaume Bacardit ; David E. Goldberg ; Martin V. Butz ; Xavier Llorà ; Josep M. Garrell
A Simple Payoff-Based Learning Classifier System
Lookahead and Latent Learning in a Simple Accuracy-Based Classifier System
Knowledge Extraction and Problem Structure Identification in XCS / Pier Luca Lanzi
Forecasting Time Series by Means of Evolutionary Algorithms / Cristóbal Luque del Arco-Calderón ; Pedro Isasi Viñuela ; Julio César Hernández Castro
Detecting and Pruning Introns for Faster Decision Tree Evolution / Jeroen Eggermont ; Joost N. Kok ; Walter A. Kosters
Evolutionary Multiobjective Clustering / Julia Handl ; Joshua Knowles
Web Page Classification with an Ant Colony Algorithm / Nicholas Holden
Oneiric Processing Utilising the Anticipatory Classifier System / Julian C. Holley ; Anthony G. Pipe ; Brian Carse
Self-organizing Neural Grove: Efficient Multiple Classifier System Using Pruned Self-generating Neural Trees / Hirotaka Inoue ; Hiroyuki Narihisa
Evolutionary Multiobjective Knowledge Extraction for High-Dimensional Pattern Classification Problems / Hisao Ishibuchi ; Satoshi Namba
Ensemble Learning with Evolutionary Computation: Application to Feature Ranking / Kees Jong ; Michaèle Sebag
Fast Unsupervised Clustering with Artificial Ants / Nicolas Labroche ; Christiane Guinot ; Gilles Venturini
A Novel Method of Searching the Microarray Data for the Best Gene Subsets by Using a Genetic Algorithm / Bin Ni ; Juan Liu
Using Genetic Programming for Feature Creation with a Genetic Algorithm Feature Selector / Matthew G. Smith
AgentP Model: Learning Classifier System with Associative Perception / Zhanna V. Zatuchna
Author Index
Theory
On the Quality Gain of (1, λ)-ES Under Fitness Noise / Hans-Georg Beyer ; Silja Meyer-Nieberg
Fitness Distributions and GA Hardness / Yossi Borenstein ; Riccardo Poli
24.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xxiii, 1126 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3911
所蔵情報: loading…
33.

図書

図書
Susanna Donatelli, P.S. Thiagarajan (eds.)
出版情報: Berlin : Springer, c2006  xi, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4024
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Invariant Based Programming / Ralph-Johan Back
On the Integration of UML and Petri Nets in Software Development / Javier Campos ; Jose Merseguer
Component Tools: Integrating Petri Nets with Other Formal Methods / Ekkart Kindler ; Vladimir Rubin ; Robert Wagner
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development / Jianli Xu
Full Papers
Compensation in Workflow Nets / Baver Acu ; Wolfgang Reisig
The Synthesis Problem of Netcharts / Nicolas Baudru ; Remi Morin
Non-sequential Behaviour of Dynamic Nets / Roberto Bruni ; Hernan Melgratti
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets / Thomas Chatain ; Claude Jard
On the Computation of Stubborn Sets of Colored Petri Nets / Sami Evangelista ; Jean-Francois Pradat-Peyre
On the Construction of Pullbacks for Safe Petri Nets / Eric Fabre
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis / David Gilbert ; Monika Reiner
How Expressive Are Petri Net Schemata? / Andreas Glausch
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets / Serge Haddad ; Lynda Mokdad ; Patrice Moreaux
Nested Nets for Adaptive Systems / Kees M. van Hee ; Irina A. Lomazova ; Olivia Oanea ; Alexander Serebrenik ; Natalia Sidorova ; Marc Voorhoeve
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets / Meuse N.O. Junior ; Silvino Neto ; Paulo Maciel ; Ricardo Lima ; Angela Ribeiro ; Raimundo Barreto ; Eduardo Tavares ; Frederico Braga
Infinite Process Semantics of Inhibitor Nets / H.C.M. Kleijn ; M. Koutny
Towards Synthesis of Petri Nets from Scenarios / Robert Lorenz ; Gabriel Juhas
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions / Spyros A. Reveliotis ; Jin Young Choi
On the Step Explosion Problem / Stephan Roch ; Karsten Schmidt
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets / Katrin Winkelmann ; Holger Luczak
Tool Papers
Can I Execute My Scenario in Your Net? VipTool Tells You! / Robin Bergenthum ; Jorg Desel
EXHOST-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets / Olivier Bonnet-Torres ; Patrice Domenech ; Charles Lesire ; Catherine Tessier
ArgoSPE: Model-Based Software Performance Engineering / Elena Gomez-Martinez
Petriweb: A Repository for Petri Nets / R. Goud ; R.D.J. Post ; J.M.E.M. van der Werf
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets / Jochen Stier ; Jens Jahnke ; Hausi Muller
The BRITNeY Suite Animation Tool / Michael Westergaard ; Kristian Bisgaard Lassen
Author Index
Invited Papers
Invariant Based Programming / Ralph-Johan Back
On the Integration of UML and Petri Nets in Software Development / Javier Campos ; Jose Merseguer
34.

図書

図書
Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner (eds.)
出版情報: Berlin : Springer, c2006  xxxiii, 1221 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4128
所蔵情報: loading…
35.

図書

図書
Jack Dongarra, Kaj Madsen, Jerzy Wasniewski (eds.)
出版情報: Berlin : Springer, c2006  xxii, 1174 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3732
所蔵情報: loading…
36.

図書

図書
Marc Schoenauer ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2000  xxi, 914 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1917
所蔵情報: loading…
37.

図書

図書
Tor Sørevik ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2001  xii, 400 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1947
所蔵情報: loading…
38.

図書

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

図書

図書
Larry Carter, Jeanne Ferrante (eds.)
出版情報: Berlin : Springer, c2000  xii, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1863
所蔵情報: loading…
40.

図書

図書
Catuscia Palamidessi (ed.)
出版情報: Berlin : Springer, c2000  xi, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1877
所蔵情報: loading…
41.

図書

図書
Arndt Bode ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  xxxv, 1368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1900
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Four Horizons for Enhancing the Performance of Parallel Simulations Based on Partial Differential Equations / David E. Keyes
E2K Technology and Implementation / Boris Babayan
Grid-Based Asynchronous Migration of Execution Context in Java Virtual Machines / Gregor von Laszewski ; Kazuyuki Shudo ; Yoichi Muraoka
Logical Instantaneity and Causal Order: Two "First Class" Communication Modes for Parallel Computing / Michel Raynal
The TOP500 Project of the Universities Mannheim and Tennessee / Hans Werner Meuer
Support Tools and Environments / Barton P. Miller ; Michael GerndtTopic 01:
Visualization and Computational Steering in Heterogeneous Computing Environments / Sabine Rathmayer
A Web-Based Finite Element Meshes Partitioner and Load Balancer / Ching-Jung Liao
A Framework for an Interoperable Tool Environment (Research Note) / Radu Prodan ; John M. Kewley
ToolBlocks: An Infrastructure for the Construction of Memory Hierarchy Analysis Tools (Research Note) / Timothy Sherwood ; Brad Calder
A Preliminary Evaluation of finesse, a Feedback-Guided Performance Enhancement System / Nandini Mukherjee ; Graham D. Riley ; John R. Gurd
On Combining Computational Differentiation and Toolkits for Parallel Scientific Computing / Christian H. Bischof ; H. Martin Bücker ; Paul D. Hovland
Generating Parallel Program Frameworks from Parallel Design Patterns / Steve MacDonald ; Duane Szafron ; Jonathan Schaeffer ; Steven Bromling
Performance Evaluation and Prediction / Thomas Fahringer ; Wolfgang E. NagelTopic 02:
A Callgraph-Based Search Strategy for Automated Performance Diagnosis (Distinguished Paper) / Harold W. Cain ; Brian J.N. Wylie
Automatic Performance Analysis of MPI Applications Based on Event Traces / Felix Wolf ; Bernd Mohr
Pajé: An Extensible Environment for Visualizing Multi-threaded Programs Executions / Jacques Chassin de Kergommeaux ; Benhur de Oliveira Stein
A Statistical-Empirical Hybrid Approach to Hierarchical Memory Analysis / Xian-He Sun ; Kirk W. Cameron
Use of Performance Technology for the Management of Distributed Systems / Darren J. Kerbyson ; John S. Harper ; Efstathios Papaefstathiou ; Daniel V. Wilcox ; Graham R. Nudd
Delay Behavior in Domain Decomposition Applications / Marco Dimas Gubitoso ; Carlos Humes Jr.
Automating Performance Analysis from UML Design Patterns (Research Note) / Omer F. Rana ; Dave Jennings
Integrating Automatic Techniques in a Performance Analysis Session (Research Note) / Antonio Espinosa ; Tomas Margalef ; Emilio Luque
Combining Light Static Code Annotation and Instruction-Set Emulation for Flexible and Efficient On-the-Fly Simulation (Research Note) / Thierry Lafage ; André Seznec
SCOPE - The Specific Cluster Operation and Performance Evaluation Benchmark Suite (Research Note) / Panagiotis Melas ; Ed J. Zaluska
Implementation Lessons of Performance Prediction Tool for Parallel Conservative Simulation (Research Note) / Chu-Cheow Lim ; Yoke-Hean Low ; Boon-Ping Gan ; Wentong Cai
A Fast and Accurate Approach to Analyze Cache Memory Behavior (Research Note) / Xavier Vera ; Josep Llosa ; Antonio González ; Nerina Bermudo
Impact of PE Mapping on Cray T3E Message-Passing Performance / Eduardo Huedo ; Manuel Prieto ; Ignacio M. Llorente ; Francisco Tirado
Performance Prediction of a NAS Benchmark Program with ChronosMix Environment / Julien Bourgeois ; Francois Spies
Scheduling and Load Balancing / Bettina SchnorTopic 03:
A Hierarchical Approach to Irregular Problems (Research Note) / Fabrizio Baiardi ; Primo Becuzzi ; Sarah Chiti ; Paolo Mori ; Laura Ricci
Load Scheduling with Profile Information / Götz Lindenmaier ; Kathryn S. McKinley ; Olivier Temam
Neighbourhood Preserving Load Balancing: A Self-Organizing Approach / Attila Gürsoy ; Murat Atun
The Impact of Migration on Parallel Job Scheduling for Distributed Systems / Yanyong Zhang ; Hubertus Franke ; Jose E. Moreira ; Anand Sivasubramaniam
Memory Management Techniques for Gang Scheduling / William Leinberger ; George Karypis ; Vipin Kumar
Exploiting Knowledge of Temporal Behaviour in Parallel Programs for Improving Distributed Mapping / Concepció Roig ; Ana Ripoll ; Miquel A. Senar ; Fernando Guirado
Preemptive Task Scheduling for Distributed Systems (Research Note) / Andrei Rădulescu ; Arjan J.C. van Gemund
Towards Optimal Load Balancing Topologies / Thomas Decker ; Burkhard Monien ; Robert Preis
Scheduling Trees with Large Communication Delays on Two Identical Processors / Foto Afrati ; Evripidis Bampis ; Lucian Finta ; Ioannis Milis
Parallel Multilevel Algorithms for Multi-constraint Graph Partitioning (Distinguished Paper) / Kirk Schloegel
Experiments with Scheduling Divisible Tasks in Clusters of Workstations / Maciej Drozdowski ; Pawel Wolniewicz
Optimal Mapping of Pipeline Algorithms (Research Note) / Daniel González ; Francisco Almeida ; Luz Marina Moreno ; Casiano Rodríguez
Dynamic Load Balancing for Parallel Adaptive Multigrid Solvers with Algorithmic Skeletons (Research Note) / Thomas Richert
Compilers for High Performance / Samuel P. Midkiff ; Barbara Chapman ; Jean-François Collard ; Jens KnoopTopic 04:
Improving the Sparse Parallelization Using Semantical Information at Compile-Time / Gerardo Bandera ; Emilio L. Zapata
Automatic Parallelization of Sparse Matrix Computations : A Static Analysis / Roxane Adle ; Marc Aiguier ; Franck Delaplace
Automatic SIMD Parallelization of Embedded Applications Based on Pattern Recognition / Rashindra Manniesing ; Ireneusz Karkowski ; Henk Corporaal
Temporary Arrays for Distribution of Loops with Control Dependences / Alain Darte ; Georges-André Silber
Automatic Generation of Block-Recursive Codes / Nawaaz Ahmed ; Keshav Pingali
Left-Looking to Right-Looking and Vice Versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring / Nikolay Mateev ; Vijay Menon
Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs (Research Note) / Diego Novillo ; Ronald C. Unrau
Exact Distributed Invalidation / Rupert W. Ford ; Michael F.P. O'Boyle ; Elena A. Stöhr
Scheduling the Computations of a Loop Nest with Respect to a Given Mapping / Claude Diderich ; Marc Gengler ; Frédéric Vivien
Volume Driven Data Distribution for NUMA-Machines / Felix Heine ; Adrian Slowik
Parallel and Distributed Databases and Applications / Bernhard MitschangTopic 05:
Database Replication Using Epidemic Communication / JoAnne Holliday ; Divyakant Agrawal ; Amr El Abbadi
Evaluating the Coordination Overhead of Replica Maintenance in a Cluster of Databases / Klemens Böhm ; Torsten Grabs ; Uwe Röhm ; Hans-Jörg Schek
A Communication Infrastructure for a Distributed RDBMS (Research Note) / Michael Stillger ; Dieter Scheffner ; Johann-Christoph Freytag
Distribution, Replication, Parallelism, and Efficiency Issues in a Large-Scale Online/Real-Time Information System for Foreign Exchange Trading (Research Note) / Peter Peinl
Complexity Theory and Algorithms / Friedhelm Mayer auf der Heide ; Mirosiaw Kutylowski ; Prabhakar RagdeTopic 06:
Positive Linear Programming Extensions: Parallel Complexity and Applications (Research Note) / Pavlos S. Efraimidis ; Paul G. Spirakis
Parallel Shortest Path for Arbitrary Graphs / Ulrich Meyer ; Peter Sanders
Periodic Correction Networks / Marcin Kik
Applications on High-Performance Computers / Michael ReschTopic 07:
An Efficient Algorithm for Parallel 3D Reconstruction of Asymmetric Objects from Electron Micrographs / Robert E. Lynch ; Hong Lin ; Dan C. Marinescu
Fast Cloth Simulation with Parallel Computers / Sergio Romero ; Luis F. Romero
The Input, Preparation, and Distribution of Data for Parallel GIS Operations (Research Note) / Gordon J. Darling ; Terence M. Sloan ; Connor Mulholland
Study of the Load Balancing in the Parallel Training for Automatic Speech Recognition (Research Note) / El Mostafa Daoudi ; Pierre Manneback ; Abdelouafi Meziane ; Yahya Ould Mohamed El Hadj
Pfortran and Co-Array Fortran as Tools for Parallelization of a Large-Scale Scientific Application / Piotr Bala ; Terry W. Clark
Sparse Matrix Structure for Dynamic Parallelisation Efficiency / Markus Ast ; Cristina Barrado ; José Cela ; Rolf Fischer ; Jesús Labarta ; Óscar Laborda ; Hartmut Manz ; Uwe Schulz
A Multi-color Inverse Iteration for a High Performance Real Symmetric Eigensolver (Research Note) / Ken Naono ; Yusaku Yamamoto ; Mitsuyoshi Igai ; Hiroyuki Hirayama ; Nobuhiro Ioki
Parallel Implementation of Fast Hartley Transform (FHT) in Multiprocessor Systems (Research Note) / Felicia Ionescu ; Andrei Jalba ; Mihail Ionescu
Parallel Computer Architecture / Silvia Müller ; Per Stenström ; Mateo Valero ; Stamatis VassiliadisTopic 08:
Coherency Behavior on DSM: A Case Study (Research Note) / Jean-Thomas Acquaviva ; William Jalby
Hardware Migratable Channels (Research Note) / David May ; Henk Muller ; Shondip Sen
Reducing the Replacement Overhead on COMA Protocols for Workstation-Based Architectures / Diego R. Llanos Ferraris ; Benjamín Sahelices Fernández ; Agustín De Dios Hernández
Cache Injection: A Novel Technique for Tolerating Memory Latency in Bus-Based SMPs / Aleksandar Milenkovic ; Veljko Milutinovic
Adaptive Proxies: Handling Widely-Shared Data in Shared-Memory Multiprocessors (Research Note) / Sarah A.M. Talbot ; Paul H.J. Kelly
Distributed Systems and Algorithms / Ernst W. MayrTopic 09:
A Combinatorial Characterization of Properties Preserved by Antitokens / Costas Busch ; Neophytos Demetriou ; Maurice Herlihy ; Marios Mavronicolas
Searching with Mobile Agents in Networks with Liars / Nicolas Hanusse ; Evangelos Kranakis ; Danny Krizanc
Complete Exchange Algorithms for Meshes and Tori Using a Systematic Approach (Research Note) / Luis Díazde Cerio ; Miguel Valero-García
Algorithms for Routing AGVs on a Mesh Topology (Research Note) / Ling Qiu ; Wen-Jing Hsu
Self-Stabilizing Protocol for Shortest Path Tree for Multi-cast Routing in Mobile Networks (Research Note) / Sandeep K.S. Gupta ; Abdelmadjid Bouabdallah ; Pradip K. Srimani
Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note) / Luís Rodrigues
Timestamping Algorithms: A Characterization and a Few Properties / Giovanna Melideo ; Marco Mechelli ; Roberto Baldoni ; Alberto Marchetti Spaccamela
Programming Languages, Models, and Methods / Sergei Gorlatch ; Scott Baden ; Vladimir GetovTopic 10:
HPF vs. SAC - A Case Study (Research Note) / Clemens Grelck ; Sven-Bodo Scholz
Developing a Communication Intensive Application on the EARTH Multithreaded Architecture (Distinguished Paper) / Kevin B. Theobald ; Rishi Kumar ; Gagan Agrawal ; Gerd Heber ; Ruppa K. Thulasiram ; Guang R. Gao
On the Predictive Quality of BSP-like Cost Functions for NOWs / Mauro Bianco ; Geppino Pucci
Exploiting Data Locality on Scalable Shared Memory Machines with Data Parallel Programs / Siegfried Benkner ; Thomas Brandes
The Skel-BSP Global Optimizer: Enhancing Performance Portability in Parallel Programming / Andrea Zavanella
A Theoretical Framework of Data Parallelism and Its Operational Semantics / Philippe Gerner ; Eric Violard
A Pattern Language for Parallel Application Programs (Research Note) / Berna L. Massingill ; Timothy G. Mattson ; Beverly A. Sanders
Oblivious BSP (Research Note) / Jesus A. Gonzalez ; Coromoto Leon ; Fabiana Piccoli ; Marcela Printista ; Josae L. Roda ; Casiano Rodriguez ; Francisco de Sande
A Software Architecture for HPC Grid Applications (Research Note) / Steven Newhouse ; Anthony Mayer ; John Darlington
Satin: Efficient Parallel Divide-and-Conquer in Java / Rob V. van Nieuwpoort ; Thilo Kielmann ; Henri E. Bal
Implementing Declarative Concurrencyin Java / Rafael Ramirez ; Andrew E. Santosa ; Lee Wei Hong
Building Distributed Applications Using Multiple, Heterogeneous Environments / Paul A. Gray ; Vaidy S. Sunderam
A Multiprotocol Communication Support for the Global Address Space Programming Model on the IBM SP / Jarek Nieplocha ; Jialin Ju ; Tjerk P. Straatsma
A Comparison of Concurrent Programming and Cooperative Multithreading / Takashi Ishihara ; Tiejun Li ; Eugene F. Fodor ; Ronald A. Olsson
The Multi-architecture Performance of the Parallel Functional Language GpH (Research Note) / Philip W. Trinder ; Hans-Wolfgang Loidl ; Ed Barry Jr. ; M. Kei Davis ; Kevin Hammond ; Ulrike Klusik ; Simon L. Peyton Jones ; álvaro J. Rebón Portillo
Novel Models for Or-Parallel Logic Programs: A Performance Analysis / Vator Santos Costa ; Ricardo Rocha ; Fernando Silva
Executable Specification Language for Parallel Symbolic Computation (Research Note) / Alexander B. Godlevsky ; Ladislav Hluchy
Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note) / Magne Haveraaen
Development of Parallel Algorithms in Data Field Haskell (Research Note) / Jonas Holmerin ; Björn Lisper
The ParCeL-2 Programming Language (Research Note) / Paul-Jean Cagnard
Numerical Algorithms for Linear and Nonlinear Algebra / Ulrich Ruüde ; Hans-Joachim BungartzTopic 11:
Ahnentafel Indexing into Morton-Ordered Arrays, or Matrix Locality for Free / David S. Wise
An Efficient Parallel Linear Solver with a Cascadic Conjugate Gradient Method: Experience with Reality / Peter Gottschling
A Fast Solver for Convection Diffusion Equations Based on Nested Dissection with Incomplete Elimination / Michael Bader ; Christoph Zenger
Low Communication Parallel Multigrid / Marcus Mohr
Parallelizing an Unstructured Grid Generator with a Space-Filling Curve Approach / Jöorn Behrens ; Jens Zimmermann
Solving Discrete-Time Periodic Riccati Equations on a Cluster (Research Note) / Peter Benner ; Rafael Mayo ; Enrique S. Quintana-Ortí ; Vicente Hernández
A Parallel Optimization Scheme for Parameter Estimation in Motor Vehicle Dynamics (Research Note) / Torsten Butz ; Oskar von Stryk ; Thieß-Magnus Wolter
Sliding-Window Compression on the Hypercube (Research Note) / Charalampos Konstantopoulos ; Andreas Svolos ; Christos Kaklamanis
A Parallel Implementation of a Potential Reduction Algorithm for Box-Constrained Quadratic Programming / Marco D'Apuzzo ; Marina Marino ; Panos M. Pardalos ; Gerardo Toraldo
European Projects / Roland Wismüller ; Renato CampoTopic 12:
NEPHEW: Applying a Toolset for the Efficient Deployment of a Medical Image Application on SCI-Based Clusters / Wolfgang Karl ; Martin Schulz ; Martin Völk ; Sibylle Ziegler
SEEDS : Airport Management Database System / TomáÜHrúz ; Martin Bečka ; Antonello Pasquarelli
HIPERTRANS: High Performance Transport Network Modelling and Simulation (Research Note) / Stephen E. Ijaha ; Stephen C. Winter ; Nasser Kalantery
Routing and Communication in Interconnection Networks / Jose DuatoTopic 13:
Experimental Evaluation of Hot-Potato Routing Algorithms on 2-Dimensional Processor Arrays (Research Note) / Constantinos Bartzis ; Ioannis Caragiannis ; Ioannis Vergados
Improving the Up*/Down* Routing Scheme for Networks of Workstations / José Carlos Sancho ; Antonio Robles
Deadlock Avoidance for Wormhole Based Switches / Ingebjørg Theiss ; Olav Lysne
An Analytical Model of Adaptive Wormhole Routing with Deadlock Recovery (Research Note) / Mohamed Ould-Khaoua ; Ahmad Khonsari
Analysis of Pipelined Circuit Switching in Cube Networks (Research Note) / Geyong Min
A New Reliability Model for Interconnection Networks / Vicente Chirivella ; Rosa Alcover
A Bandwidth Latency Tradeoff for Broadcast and Reduction / Jop F. Sibeyn
Optimal Broadcasting in Even Tori with Dynamic Faults (Research Note) / Stefan Dobrev ; Imrich Vrt'o
Broadcasting in All-Port Wormhole 3-D Meshes of Trees (Research Note) / Petr Salinger ; Pavel Tvrdík
Probability-Based Fault-Tolerant Routing in Hypercubes (Research Note) / Jehad Al-Sadi ; Khaled Day
Instruction-Level Parallelism and Processor Architecture / Kemal EbciogluTopic 14:
On the Performance of Fetch Engines Running DSS Workloads / Carlos Navarro ; Alex Ramírez ; Josep-L. Larriba-Pey
Cost-Efficient Branch Target Buffers / Jan Hoogerbrugge
Two-Level Address Storage and Address Prediction (Research Note) / Enric Morancho ; José María Llabería ; Àngel Olivé
Hashed Addressed Caches for Embedded Pointer Based Codes (Research Note) / Marian Stanca ; Sorin Cotofana
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations / Mihai Budiu ; Majd Sakr ; Kip Walker ; Seth C. Goldstein
General Matrix-Matrix Multiplication Using SIMD Features of the PIII (Research Note) / Douglas Aberdeen ; Jonathan Baxter
Redundant Arithmetic Optimizations (Research Note) / Thomas Y. Yéh ; Hong Wang
The Decoupled-Style Prefetch Architecture (Research Note) / Kevin D. Rich ; Matthew K. Farrens
Exploiting Java Bytecode Parallelism by Enhanced POC Folding Model (Research Note) / Lee-Ren Ton ; Lung-Chung Chang ; Chung-Ping Chung
Cache Remapping to Improve the Performance of Tiled Algorithms / Kristof E. Beyls ; Erik H. D'Hollander
Code Partitioning in Decoupled Compilers
Limits and Graph Structure of Available Instruction-Level Parallelism (Research Note) / Darko Stefanović ; Margaret Martonosi
Pseudo-vectorizing Compiler for the SR8000 (Research Note) / Hiroyasu Nishiyama ; Keiko Motokawa ; Ichiro Kyushima ; Sumio Kikuchi
Object Oriented Architectures, Tools, and Applications / Gul A. AghaTopic 15:
Debugging by Remote Reflection / Ton Ngo ; John Barton
Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper) / Gabriel Antoniu ; Luc Bougé ; Philip J. Hatcher ; Mark MacBeth ; Keith McGuigan ; Raymond Namyst
A More Expressive Monitor for Concurrent Java Programming / Hsin-Ta Chiao ; Chi-Houng Wu ; Shyan-Ming Yuan
An Object-Oriented Software Framework for Large-Scale Networked Virtual Environments / Frédéric Dang Tran ; Anne Gérodolle
TACO - Dynamic Distributed Collections with Templates and Topologies / Jörg Nolte ; Mitsuhisa Sato ; Yutaka Ishikawa
Object-Oriented Message-Passing with TPO++ (Research Note) / Tobias Grundmann ; Marcus Ritt ; Wolfgang Rosenstiel
Architectures and Algorithms for Multimedia Applications / Manfred SchimmlerTopic 17:
Design of Multi-dimensional DCT Array Processors for Video Applications / Shietung Peng ; Stanislav Sedukhin
Design of a Parallel Accelerator for Volume Rendering / Bertil Schmidt
Automated Design of an ASIP for Image Processing Applications (Research Note) / Henjo Schot
A Distributed Storage System for a Video-on-Demand Server (Research Note) / Alice Bonhomme ; Loïc Prylli
Cluster Computing / Rajkumar Buyya ; Mark Baker ; Daniel C. Hyde ; Djamshid TavangarianTopic 18:
Partition Cast - Modelling and Optimizing the Distribution of Large Data Sets in PC Clusters (Distinguished Paper) / Felix Rauch ; Christian Kurmann ; Thomas M. Stricker
A New Home-Based Software DSM Protocol for SMP Clusters / Weiwu Hu ; Fuxin Zhang ; Haiming Liu
Encouraging the Unexpected: Cluster Management for OS and Systems Research (Research Note) / Ronan Cunniffe ; Brian A. Coghlan
Flow Control in Server Netfi Clusters / Vladimir Shurbanov ; Dimiter Avresky ; Pankaj Mehra ; William Watson
The WMPI Library Evolution: Experience with MPI Development for Windows Environments / Hernani Pedroso ; João Gabriel Silva
Implementing Explicit and Implicit Coscheduling in a PVM Environment (Research Note) / Francesc Solsona ; Francesc Giné ; Porfidio Hernández
A Jini-Based Prototype Metacomputing Framework (Research Note) / Zoltan Juhasz ; Laszlo Kesmarki
SKElib: Parallel Programming with Skeletons in C / Marco Danelutto ; Massimiliano Stigliani
Token-Based Read/Write-Locks for Distributed Mutual Exclusion / Claus Wagner ; Frank Mueller
On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note) / Wolfgang Schreiner ; Christian Mittermaier ; FranzWinkler
PCI-DDC Application Programming Interface: Performance in User-Level Messaging (Research Note) / Eric Renault ; Pierre David ; Paul Feautrier
A Clustering Approach for Improving Network Performance in Heterogeneous Systems (Research Note) / Vicente Arnau ; Juan M. Orduña ; Salvador Moreno ; Rodrigo Valero ; Aurelio Ruiz
Metacomputing / Alexander Reinefeld ; Geoffrey Fox ; Domenico Laforenza ; Edward SeidelTopic 19:
Request Sequencing: Optimizing Communication for the Grid / Dorian C. Arnold ; Dieter Bachmann ; Jack Dongarra
An Architectural Meta-application Model for Coarse Grained Metacomputing / Stephan Kindermann ; Torsten Fink
Javelin 2.0: Java-Based Parallel Computing on the Internet / Michael O. Neary ; Alan Phipps ; Steven Richman ; Peter Cappello
Data Distribution for Parallel CORBA Objects / Tsunehiko Kamachi ; Thierry Priol ; Christophe René
Parallel I/O and Storage Technology / Rajeev Thakur ; Rolf Hempel ; Elizabeth Shriver ; Peter BrezanyTopic 20:
Towards a High-Performance Implementation of MPI-IO on Top of GPFS / Jean-Pierre Prost ; Richard Treumann ; Richard Hedges ; Alice E. Königes ; Alison White
Design and Evaluation of a Compiler-Directed Collective I/O Technique / Gokhan Memik ; Mahmut T. Kandemir ; Aioli Choudhary
Effective File-I/O Bandwidth Benchmark / Rolf Rabenseifner ; Alice E. Koniges
Instant Image: Transitive and Cyclical Snapshots in Distributed Storage Volumes / Prasenjit Sarkar
Scheduling Queries for Tape-Resident Data / Sachin More ; Alok Choudhary
Logging RAID - An Approach to Fast, Reliable, and Low-Cost Disk Arrays / Ying Chen ; Windsor W. Hsu ; Honesty C. Young
Problem Solving Environments / José C. Cunha ; David W. Walker ; Wolfgang GentzschTopic 21:
AMANDA - A Distributed System for Aircraft Design / Hans-Peter Kersken ; Andreas Schreiber ; Martin Strietzel ; Michael Faden ; Regine Ahrem ; Peter Post ; Klaus Wolf ; Armin Beckert ; Thomas Gerholt ; RalfHeinrich ; Edmund Kügeler
Problem Solving Environments: Extending the Rôle of Visualization Systems / Helen Wright ; Ken Brodlie ; Jason Wood ; Jim Procter
An Architecture for Web-Based Interaction and Steering of Adaptive Parallel/Distributed Applications / Rajeev Muralidhar ; Samian Kaur ; Manish Parashar
Computational Steering in Problem Solving Environments (Research Note) / David Lancaster ; Jeff S. Reeve
Implementing Problem Solving Environments for Computational Science (Research Note) / Maozhen Li ; Matthew S. Shields ; David Golby
Vendor Session
Pseudovectorization, SMP, and Message Passing on the Hitachi SR8000-F1 / Matthias Brehm ; Reinhold Bader ; Helmut Heller ; Ralf Ebner
Index of Authors
Invited Talks
Four Horizons for Enhancing the Performance of Parallel Simulations Based on Partial Differential Equations / David E. Keyes
E2K Technology and Implementation / Boris Babayan
42.

図書

図書
António Porto, Gruia-Catalin Roman (eds.)
出版情報: Berlin : Springer, c2000  ix, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1906
所蔵情報: loading…
43.

図書

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

図書

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

図書

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

図書

図書
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…
47.

図書

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

図書

図書
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…
49.

図書

図書
José M.L.M. Palma ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 732 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2565
所蔵情報: loading…
50.

図書

図書
Henry G. Dietz (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2624
所蔵情報: loading…
51.

図書

図書
Harald Kosch, László Böszörményi, Hermann Hellwagner (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxxv, 1320 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2790
所蔵情報: loading…
52.

図書

図書
Victor Malyshkin (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 570 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2763
所蔵情報: loading…
53.

図書

図書
Rocco de Nicola, Gianluigi Ferrari, Greg Meredith (Eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 322 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2949
所蔵情報: loading…
54.

図書

図書
Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  268 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2862
所蔵情報: loading…
目次情報: 続きを見る
Scheduling in HPC Resource Management Systems: Queuing vs. Planning / Matthias Hovestadt ; Odej Kao ; Axel Keller ; Achirn Streit
TrellisDAG: A System for Structured DAG Scheduling / Mark Goldenberg ; Paul Lu ; Jonathan Schaefer
SLURM: Simple Linux Utility for Resource Management / Andy B. Yoo ; Morris A. Jette ; Mark Grondona
OurGrid: An Approach to Easily Assemble Grids with Equitable Resource Sharing / Nazareno Andrade ; Walfredo Cirne ; Francisco Brasileiro ; Paulo Roisenberg
Scheduling of Parallel Jobs in a Heterogeneous Multi-site Environment / Gerald Sabin ; Rajkumar Kettimuthu ; Arun Rajan ; Ponnuswamy Sadayappan
A Measurement-Based Simulation Study of Processor Co-allocation in Multicluster Systems 5 / Banen, A.LD. Bucur ; D.H.J. Epema
Grids for Enterprise Applications / Jerry Rolia ; Jim Pruyne ; Xiaoyun Zhu ; Martin Arlitt
Performance Estimation for Scheduling on Shared Networks / Jaspal Subhlok ; Shreenivasa Venkataramaiah
Scaling of Workload Traces / Carsten Ernemann ; Baiyi Song ; Ramin Yahyapour
Gang Scheduling Extensions for I/O Intensive Workloads / Yanyong Zhang ; Antony Yang ; Anand Sivasubramaniam ; Jose Moreira
Parallel Job Scheduling under Dynamic Workloads / Eitan Frachtenberg ; Dror G. Feitelson ; Juan Fernandez ; Fabrizio Petrini
Backfilling with Lookahead to Optimize the Performance of Parallel Job Scheduling / Edi Shmueli
QoPS: A QoS Based Scheme for Parallel Job Scheduling / Mohammad Islam ; Pavan Balaji ; P. Sadayappan ; D. K. Panda
Author Index
Scheduling in HPC Resource Management Systems: Queuing vs. Planning / Matthias Hovestadt ; Odej Kao ; Axel Keller ; Achirn Streit
TrellisDAG: A System for Structured DAG Scheduling / Mark Goldenberg ; Paul Lu ; Jonathan Schaefer
SLURM: Simple Linux Utility for Resource Management / Andy B. Yoo ; Morris A. Jette ; Mark Grondona
55.

図書

図書
Roman Wyrzykowski ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xix, 1174 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3019
所蔵情報: loading…
56.

図書

図書
Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  235 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2537
所蔵情報: loading…
57.

図書

図書
Kim G. Larsen, Mogens Nielsen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  xi, 581 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2154
所蔵情報: loading…
58.

図書

図書
Victor Malyshkin (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001  xii, 516 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2127
所蔵情報: loading…
59.

図書

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

図書

図書
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  viii, 498 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…
61.

図書

図書
edited by J.W. de Bakker, A.J. Nijman and P.C. Treleaven
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 258-259
所蔵情報: loading…
62.

図書

図書
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…
63.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
edited by G.L. Reijns and E.L. Dagless
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  163 p. ; 23 cm
所蔵情報: loading…
70.

図書

図書
A. Albrecht, H. Jung, K. Mehlhorn (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  205 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 269
所蔵情報: loading…
71.

図書

図書
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…
72.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Insup Lee, Scott A. Smolka, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  x, 545 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 962
所蔵情報: loading…
86.

図書

図書
Victor Malyshkin (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  xii, 495 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 964
所蔵情報: loading…
87.

図書

図書
Seif Haridi, Khayri Ali, Peter Magnusson (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  xv, 734 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 966
所蔵情報: loading…
88.

図書

図書
Afonso Ferreira, José Rolim (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  x, 409 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 980
所蔵情報: loading…
89.

図書

図書
C.- H. Huang ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1996  xiii, 597 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1033
所蔵情報: loading…
90.

図書

図書
A. Ferreira ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  ix, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1117
所蔵情報: loading…
91.

図書

図書
Ugo Montanari, Vladimiro Sassone, (eds.)
出版情報: Berlin : Springer, c1996  xii, 750 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1119
所蔵情報: loading…
92.

図書

図書
Luc Bougé ...[et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1123-1124
所蔵情報: loading…
93.

図書

図書
Utpal Banerjee ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xi, 655 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 768
所蔵情報: loading…
94.

図書

図書
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  vi, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 927 . Lecture notes in artificial intelligence
所蔵情報: loading…
95.

図書

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

図書

図書
edited by Gerard L. Reijns, Michael H. Barton
出版情報: Amsterdam ; Tokyo : North-Holland, 1987  xi, 271 p. ; 23 cm
所蔵情報: loading…
97.

図書

図書
edited by S.D. Brookes, A.W. Roscoe and G. Winskel
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  x, 523 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 197
所蔵情報: loading…
98.

図書

図書
edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
出版情報: Berlin ; New York : Springer-Verlag, c1986  xii, 716 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 224
所蔵情報: loading…
99.

図書

図書
edited by Wolfgang Händler ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 418 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 237
所蔵情報: loading…
100.

図書

図書
K. Pingali ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  xi, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 892
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼