close
1.

図書

図書
Fr. Freise
出版情報: Vaduz : Sändig Reprint Verlag, 1990  viii, 187 p. ; 21 cm
所蔵情報: loading…
2.

図書

図書
Michael Macrone ; illustrations by Tom Lulevitch
出版情報: New York : Gramercy Books, 1999, c1991  xiv, 238 p., [2] leaves of plates ; 22 cm
所蔵情報: loading…
3.

図書

図書
Michel Diaz, Philippe Owezarski, Patrick Sénac (eds.)
出版情報: Berlin ; New York : Springer, c1999  xi, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1718
所蔵情報: loading…
4.

図書

図書
Joxan Jaffar (ed.)
出版情報: Berlin : Springer, c1999  xii, 491 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1713
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
The Rough Guide to Constraint Propagation / Krzysztof R. Apt
Non-binary Constraints / Christian Bessière
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization / Benjamin W. Wah ; Zhe Wu
Regular Papers
Operational Equivalence of CHR Programs and Constraints / Slim Abdennadher ; Thom Frühwirth
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains / Eric Monfroy
Excluding Symmetries in Constraint Based Search / Rolf Baclofen ; Sebastian Will
On Forward Checking for Non-binary Constraint Satisfaction / Pedro Meseguer ; Eugene C. Freuder ; Javier Larrosa
Enforcing Arc Consistency on Global Constraints by solving subCSPs on the Fly / Jean-Charles Régin
Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP / Marcus Bjäreland ; Peter Jonsson
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time / Mathias Broxvall
A Meta-Heuristic Factory for Vehicle Routing Problems / Yves Caseau ; François Laburthe ; Glenn Silverstein
Closure Functions and Width 1 Problems / Victor Dalmau ; Justin Pearson
An Overview of HAL / Bart Demoen ; Maria García de la Banda ; Warwick Harvey ; Kim Marriott ; Peter Stuckey
Cost-Based Domain Filtering / Filippo Focacci ; Andrea Lodi ; Michela Milano
Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques / Christian Frei ; Boi Faltings
Optimal Distributed Arc-Consistency / Youssef Hamadi
The Goldilocks Problem / Tudor Hulubei
Multistep Filtering Operators for Ordinary Differential Equations / Micha Janssen ; Yves Deville ; Pascal Van Hentenryck
A Framework for Constraint Programming Based Column Generation / Ulrich Junker ; Stefan E. Karisch ; Niklas Kohl ; Bo Vaaben ; Torsten Fahle ; Meinolf Sellmann
Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems / Kazuya Kaneko ; Masazumi Yoshikawa ; Yoichiro Nakakuki
Applying Constraint Programming to Protein Structure Determination / Ludwig Krippahl ; Pedro Barahona
Partition-Based Lower Bound for Max-CSP
Constraint Diagram Reasoning / Bernd Meyer
Automatic Generation of Music Programs / François Pachet ; Pierre Roy
Search Procedures and Parallelism in Constraint Programming / Laurent Perron
Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search / Nicolas Prcovic ; Bertrand Neveu
Tight Cooperation and its Application in Piecewise Linear Optimization / Philippe Refalo
Arc Consistency for Global Cardinality Constraints with Costs
The Brélaz Heuristic and Optimal Static Orderings / Barbara M. Smith
A Fixpoint Definition of Dynamic Constraint Satisfaction / Timo Soininen ; Esther Gelle ; Ilkka Niemelä
Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation / Takayuki Suyama ; Makoto Yokoo ; Akira Nagoya
On the Behavior and Application of Constraint Weighting / John Thornton ; Abdul Sattar
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization / Tao Wang
Poster Papers
On SAT01 Problem / Stanislav Busygin
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support / Jorge Cruz
CSPLib: A Benchmark Library for Constraints / Ian P. Gent ; Toby Walsh
Validated Constraint Compilation / Timothy J. Hickey ; David K. Wittenberg
Automated Theorem Proving with Disjunctive Constraints / Ortrun Ibens
Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms / Claudio Lottaz
Intelligent Domain Splitting for CSPs with Ordered Domains / Marius-Călin Silaghi ; Djamila Sam-Haroud
Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques / Katsutoshi Hirayama
Author Index
Invited Papers
The Rough Guide to Constraint Propagation / Krzysztof R. Apt
Non-binary Constraints / Christian Bessière
5.

図書

図書
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
出版情報: Berlin : Springer, c1999  xiv, 415 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1710
所蔵情報: loading…
目次情報: 続きを見る
Methodology / I:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle / C.A.R. Hoare
A Triptych Software Development Paradigm: Domain, Requirements and Software / D. Bjørner
Real-Time Constraints Through the ProCoS Layers / A.P. Ravn ; H. Rischel
Monotonicity in Calculational Proofs / D. Gries
Programming / II:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming / K.R. Apt ; A. Schaerf
Type and Effect Systems / F. Nielson ; H.R. Nielson
Automation / III:
Proving Theorems About Java-Like Byte Code / J S. Moore
Multiple State and Single State Tableaux for Combining Local and Global Model Checking / A. Biere ; E.M. Clarke ; Y. Zhu
On the Existence of Network Invariants for Verifying Parameterized Systems / P.A. Abdulla ; B. Jonsson
Compilation / IV:
Verification of Compilers / G. Goos ; W. Zimmermann
Translation Validation: From SIGNAL to C / A. Pnueli ; O. Shtrichman ; M. Siegel
Compilation and Synthesis for Real-Time Embedded Controllers / M. Franzle ; M. Müller-Olm
Optimization Under the Perspective of Soundness, Completeness, and Reusability / J. Knoop ; O. Ruthing
Application / V:
Verification of Automotive Control Units / T. Bienmüller ; J. Bohn ; H. Brinkmann ; U. Brockmeyer ; W. Damm ; H. Hungar ; P. Jansen
Correct Real-Time Software for Programmable Logic Controllers / E.-R. Olderog
Formal Methods for the International Space Station ISS / J. Peleska ; B. Buth
MetaFrame in Practice: Design of Intelligent Network Services / B. Steffen ; T. Margaria
Author Index
Methodology / I:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle / C.A.R. Hoare
A Triptych Software Development Paradigm: Domain, Requirements and Software / D. Bjørner
6.

図書

図書
Jack Dongarra, Emilio Luque, Tomàs Margalef (eds.)
出版情報: Berlin : Springer, c1999  xvii, 551 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1697
所蔵情報: loading…
目次情報: 続きを見る
Evaluation and Performance / 1:
Performance Issues of Distributed MPI Applications in a German Gigabit Testbed / T. Eickermann ; H. Grund ; J. Henrichs
Reproducible Measurements of MPI Performance Characteristics / W. Gropp ; E. Lusk
Performance Evaluation of the MPI/MBCF with the NAS Parallel Benchmarks / K. Morimoto ; T. Matsumoto ; K. Hiraki
Performance and Predictability of MPI and BSP Programs on the CRAY T3E / J.A. González ; C. Rodríguez ; J.L. Roda ; D.G. Morales ; F. Sande ; F. Almeida ; C. León
Automatic Profiling of MPI Applications with Hardware Performance Counters / R. Rabenseifner
Monitor Overhead Measurement with SKaMPI / D. Krarizlmüller ; R. Reussner ; Ch. Schaubschläger
A Standard Interface for Debugger Access to Message Queue Information in MPI / J. Cowrie
Towards Portable Runtime Support for Irregular and Out-of-Core Computations / M. Bubak ; P. Łuszczek
Enhancing the Functionality of Performance Measurement Tools for Message Passing Environments / W Funika ; K.Iskra ; R. Maruszewski ; R. Wismüller
Performance Modeling Based on PVM / H. Mierendorff ; H. Schwamborn
Efficient Replay of PVM Programs / M. Neyman ; M. Bukowski ; P. Kuzora
Relating the Execution Behaviour with the Structure of the Application / A. Espinosa ; F. Parcerisa ; T. Margalef ; E. Luque
Extensions and Improvements / 2:
Extending PVM with Consistent Cut Capabilities: Application Aspects and Implementation Strategies / A. Clematis ; V. Gianuzzi
Flattening on the Fly: Efficient Handling of MPI Derived Datatypes / J. L. Träff ; R. Hempel ; H. Ritzdorf ; F. Zimmermann
PVM Emulation in the Harness Metacomputing System: A Plug-In Based Approach / M. Migliardi ; V. Sunderam
Implementing MPI-2 Extended Collective Operations / P. Silva ; J. G. Silva
Modeling MPI Collective Communications on the AP3000 Multicomputer / J. Touriño ; R. Doallo
MPL*: Efficient Record/Replay of Nondeterministic Features of Message Passing Libraries / J. Chassin de Kergommeaux ; M. Ronsse ; K. De Bosschere
Comparison of PVM and MPI on SGI Multiprocessors in a High Bandwidth Multimedia Application / R. Kutil ; A. Uhl
On Line Visualization or Combining the Standard ORNL PVM with a Vendor PVM Implementation / J. Borkowski
Native Versus Java Message Passing / N. Stankovic ; K. Zhang
JPT: A Java Parallelization Tool / K. Beyls ; E. D'Hollander ; Y. Yu
Facilitating Parallel Programming in PVM Using Condensed Graphs / J. P. Morrison ; R. W. Connolly
Nested Bulk Synchronous Parallel Computing / F. de Sande ; J. Roda ; J. A. González
Implementation Issues / 3:
An MPI Implementation on the Top of the Virtual Interface Architecture / M. Bertozzi ; F. Boselli ; G. Conte ; M. Reggiani
MiMPI: A Multithred-Safe Implementation of MPI / F. García ; A. Calderón ; J. Carretero
Building MPI for Multi-Programming Systems Using Implicit Information / F. C. Wong ; A.C. Arpaci-Dusseau ; D.E. Culler
The Design for a High Performance MPI Implementation on the Myrinet Network / L. Prylli ; B. Tourancheau ; R. Westrelin
Implementing MPI's One-Sided Communications for WMPI / F. E. Mourão
Tools / 4:
A Parallel Genetic Programming Tool Based on PVM / F. Fernández ; J. M. Sánchez ; M. Tomassini ; J.A. Gómez
Net-Console: A Web-Based Development Environment for MPI Programs / A. Papagapiou ; P. Evripidou ; G. Samaras
Visual MPI, A knowledge-Based System for Writing Efficient MPI Applications / D. Ferenc ; J. Nabrzyski ; M. Stroiński ; P. Wierzejewski
Algorithms / 5:
Solving Generalized Boundary Value Problems with Distributed Computing and Recursive Programming / I. Szeberényi ; G. Domokos
Hyper-Rectangle Distribution Algorithm for Parallel Multi-Dimensional Numerical Integration / R. Čiegis ; R. Šablinskas ; J. Waśniewski
Parallel Monte Carlo Algorithms for Sparse SLAE Using MPI / V. Alexandrov ; A. Karaivanova
A Method for Model Parameter Identification Using Parallel Genetic Algorithms / J. I. Hidalgo ; M. Prieto ; J. Lanchares ; F.Tirado ; B. de Andrés ; S. Esteban ; D. Rivera
Large-Scale FE Modelling in Geomechanics: A Case Study in Parallelization / R. Blaheta ; O. Jakl ; J. Starý
A Parallel Robust Multigrid Algorithm Based on Semi-Coarsening / R. Santiago ; I. M. Llorente ; F. Tirado
Applications in Science and Engineering / 6:
PLIERS: A Parallel Information Retrieval System Using MPI / A. MacFarlane ; J. A. McCann ; S.E. Robertson
Parallel DSIR Text Retrieval System / A. Rungsawang ; A. Tangpong ; P. Laohawee
PVM Implementation of Heterogeneous ScaLAPACK Dense Linear Solvers / V. Boudet ; F. Rastello ; Y. Robert
Using PMD to Parallel Solve Large-Scale Navier-Stokes Equations Performance Analysis on SGI/CRAY-T3E Machine / J. Chergui
Implementation Issues of Computational Fluid Dynamics Algorithms on Parallel Computers / J. Płażek ; K. Banaś ; J. Kitowski
A Scalable Parallel Gauss-Seidel and Jacobi Solver for Animal Genetics / M. Larsen ; P. Madsen
Parallel Approaches to a Numerically Intensive Application Using PVM / R. Baraglia ; R. Ferrini ; D. Laforenza ; A. Laganà
Solving the Inverse Toeplitz Eigenproblem Using ScaLAPACK and MPI / J. M. Badía ; A. M. Vidal
A Parallel Implementation of the Eigenproblem for Large, Symmetric and Sparse Matrices / E.M. Garzón ; I. García
Parallel Computation of the SVD of a Matrix Product / J. M. Claver ; M. Mollar ; V. Hernández
Porting Generalized Eigenvalue Software on Distributed Memory Machines Using Systolic Model Principles / P. Bassomo ; I. Sakho ; A. Corbel
Heading for an Asynchronous Parallel Ocean Model / J. Schuele
Distributed Collision Handling for Particle-Based Simulation / G. Frugoli ; A. Fava ; E. Fava
Parallel Watershed Algorithm on Images from Cranial CT-Scans Using PVM and MPI on a Distributed Memory System / C. Nicolescu ; B. Albers ; P. Jonker
MPIPOV: A Parallel Implementation of POV-Ray Based on MPI / M. Fava
Minimum Communication Cost Fractal Image Compression on PVM / P. -Y. Wu
Cluster Computing Using MPI and Windows NT to Solve the Processing of Remotely Sensed Imagery / J. A. Gallud ; J. M. García ; J. García-Consuegra
Ground Water Flow Modelling in PVM / L. Hluchý ; V. D. Tran ; L. Halada ; M. Dobrucký
Networking / 7:
Virtual BUS: A Simple Implementation of an Effortless Networking System Based on PVM / S. Ishihara ; S. Tani ; A. Takahara
Collective Communication on Dedicated Clusters of Workstations / L. P. Huse
Experiences Deploying a Distributed Parallel Processing Environment over a Broadband Multiservice Network / J. Corbacho-Lozano ; O.-I. Lepe-Aldama ; J. Solé-Pareta ; J. Domingo-Pascual
Asynchronous Communications in MPI - the BIP/Myrinet Approach / F. Chaussumier ; F. Desprez
Parallel Computing on PC Clusters - An Alternative to Supercomputers for Industrial Applications / M. Eberl ; W. Karl ; C. Trinitis ; A. Blaszczyk
Benchmarking the PVM Group Communication Efficiency / M.R.Matuszek ; A. Mazurkiewicz ; P. W. Umiński
Heterogeneous Distributed Systems / 8:
Dynamic Assignment with Process Migration in Distributed Environments / P. Czarnul ; H. Krawczyk
Parallelizing of Sequential Annotated Programs in PVM Environment / A. Godlevsky ; M. Gažák
Di_pSystem: A Parallel Programming System for Distributed Memory Architectures / F. Silva ; H. Paulino ; L. Lopes
Parallel NLP Strategies Using PVM on Heterogeneous Distributed Environments / G. E. Vazquez ; N. B. Brignole
Using PVM for Distributed Logic Minimization in a Network of Computers / L. Parrilla ; J. Ortega ; A. Lloris
Author Index
Evaluation and Performance / 1:
Performance Issues of Distributed MPI Applications in a German Gigabit Testbed / T. Eickermann ; H. Grund ; J. Henrichs
Reproducible Measurements of MPI Performance Characteristics / W. Gropp ; E. Lusk
7.

図書

図書
Rolf Stadler, Burkhard Stiller (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xii, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1700
所蔵情報: loading…
目次情報: 続きを見る
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
A Distributed and Reliable Platform for Adaptive Anomaly Detection in IP Networks / L. Lawrence Ho ; Christopher J. Macey ; Ronald Hiller
Management Components and Multi-domain Management
Integrating Service and Network Management Components for Service Fulfilment / David Lewis ; Chris Malbon ; Costas Stathopoulos ; Enric Jaen Villoldo
Distributed Connection Management Architecture for Optimal VPC Provisioning on Hierarchical ATM Transport Network / Won-Kyu Hong ; Dong-Sik Yun
A Multi-agent Paradigm for the Inter-domain Demand Allocation Process / Monique Calisti ; Boi Faltings
Providing Managed Services to End-Users
The Future of SNMP-based Management
Next Generation Structure of Management Information for the Internet / Jürgen Schönwälder ; Frank Strauß
An XML-based Framework for Dynamic SNMP MIB Extension / Ajita John ; Keith Vanderveen ; Binay Sugla
Directory Supported Management with SNMPv3 / Salima Omari ; Raouf Boutaba ; Omar Cherkaoui
Programmable SNMP-based Management
Remote Service Deployment on Programmable Switches with the IETF SNMP Script MIB / Jürgen Quittek ; Cornelia Kappler
Integrating SNMP into a Mobile Agent Infrastructure / Paulo Simões ; Luis Moura Silva ; Fernando Boavida Fernandes
JAMAP: A Web-based Management Platform for IP Networks / Jean-Philippe Martin-Flatin ; Laurent Bovet ; Jean-Pierre Hubaux
Management of Programmable and Active Networks
Service Configuration and Management in Adaptable Networks / Livio Ricciulli
Virtual Active Networks - Safe and Flexible Environments for Customer-managed Services / Marcus Brunner ; Rolf Stadler
Accelerating Code Deployment on Active Networks / Tôru Egashira ; Yoshiaki Kiriha
Are Programmable Networks Unmanageable?
IT and Enterprise Management
Characterization and Measurements of Enterprise Network Traffic with RMON2 / Luciano Paschoal Gaspary ; Liane Rockenbach Tarouco
Derivation of Backup Service Management Applications from Service and System Models / Ingo Lück ; Marcus Schönbach ; Arnulf Mester ; Heiko Krumm
A Framework for the Integration of Legacy Devices into a Jini Management Federation / Gerd Aschemann ; Svetlana Domnitcheva ; Peer Hasselmeyer ; Roger Kehr ; Andreas Zeidler
Management Tools
Ntop: Beyond ping and traceroute / Luca Deri ; Stefano Suin
EventBrowser: A Flexible Tool for Scalable Analysis of Event Data / Sheng Ma ; Joseph L. Hellerstein
Challenges for Management Research
Author Index
Decentralized Monitoring and Anomaly Detection
On the Performance and Scalability of Decentralized Monitoring Using Mobile Agents / Antonio Liotta ; Graham Knight ; George Pavlou
Programmable Agents for Active Distributed Monitoring / Ehab S. Al-Shaer
8.

図書

図書
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 207 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: loading…
目次情報: 続きを見る
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
A Modal Lambda Calculus with Iteration and Case Constructs / Joëlle Despeyroux ; Pierre Leleu
Proof Normalization Modulo / Gilles Dowek ; Benjamin Werner
Proof of Imperative Programs in Type Theory / Jean-Christophe Filliâtre
An Interpretation of the Fan Theoremin Type Theory / Daniel Fridlender
Conjunctive Types and SKInT / Jean Goubault-Larrecq
Modular Structures as Dependent Types in Isabelle / Florian Kammüller
Metatheory of Verification Calculi in LEGO / Thomas Kleymann
Bounded Polymorphism for Extensible Objects / Luigi Liquori
About Effective Quotients in Constructive Type Theory / Maria Emilia Maietti
Algorithms for Equality and Unification in the Presence of Notational Definitions / Frank Pfenning ; Carsten Schurmann
A Preview of the Basic Picture: A New Perspective on Formal Topology / Giovanni Sambin ; Silvia Gebellato
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
9.

図書

図書
Harold Boley
出版情報: Berlin : Springer, c1999  xi, 169 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1712 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)
出版情報: Berlin : Springer, c1999  vii, 143 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1686
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼