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.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 173 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Co-Chairs
Committees
Reviewers
Conservative Simulation / Session 1:
Conservative Simulation Using Distributed-Shared Memory / Y. Teo ; Y. Ng ; B. Onggo
The Lookahead in a User-Transparent Conservative Parallel Simulator / V. Solcany ; J. Safarik
Addressing Blocking and Scalability in Critical Channel Traversing / R. Simmonds ; C. Kiddle ; B. Unger
Optimistic Simulation I / Session 2:
XSim: Real-Time Analytic Parallel Simulations / C. Carothers
Pal: A New Fossil Collector for Time Warp / V.-Y. Vee ; W.-J. Hsu
Early Cancellation: An Active NIC Optimization for Time-Warp / R. Noronha ; N. Abu-Ghazaleh
Virtual Environments and Hla / Session 3:
Critical Causality in Distributed Virtual Environments / S. Zhou ; W. Cai ; S. Turner ; F. Lee
A Scalable Architecture for Supporting Interactive Games on the Internet / P. Xavier ; B.-S. Lee
Evaluation of a Sort-Based Matching Algorithm for DDM / Y. Jun ; C. Raczy ; G. Tan
Network Simulation / Session 4:
Lookahead Revisited in Wireless Network Simulations / J. Liu ; D. Nicol
Genesis: A System for Large-Scale Parallel Network Simulation / B. Szymanski ; A. Saifee ; A. Sastry ; Y. Liu ; K. Madnani
Experiences Applying Parallel and Interoperable Network Simulation Techniques in On-Line Simulations of Military Networks / K. Perumalla ; R. Fujimoto ; T. McLean ; G. Riley
Miscellaneous I / Session 5:
Updateable Simulation of Communication Networks / S. Ferenci ; M. Ammar
Analysis of Composite Synchronization
Stone Axes and Warhammers: A Decade of Distributed Simulation in Aviation Research / F. Sogandares
Optimistic Simulation II / Session 6:
Software Control Systems for Parallel Simulation / R. Radhakrishnan ; P. Wilsey
Conditional Checkpoint Abort: An Alternative Semantic for Re-synchronization in CCL / F. Quaglia ; A. Santoro ; B. Ciciani
Miscellaneous II / Session 7:
Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation / G. Chen
Experiment Scheduling in Faster-than-Real-Time Simulation / D. Anagnostopoulos
Author Index
Message from the General Chairs
Message from the Program Co-Chairs
Committees
5.

図書

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

図書

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

図書

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

図書

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

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED), Technical Committee on Modelling and Simulation, World Modelling and Simulation Forum]
出版情報: Anaheim, Calif. : IASTED/ACTA Press, c2001  iv, 347 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
Samuel P. Midkiff ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 381 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2017
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼