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