close
1.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)
出版情報: Berlin : Springer, c1999  vii, 143 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1686
所蔵情報: loading…
10.

図書

図書
Maria Teresa Pazienza (ed.)
出版情報: Berlin : Springer, c1999  viii, 164 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1714 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Can We Make Information Extraction More Adaptive? / Yorick Wilks ; Roberta Catizone
Natural Language Processing and Digital Libraries / Jean-Pierre Chanod
Natural Language Processing and Information Retrieval / Ellen M. Voorhees
From Speech to Knowledge / Veronica Dahl
Relating Templates to Language and Logic / John F. Sowa
Inferential Information Extraction / Marc Vilain
Knowledge Extraction from Bilingual Corpora / Harold Somers
Engineering of IE Systems: An Object-Oriented Approach / Roberto Basili ; Massimo Di Nanni ; Maria Teresa Pazienza
Can We Make Information Extraction More Adaptive? / Yorick Wilks ; Roberta Catizone
Natural Language Processing and Digital Libraries / Jean-Pierre Chanod
Natural Language Processing and Information Retrieval / Ellen M. Voorhees
11.

図書

図書
Jean-François Sadoc and Rémy Mosseri
出版情報: Cambridge ; New York : Cambridge University Press, 1999  xii, 307 p. ; 26 cm
シリーズ名: Collection Aléa-Saclay : monographs and texts in statistical physics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction to geometrical frustration / 1:
Ideal models / 2:
Finite structures / 3:
Decurving and disclinations / 4:
Hierarchical polytopes / 5:
Some physical properties / 6:
Periodic structures with large cells / 7:
Quasiperiodic order and frustration / 8:
Appendices
Bibliography
Index
Preface
Introduction to geometrical frustration / 1:
Ideal models / 2:
12.

図書

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

図書

図書
Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.)
出版情報: Berlin : Springer, c1999  x, 243 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1660
所蔵情報: loading…
14.

図書

図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
出版情報: Berlin : Springer, c1999  vi, 285 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1669 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu
Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle / Jacques D. Fleuriot ; Lawrence C. Paulson
Readable Machine Solving in Geometry and ICAI Software MSG / Chuan-Zhong Li ; Jing-Zhong Zhang
Plane Euclidean Reasoning / Desmond Fearnley-Sander
A Clifford Algebraic Method for Geometric Reasoning / Haiquan Yang ; Shugong Zhang ; Guochen Feng
Clifford Term Rewriting for Geometric Reasoning in 3D / Thierry Boy de la Tour ; Stéphane Fèvre ; Dongming Wang
Some Applications of Clifford Algebra to Geometries / Hongbo Li
Decomposing Algebraic Varieties
An Application of Automatic Theorem Proving in Computer Vision / Didier Bondyfalat ; Bernard Mourrain ; Thèodore Papadopoulo
Automated Geometry Diagram Construction and Engineering Geometry / Xiao-Shan Gao
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction / Jae Yeol Lee
Variant Geometry Analysis and Synthesis in Mechanical CAD / Zongying Ou ; Jun Liu
Author Index
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving / Wen-tsün Wu
Solving Geometric Problems with Real Quantifier Elimination / Andreas Dolzmann
Automated Discovering and Proving for Geometric Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
15.

図書

図書
Robert France, Bernhard Rumpe (eds.)
出版情報: Berlin : Springer-Verlag, c1999  xvii, 724 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1723
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
Extending Architectural Representation in UML with View Integration / Alexander Egyed ; Nenad Medvidovic
Enabling the Refinement of a Software Architecture into a Design / Marwan Abi-Antoun
Using the UML for Architectural Description / Rich Hilliard
UML and Other Notations
Viewing the OML as a Variant of the UML / Brian Henderson-Sellers ; Colin Atkinson ; Don Firesmith
A Comparison of the Business Object Notation and the Unified Modeling Language / Richard F. Paige ; Jonathan S. Ostroff
Formalizing the UML Class Diagram Using Object-Z / Soon-Kyeong Kim ; David Carrington
Formalizing Interactions
A Formal Approach to Collaborations in the Unified Modeling Language / Gunnar Övergaard
A Formal Semantics for UML Interactions / Alexander Knapp
Panel 1
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? / Moderator: Chris Kobryn ; Michael Jesse Chonoles ; Steve Cook ; Desmond D'Souza ; Sridhar Iyengar ; Guus Ramackers
Meta-Modeling
Core Meta-Modelling Semantics of UML: The pUML Approach / Andy Evans ; Stuart Kent
A Metamodel for OCL / Mark Richters ; Martin Gogolla
Tools
Tool-Supported Compressing of UML Class Diagrams / Ferenc Dósa Rácz ; Kai Koskimies
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository / Mariano Belaunde
Components
Modeling Dynamic Software Components in UML / Axel Wienberg ; Florian Matthes ; Marko Boger
Extending UML for Modeling Reflective Software Components / Junichi Suzuki ; Yoshikazu Yamamoto
UML Extension Mechanisms
Nine Suggestions for Improving UML Extensibility / Nathan Dykman ; Martin Griss ; Robert Kessler
A Classification of Stereotypes for Object-Oriented Modeling Languages / Stefan Berner ; Martin Glinz ; Stefan Joos
First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns / Aamod Sane ; Alan Birchenough
Process Modeling
UML-Based Fusion Analysis / Shane Sendall ; Alfred Strohmeier
Using UML for Modelling the Static Part of a Software Process / Xavier Franch ; Josep M. Ribó
Framework for Describing UML Compatible Development Processes / Pavel Hruby
Invited Talk 2
On the Behavior of Complex Object-Oriented Systems / David Harel
Real-Time Systems
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain / Dominikus Herzberg
Modeling Hard Real Time Systems with UML - The OOHARTS Approach / Laila Kabous ; Wolfgang Nebel
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems / Pekka Kähkipuro
Constraint Languages
Defining the Context of OCL Expressions / Anneke Kleppe ; Richard Mitchell ; Jos Warmer ; Alan Wills
Mixing Visual and Textual Constraint Languages / John Howse
Correct Realizations of Interface Constraints with OCL / Michel Bidoit ; Rolf Hennicker ; Françoise Tort ; Martin Wirsing
Analyzing UML Models 1
Generating Tests from UML Specifications / Jeff Offutt ; Aynur Abdurazik
Formalising UML State Machines for Model Checking / Johan Lilius ; Iván Porres Paltor
Panel 2
SDL as UML: Why and What / Moderator: Bran Selic ; Philippe Dhaussy ; Anders Ek ; Øystein Haugen ; Philippe Leblanc,Birger Møller-Pedersen
Coding 1
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages / Jean Louis Sourrouille
UML Collaboration Diagrams and Their Transformation to Java / Gregor Engels ; Roland Hücking ; Stefan Sauer ; Annika Wagner
Analyzing UML Models 2
Towards Three-Dimensional Representation and Animation of UML Diagrams / Oliver Radfelder
Typechecking UML Static Models / Tony Clark
Precise Behavioral Modeling
Analysing UML Use Cases as Contracts / Ralph-Johan Back ; Luigia Petre
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior / Holger Giese ; Jörg Graf ; Guido Wirtz
Static Modeling
Black and White Diamonds / Franck Barbier
Interconnecting Objects via Contracts / Luís Filipe Andrade ; José Luiz Fiadeiro
How Can a Subsystem Be Both a Package and a Classifier? / Joaquin Miller ; Rebecca Wirfs-Brock
Applying the UML
Using UML/OCL Constraints for Relational Database Design / Birgit Demuth ; Heinrich Hussmann
Towards a UML Extension for Hypermedia Design / Hubert Baumeister ; Nora Koch ; Luis Mandel
Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering / Serge Demeyer ; Stéphane Ducasse ; Sander Tichelaar
Sequence Diagrams
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study / Thomas Firley ; Michaela Huhn ; Karsten Diethers ; Thomas Gehrke ; Ursula Goltz
Timing Analysis of UML Sequence Diagrams / Xuandong Li
Coding 2
The Normal Object Form: Bridging the Gap from Models to Code / Christian Bunse
Modeling Exceptional Behavior / Neelam Soundarajan ; Stephen Fridella
Panel 3
Advanced Methods and Tools for a Precise UML / Moderator: Andy Evans ; Steve Mellor
Author Index
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
16.

図書

図書
Leo Breiman ... [et al.]
出版情報: Boca Raton, Fla. ; London : Chapman & Hall/CRC, 1998  x, 358 p. ; 24 cm
所蔵情報: loading…
17.

図書

図書
Dennis Dams ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 276 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1680
所蔵情報: loading…
18.

図書

図書
Arnold M. Kossevich
出版情報: Berlin : Wiley-VCH, 1999  326 p. ; 24 cm
所蔵情報: loading…
19.

図書

図書
David J. Duke, Ivan Herman, M. Scott Marshall
出版情報: Berlin : Springer, c1999  xii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1591
所蔵情報: loading…
目次情報: 続きを見る
PREMO: A Standard for Distributed Multimedia
Introduction / 1.1:
What PREMO Is / 1.1.1:
What PREMO Isn't / 1.1.2:
Formal Description Techniques and PREMO / 1.2:
Structure of the Book / 1.3:
Typographical Conventions / 1.4:
Graphical Conventions / 1.5:
An Overview of PREMO
The Structure of PREMO / 2.1:
The PREMO Object Model / 2.3:
Overview / 2.3.1:
From Language Bindings to Environment Bindings / 2.3.2:
Object References / 2.3.3:
Active Objects / 2.3.4:
Operation Dispatching / 2.3.5:
Attributes / 2.3.6:
Non-object Data Types / 2.3.7:
The Foundation Component / 2.4:
Structures, Services, and Types / 2.4.1:
Inter-Object Communication / 2.4.2:
Synchronization / 2.4.3:
Time / 2.4.4:
Property Management / 2.4.5:
Object Factories / 2.4.6:
The Multimedia Systems Services Component / 2.5:
The Paradigm of Media Networks / 2.5.1:
Virtual Resources / 2.5.2:
Stream Control / 2.5.3:
Virtual Devices / 2.5.4:
Virtual Connections / 2.5.5:
Higher-Levels of Organization: Groups and Logical Devices / 2.5.6:
Working in Unison / 2.5.7:
The Modelling, Rendering, and Interaction Component / 2.6:
Object-Oriented Rendering / 2.6.1:
Primitives / 2.6.2:
Modelling and Rendering Devices / 2.6.3:
Coordination / 2.6.4:
Closing Remarks / 2.7:
The Fundamentals of PREMO
Basic Concepts / 3.1:
PREMO Objects and Object Types / 3.2.1:
Non-object Types / 3.2.2:
Object Identity and Object References / 3.2.4:
Operations / 3.3:
Subtyping / 3.4:
Inheritance / 3.5:
Protected Operations / 3.6:
Operation Selection, and Casting / 3.7:
Operation Request Modes / 3.8:
Exceptions / 3.9:
The Object and Object Reference Lifecycle / 3.10:
The Environment Binding / 3.11:
General Implementation Issues
Implementation Choices / 4.1:
Implementation Language / 4.1.1:
Implementation Environment / 4.1.2:
PREMO Specifications in Java and Java RMI / 4.2:
Constraints on the Specification Details / 4.2.1:
Registering Server Objects / 4.2.2:
PREMO Non-object Types / 5.1:
Basic Data Types / 5.2.1:
Constructed Data Types / 5.2.2:
Top Layer of the PREMO Object Hierarchy / 5.2.3:
The PREMOObject Interface / 5.3.1:
Simple PREMO Objects / 5.3.2:
Event Structures / 5.3.2.1:
Constraint Structures / 5.3.2.2:
Callbacks / 5.3.3:
Enhanced PREMO Objects / 5.3.4:
Enhanced PREMO Objects as Service Objects / 5.3.4.1:
Top Layer of PREMO / 5.3.4.2:
General Utility Objects / 5.4:
Event Management / 5.4.1:
The PREMO Event Model / 5.4.1.1:
The Event Handler Object / 5.4.1.2:
Synchronization Points / 5.4.1.3:
Finite State Machines: Controller Objects / 5.4.2:
Detailed Specification of a Controller / 5.4.2.1:
Activity of Controllers / 5.4.2.2:
Time Objects / 5.4.3:
General Notions / 5.4.3.1:
Specification of the PREMO Time Objects / 5.4.3.2:
Synchronization Facilities / 5.5:
Synchronizable Objects / 5.5.1:
Overview: Event-Based Synchronization / 5.5.1.1:
State Transition Monitoring / 5.5.1.2:
Detailed Specification of the Synchronizable Object / 5.5.1.3:
Synchronizable Objects as Callbacks / 5.5.1.4:
Time and Synchronizable Objects / 5.5.2:
Stop-Watch and Progression / 5.5.2.1:
Time and Progression Space / 5.5.2.2:
Reference Point Specifications in Time / 5.5.2.3:
Combining TimeSynchronizable Objects: Time Slaves / 5.5.3:
Time-Lines / 5.5.4:
Negotiation and Configuration Management / 5.6:
Property Inquiry Objects / 5.6.1:
Constraining Properties / 5.6.3:
Dynamic Change of Properties / 5.6.4:
Interaction among Properties / 5.6.5:
Some Conclusions on the Negotiation Facilities / 5.6.6:
Creation of Service Objects / 5.7:
Generic Factory Objects / 5.7.1:
Factory Finders / 5.7.2:
Use of Factories and Factory Finders / 5.7.3:
Multimedia Systems Services Component
Configuration Objects / 6.1:
Format Objects / 6.2.1:
Transport and Media Stream Protocol Objects / 6.2.2:
Quality of Service Descriptor Objects / 6.2.3:
The StreamControl Object / 6.3:
SyncStreamControl Objects / 6.3.2:
Property Control of Configurations / 6.4:
Resource and Configuration Management / 6.4.2:
Monitoring Resource Behaviour and Quality of Service Violations / 6.4.3:
Configuring Devices / 6.5:
Global Configuration / 6.5.1.1:
Port Configurations / 6.5.1.2:
Examples of Virtual Devices / 6.5.2:
Simple Media Devices / 6.5.2.1:
Transformer Devices / 6.5.2.2:
Detailed Specification of Virtual Connections / 6.6:
Examples of Virtual Connections / 6.6.3:
Multicast Connections / 6.6.4:
Groups / 6.7:
Logical Devices / 6.8:
The Role of Primitives in PREMO / 7.1:
The Hierarchy in Overview / 7.2.2:
Captured Primitives / 7.2.3:
Form Primitives / 7.2.4:
Tactile Primitives / 7.2.5:
Modifier Primitives / 7.2.6:
Wrapper Primitives / 7.2.7:
Tracer Primitives / 7.2.8:
Structured Primitives / 7.2.9:
Aggregate Primitives / 7.2.9.1:
TimeComposite / 7.2.9.2:
Reference Primitives / 7.2.10:
Coordinate Spaces / 7.3:
Coordinate / 7.3.1:
TimeLocation / 7.3.2:
Colour / 7.3.3:
Devices for Modelling, Rendering, and Interaction / 7.4:
MRI_Format / 7.4.1:
Efficiency Measures / 7.4.2:
MRI Device / 7.4.3:
Modeller / 7.4.4:
Renderer / 7.4.5:
MediaEngine / 7.4.6:
Input Devices, and Routing / 7.5:
InputDevice / 7.5.1:
Router / 7.5.2:
The Scene Database / 7.6:
Management / 7.7:
Allocation / 7.7.2:
Detailed Java Specifications of the PREMO Objects / 7.7.3:
Foundation Objects / 8.1:
Enumerations / 8.2.1:
Additional Data Types / 8.2.2:
Top Level of PREMO Hierarchy / 8.2.3:
Structures / 8.2.4:
Controllers / 8.2.5:
Sychronization Objects / 8.2.5.3:
Multimedia Systems Services / 8.2.7:
Structures and Additional Data Types / 8.3.1:
Virtual Resource / 8.3.3:
Virtual Device / 8.3.6:
Group / 8.3.7:
Logical Device / 8.3.9:
Objects for Coordinate Spaces / 8.4:
Coordinate Object / 8.4.1.1:
Colour Object / 8.4.1.2:
TimeLocation Object / 8.4.1.3:
Name Object / 8.4.2:
Objects for Media Primitives / 8.4.3:
Primitive Object / 8.4.3.1:
Captured Object / 8.4.3.2:
Primitives with Spatial and/or Temporal Form / 8.4.3.3:
Form Primitives for Audio Media Data / 8.4.3.4:
Form Primitives for Geometric Media Data / 8.4.3.5:
Primitives for the Modification of Media Data / 8.4.3.6:
Modifier Primitives for Audio Media Data / 8.4.3.7:
Modifier Primitives for Structural Aspects of Media Data / 8.4.3.8:
Modifier Primitives for Visual Aspects of Media Data / 8.4.3.9:
Organising Primitives into Structures / 8.4.3.10:
Organising Media Data within Time / 8.4.3.11:
Objects for Describing Properties of Devices / 8.4.4:
MRI_Format Object / 8.4.4.1:
EfficiencyMeasure Object / 8.4.4.2:
Processing Devices for Media Data / 8.4.5:
MRI_Device Object / 8.4.5.1:
Modeller Object / 8.4.5.2:
Renderer Object / 8.4.5.3:
MediaEngine Object / 8.4.5.4:
Scene Object / 8.4.6:
Objects for Supporting Interaction / 8.4.7:
InputDevice Object / 8.4.7.1:
Router Object / 8.4.7.2:
Coordinator Object / 8.4.8:
Selected Implementation Issues
The PREMO Environment / A.1:
Activity of Objects / A.1.1:
Top Level of the PREMO Hierarchy / A.1.2:
Distribution and the Creation of PREMO Objects / A.1.3:
Specific Part 3 Objects / A.2:
Virtual Connection Objects / A.2.1:
Devices on the Same JVM: Piped Streams / A.2.1.1:
Devices on Different JVM's: Sockets / A.2.1.2:
References / A.2.1.3:
Index
PREMO: A Standard for Distributed Multimedia
Introduction / 1.1:
What PREMO Is / 1.1.1:
20.

図書

図書
Matthew M. Huntbach, Graem A. Ringwood
出版情報: Berlin : Springer, c1999  xiv, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1630 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
The Art in Artificial Intelligence / Chapter 1:
Realism / 1.1:
Purism / 1.2:
Rococo / 1.3:
Classicism / 1.4:
Romanticism / 1.5:
Symbolism / 1.6:
Neo-Classicism / 1.7:
Impressionism / 1.8:
Post-Impressionism / 1.9:
Precisionism / 1.10:
New Realism / 1.11:
Baroque / 1.12:
Pre-Raphaelite Brotherhood / 1.13:
Renaissance / 1.14:
Hindsight / 1.15:
Fifth Generation Architecture / Chapter 2:
Architecture and Design / 2.1:
Design as Evolution / 2.2:
Design as Co-evolution / 2.3:
Design as Theorem / 2.4:
Design as Premise / 2.5:
Design as Paradigm / 2.6:
Impressionist Design / 2.7:
Classical Design / 2.8:
Logic Machines / 2.9:
Metamorphosis / 2.10:
Apparent Scope for Parallelism / 3.1:
Or-Parallelism / 3.2:
The Prolog Phenomenon / 3.3:
Concurrency and Operating Systems / 3.4:
Concurrency and Distributed Systems / 3.5:
Symbiosis Between Programming Language and System Engineering / 3.6:
Event Driven Synchronization / 3.7:
Earlier Manifestations of Guarded Commands / 3.8:
Condition Synchronization in AI / 3.9:
Guarded Definite Clauses / 3.10:
Simulation of Parallelism by Interleaving / 3.11:
Indeterminacy / 3.12:
The Premature Binding Problem Revisited / 3.13:
Decision Tree Compilation / 3.14:
A Brief History of Guarded Definite Clauses / 3.15:
Event Driven Condition Synchronization / Chapter 4:
Streams for Free / 4.1:
A Picture is Worth a Thousand Words / 4.2:
Dataflow Computation / 4.3:
Dataflow Design / 4.4:
Dataflow Programming / 4.5:
Message Passing / 4.6:
Eager and Lazy Produces / 4.7:
The Client-Server Paradigm / 4.8:
Self-Balancing Merge / 4.9:
Synchronization / 4.10:
Readers and Writers / 4.11:
The Dining Philosophers / 4.12:
The Brock-Ackerman Anomaly / 4.13:
Conditional Semantics / 4.14:
Open Worlds and Abduction / 4.15:
Implementation Issues / 4.16:
Actors and Agents / Chapter 5:
The Actor Model / 5.1:
Haggling Protocols / 5.2:
Consensus Protocols / 5.3:
Market Forces / 5.4:
Poker Faced / 5.5:
Virtual Neural Networks / 5.6:
Biological and Artificial Networks / 5.7:
Self-Replicating Neural Networks / 5.8:
Neuron Specialization / 5.9:
The Teacher Teaches and the Pupil Learns / 5.10:
Neural Simulation / 5.11:
Simulated Life / 5.12:
Life Yet in GDC / 5.13:
Cheek by Jowl / 5.14:
Distributed Implementation / 5.15:
Agent Micro-Architectures / 5.16:
Metalevel Agent Architectures / 5.17:
Actor Reconstruction of GDC / 5.18:
Inheritance Versus Delegation / 5.19:
Concurrent Search / Chapter 6:
A Naive Prolog Solution to the 8-Puzzle / 6.1:
Speculative Parallelism / 6.2:
Non-speculative, Non-parallel Linear Search / 6.3:
A Practical Prolog Solution to the 8-Puzzle / 6.4:
A Generic Search Program / 6.5:
Layered Streams / 6.6:
Eliminating Redundant Search / 6.7:
A Direct GDC Solution Using Priorities / 6.8:
Search Anomalies / 6.9:
Branch-and-Bound Search / 6.10:
Game Tree Search / 6.11:
Minimax and Alpha-Beta Search / 6.12:
Parallel Game Tree Search / 6.13:
Parallel Search and Cooperative Distributed Solving / 6.14:
Distributed Constraint Solving / Chapter 7:
All-Pairs Shortest Path Problem / 7.1:
The Graph Coloring Problem / 7.2:
Minimal Spanning Trees / 7.3:
Conclusion / 7.4:
Meta-interpretation / Chapter 8:
Metalanguage as Language Definition and Metacircular Interpreters / 8.1:
Introspection / 8.2:
Amalgamating Language and Metalanguage in Logic Programming / 8.3:
Control Metalanguages / 8.4:
A Classification of Metalevel Systems / 8.5:
Some GDC Monolingual Interpreters / 8.6:
GDC Bilingual Interpreters / 8.7:
An Interpreter for Linda Extensions to GDC / 8.8:
Parallelization via Concurrent Meta-interpretation / 8.9:
Partial Evaluation / 8.10:
Futamura Projections / 9.1:
Supercompilation / 9.3:
Partial Deduction / 9.4:
Partial Evaluation and Reactive Systems / 9.5:
An Algorithm for Partial Evaluation of GDC Programs / 9.6:
Actor Fusion / 9.7:
Actor Fusion Examples / 9.8:
Partial Evaluation of an Interpreter / 9.9:
Agents and Robots / Chapter 10:
Reactive Agents: Robots and Softbots / 10.1:
A Simple Robot Program / 10.2:
Reaction and Intelligence / 10.3:
Objects, Actors and Agents / 10.4:
Objects in GDC / 10.5:
Agents in GDC / 10.6:
Top-Down and Bottom-Up Multi-agent Systems / 10.7:
GDC as a Coordination Language / 10.8:
Networks and Mobile Agents / 10.9:
References and Bibliography / 10.10:
The Art in Artificial Intelligence / Chapter 1:
Realism / 1.1:
Purism / 1.2:
21.

図書

図書
Peter Widmayer, Gabriele Neyer, Stephan Eidenbenz (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1665
所蔵情報: loading…
目次情報: 続きを見る
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
Car Manufacturing Industries / Thomas Lengauer
Informatica, Scuola, Communita: Uno Sguardo dall' Occhio del Ciclone / N. Santoro
Proximity-Preserving Labeling Schemes and Their Applications / David Peleg
Euler is Standing in Line / D. Hauptmeier ; S. O. Krumke ; J. Rambau ; H.-C. Wirth
Lower Bounds for Approximating Shortest Superstrings over an Alphabet of Size 2 / Sascha Ott
ComplexityClassification of Some Edge Modification Problems / Assaf Natanzon ; Ron Shamir ; Roded Sharan
On Minimum Diameter Spanning Trees under Reload Costs / Hans-Christoph Wirth ; Jan Steffan
Induced Matchings in Regular Graphs and Trees / Michele Zito
Mod-2 Independence and Domination in Graphs / Magnús M. Halldó rsson ; Jan Kratochvil ; Jan Arne Telle
On the Nature of Structure and Its Identification / Ojvind Johansson ; Benno Stein ; Oliver Niggemann
On the Clique-Width of Perfect Graph Classes / Martin Charles Golumbic ; Udi Rotics
An Improved Algorithm for Finding Tree Decompositions of Small Width / Ljubomir Perkovic ; Bruce Reed
Efficient Analysis of Graphs with Small Minimal Separators / K. Skodinis
Generating All the Minimal Separators of a Graph / Anne Berry ; Jean-Paul Bordat ; Olivier Cogis
Two Broadcasting Problems in FaultyHypercubes / Stefan Dobrev ; Imrich Vrto
Routing Permutations in the Hypercube / Olivier Baudon ; Guillaume Fertin ; Ivan Havel
An Optimal Fault-Tolerant Routing for Triconnected Planar Graphs / Koichi Wada ; Yoriyuki Nagata ; Wei Chen
Optimal Irreversible Dynamos in Chordal Rings / Paola Flocchini ; Frédéric Geurts ; Nicola Santoro
Recognizing Bipartite Incident-Graphs of Circulant Digraphs / Johanne Cohen ; Pierre Fraigniaud ; Cyril Gavoille
Optimal Cuts for Powers of the Petersen Graph / Sergei L. Bezrukov ; Sajal K. Das ; Robert Elsässer
Dihamiltonian Decomposition of Regular Graphs with Degree Three / Jung-Heum Park ; Hee-Chul Kim
Box-Rectangular Drawings of Plane Graphs / Md. Saidur Rahman ; Shin-ichi Nakano ; Takao Nishizeki
A Multi-Scale Algorithm for Drawing Graphs Nicely / Ronny Hadany ; David Harel
All Separating Triangles in a Plane Graph Can Be Optimally "Broken" in Polynomial Time / Anna Accornero ; Massimo Ancona ; Sonia Varini
Linear Orderings of Random Geometric Graphs / Josep Diaz ; Mathew D. Penrose ; Jordi Petit ; Maria Serna
Finding Smallest Supertrees Under Minor Containment / Naomi Nishimura ; Prabhakar Ragde ; Dimitrios M. Thilikos
Vertex Cover: Further Observations and Further Improvements / Jianer Chen ; Iyad A. Kanj ; Weijia Jia
On the Hardness of Recognizing Bundles in Time Table Graphs / Annegret Liebers ; Dorothea Wagner ; Karsten Weihe
Optimal Solutions for FrequencyAssignment Problems via Tree Decomposition / Arie M.C.A. Koster ; Stan P.M. van Hoesel ; Antoon W.J. Kolen
Fixed-Parameter Complexity of ?-Labelings / Jiri Fiala ; Ton Kloks
Linear Time Algorithms for Hamiltonian Problems on (Claw,Net)-Free Graphs / Andreas Brandstädt ; Feodor F. Dragan ; Ekkehard Köhler
On Claw-Free Asteroidal Triple-Free Graphs / Harald Hempel ; Dieter Kratsch
Vertex Partitioning of Crown-Free Interval Graphs / Giuseppe Confessore ; Paolo Dell'Olmo ; Stefano Giordani
Author Index / I. Parfenoff ; F. Roussel ; I. Rusu
Invited Lecture: Silver Graphs: Achievements and New Challenges / Hartmut Noltemeier
Invited Lecture: Online Algorithms: A Studyof Graph-Theoretic Concepts / Susanne Albers
Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and
22.

図書

図書
Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 558 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1711 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
On Text Mining Techniques for Personalization / C. C. Aggarwal ; P. S. Yu
A Road to Discovery Science / S. Arikawa
Rough Computing: Foundations and Applications
Calculi of Granules Based on Rough Set Theory: Approximate Distributed Synthesis and Granular Semantics for Computing with Words / L. Polkowski ; A. Skowron
Discovery of Rules about Complications / S. Tsumoto
Rough Genetic Algorithms / P. Lingras ; C. Davies
Classifying Faults in High Voltage Power Systems: A Rough-Fuzzy Neural Computational Approach / L. Han ; J. F. Peters ; S. Ramanna ; R. Zhai
Rough Set Theory and Its Applications
Toward Spatial Reasoning in the Framework of Rough Mereology
An Algorithm for Finding Equivalence Relations from Tables with Non-deterministic Information / H. Sakai ; A. Okuma
On the Extension of Rough Sets under Incomplete Information / J. Stefanowski ; A. Tsoukias
On Rough Relations: An Alternative Formulation / Y. Y. Yao ; T. Wang
Formal Rough Concept Analysis / J. Saquer ; J. S. Deogun
Noise Reduction in Telecommunication Channels Using Rough Sets and Neural Networks / R. Krolikowski ; A. Czyzewski
Rough Set Analysis of Electrostimilation Test Database for the Prediction of Post-Operative Profits in Cochlear Implanted Patients / H. Skarzynski ; B. Kostek
A Rough Set-Based Approach to Text Classification / A. Chouchoulas ; Q. Shen
Modular Rough Fuzzy MLP: Evolutionary Design / P. Mitra ; S. Mitra ; S. K. Pal
Approximate Reducts and Association Rules: Correspondence and Complexity Results / H. S. Nguyen ; D. Slezak
Handling Missing Values in Rough Set Analysis of Multi-Attribute and Multi-Criteria Decision Problems / S. Greco ; B. Matarazzo ; R. Slowinski
The Generic Rough Set Inductive Logic Programming Model and Motifs in Strings / A. Siromoney ; K. Inoue
Rough Problem Settings for Inductive Logic Programming / C. Liu ; N. Zhong
Using Rough Sets with Heuristics to Feature Selection / J. Z. Dong ; S. Ohsuga
The Discretization of Continuous Attributes Based on Compatibility Rough Set and Genetic Algorithm / L. Sun ; W. Gao
Fuzzy Set Theory and Its Applications
Level Cut Conditioning Approach to the Necessity Measure Specification / M. Inuiguchi ; T. Tanino
Four c-regression Methods and Classification Functions / S. Miyamoto ; K. Umayahara ; T. Nemoto
Context-Free Fuzzy Sets in Data Mining Context / T. Y. Lin
Applying Fuzzy Hypothesis Testing to Medical Data / M. Last ; A. Schenker ; A. Kandel
Generating A Macroeconomic Fuzzy Forecasting System Using Evolutionary Search / R. Veliev ; A. Rubinov ; A. Stranieri
Fuzzy Control of Nonlinear Systems Using Nonlinearized Parameterization / H. Han ; H. Kawabata
Control of Chaotic Systems Using Fuzzy Model-Based Regulators / K. Watanabe ; L. Udawatta ; K. Kiguchi ; K. Izumi
Fuzzy Behavior-Based Control for the Obstacle Avoidance of Multi-Link Manipulators / P. Dassanayake
Fuzzy Future Value and Annual Cash Flow Analyses / N. Cetin ; C. Kahraman
Semi-Linear Equation with Fuzzy Parameters / S. Melliani
Non-Classical Logic and Approximate Reasoning
First Order Rough Logic-Revisited / Q. Liu
A Generalized Decision Logic in Interval-set-valued Information Tables
Many-Valued Dynamic Logic for Qualitative Decision Theory / C. J. Liau
Incorporating Fuzzy Set Theory and Matrix Logic in Multi-Layer Logic / H. Yamauchi
Fuzzy Logic as Interfacing Media for Constraint Propagation Based on Theories of Chu Space and Information Flow / K. Sato ; T. Horiuchi ; T. Hiraoka ; H. Kawakami ; O. Katai
Pattern Reasoning: A New Solution for Knowledge Acquisition Problem / H. Tsukimoto
Probabilistic Inference and Bayesian Theorem Based on Logical Implication / Y. Yamauchi ; M. Mukaidono
Reasoning with Neural Logic Networks / R. Yasdi
The Resolution for Rough Propositional Logic with Lower (L) and Upper (H) Approximate Operators
Information Granulation and Granular Computing
Information Granules in Distributed Environment / J. Stepaniuk
Evolving Granules for Classification for Discovering Difference in the Usage of Words / T. Yoshida ; T. Kondo ; S. Nishida
Interval Evaluation by AHP with Rough Sets Concept / K. Sugihara ; Y. Maeda ; H. Tanaka
Interval Density Functions in Conflict Analysis / K. Senoo
Incorporating Personal Databases by Granular Computing / Y. Kakemoto
Data Mining and Knowledge Discovery
Knowledge-Driven Discovery of Operational Definitions / J. M. Żytkow
A Closest Fit Approach to Missing Attribute Values in Preterm Birth Data / J. W. Grzymala-Busse ; W. J. Grzymala-Busse ; L. K. Goodwin
Visualizing Discovered Rule Sets with Visual Graphs Based on Compressed Entropy Density / E. Suzuki ; H. Ishihara
A Distance-Based Clustering and Selection of Association Rules on Numeric Attributes / X. Du ; S. Suzuki ; N. Ishii
Knowledge Discovery for Protein Tertiary Substructures / C. K. Chen ; D. Y. Y. Yun
Integrating Classification and Association Rule Mining: A Concept Lattice Framework / K. Hu ; Y. Lu ; L. Zhou ; C. Shi
Using Rough Genetic and Kohonen's Neural Network for Conceptual Cluster Discovery in Data Mining / H. Kiem ; D. Phuc
Towards Automated Optimal Equity Portfolios Discovery in A Knowledge Sharing Financial Data Warehouse / Y. C. Lu ; H. Cheng
Rule-Evolver: An Evolutionary Approach for Data Mining / C. Lopes ; M. Pacheco ; M. Vellasco ; E. Passos
Machine Learning
Decision Making with Probabilistic Decision Tables / W. Ziarko
The Iterated Version Space Learning / J. J. Zhang ; N. Cercone
An Empirical Study on Rule Quality Measures / A. An
Rules as Attributes in Classifier Construction / M. S. Szczuka
An Algorithm to Find the Optimized Network Structure in An Incremental Learning / J. C. Lee ; W. D. Lee ; M. S. Han
Patterns in Numerical Data: Practical Approximations to Kolmogorov Complexity
Performance Prediction for Classification Systems / F. Sun
Intelligent Agents and Systems
Flexible Optimization and Evolution of Underwater Autonomous Agents / E. Eberbach ; R. Brooks ; S. Phoha
Ontology-Based Multi-Agent Model of An Information Security System / V. I. Gorodetski ; L. J. Popyack ; I. V. Kotenko ; V. A. Skormin
Optimal Multi-Scale Time Series Decomposition for Financial Forecasting Using Wavelet Thresholding Techniques / T. Shin ; I. Han
Computerized Spelling Recognition of Words Expressed in the Sound Approach / M. Higgins
An Adaptive Handwriting Recognition System / G. Qian
Author Index
Invited Talks
Decision Rules, Bayes' Rule and Rough Sets / Z. Pawlak
A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions / L. A. Zadeh
23.

図書

図書
Kwok Yan Lam, Eiji Okamoto, Chaoping Xing (eds.)
出版情報: Berlin : Springer, c1999  xi, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1716
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
On the Lai-Massey Scheme / S. Vaudenay
On Cryptographically Secure Vectorial Boolean Functions / T. Satoh ; T. Iwata ; K. Kurosawa
Analysis
Equivalent Keys of HPC / C. D'Halluin ; G. Bijnens ; B. Preneel ; V. Rijmen
Cryptanalysis of Five Rounds of CRYPTON Using Impossible Differentials / H. Seki ; T. Kaneko
Cryptanalysis of Two Cryptosystems Based on Group Actions / S. R. Blackburn ; S. D. Galbraith
Probabilistic Higher Order Differential Attack and Higher Order Bent Functions
Elliptic Curve Cryptosystems
Fast Algorithms for Elliptic Curve Cryptosystems over Binary Finite Field / Y. F. Han ; P.-C. Leong ; P.-C. Tan ; J. Zhang
Optimizing the Menezes-Okamoto-Vanstone (MOV) Algorithm for Non-supersingular Elliptic Curves / J. Shikata ; Y. Zheng ; J. Suzuki ; H. Imai
Speeding up the Discrete Log Computation on Curves with Automorphisms / I. Duursma ; P. Gaudry ; F. Morain
ECC: Do We Need to Count? / J.-S. Coron ; H. Handschuh ; D. Naccache
Elliptic Scalar Multiplication Using Point Halving / E. W. Knudsen
Public Key Cryptosystems
On the Design of RSA with Short Secret Exponent / H.-M. Sun ; W.-C. Yang ; C.-S. Laih
Efficient Public-Key Cryptosystems Provably Secure Against Active Adversaries / P. Paillier ; D. Pointcheval
Adaptively-Secure Optimal-Resilience Proactive RSA / Y. Frankel ; P. MacKenzie ; M. Yung
Integers and Computation
Factorization of RSA-140 Using the Number Field Sieve / S. Cavallar ; B. Dodson ; A. Lenstra ; P. Leyland ; W. Lioen ; P. L. Montgomery ; B. Murphy ; H. te Riele ; P. Zimmermann
How to Prove that a Committed Number Is Prime / T. V. Le ; K. Q. Nguyen ; V. Varadharajan
Reducing Logarithms in Totally Non-maximal Imaginary Quadratic Orders to Logarithms in Finite Fields / D. Huhnlein ; T. Takagi
General Adversaries in Unconditional Multi-party Computation / M. Fitzi ; M. Hirt ; U. Maurer
Network Security
Approximation Hardness and Secure Communication in Broadcast Channels / Y. Desmedt ; Y. Wang
Mix-Networks on Permutation Networks / M. Abe
Secure Communication in an Unknown Network Using Certificates / M. Burmester
Random Number
Linear Complexity versus Pseudorandomness: On Beth and Dai's Result
A Class of Explicit Perfect Multi-sequences / C. P. Xing ; K. Y. Lam ; Z. H. Wei
Cryptanalysis of LFSR-Encrypted Codes with Unknown Combining Function / S. Palit ; B. K. Roy
Key Management
Doing More with Fewer Bits / A. E. Brouwer ; R. Pellikaan ; E. R. Verheul
A Quick Group Key Distribution Scheme with "Entity Revocation" / J. Anzai ; N. Matsuzaki ; T. Matsumoto
An Efficient Hierachical Identity-Based Key-Sharing Method Resistant Against Collusion-Attacks / G. Hanaoka ; T. Nishioka
Periodical Multi-secret Threshold Cryptosystems / M. Numao
Authentication
A Signature Scheme with Message Recovery as Secure as Discrete Logarithm / T. Okamoto
Broadcast Authentication in Group Communication / Y. J. Wang ; R. Safavi-Naini ; H. X. Wang
Author Index
Invited Talk
Modulus Search for Elliptic Curve Cryptosystems / K. Koyama ; Y. Tsuruoka ; N. Kunihiro
Asymmetric Key Cryptosystems
24.

図書

図書
Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin : Springer, c1999  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1717
所蔵情報: loading…
25.

図書

図書
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
26.

図書

図書
Vijay Varadharajan, Yi Mu (eds.)
出版情報: Berlin : Springer, c1999  xi, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1726
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
International Cryptography / Doug McGowan
Cryptanalysis
Reaction attacks against several public key cryptosystems / C. Hall ; I. Goldberg ; B. Schneier
Cryptanalysis of some AES candidate algorithms / W. Wu ; B. Li ; D. Feng ; S. Qing
Language Based Approach to Security
Issues in the design of a language for role based access control / M. Hitchens ; V. Varadharajan
Extending Erlang for safe mobile code execution / L. Brown ; D. Sahlin
Electronic Commerce and Secret Sharing
Detachable electronic coins / C. Pavlovski ; C. Boyd ; E. Foo
Linear secret sharing with divisible shares / J. Pieprzyk
Efficient publicly verifiable secret sharing schemes with fast or delayed recovery / F. Boudot ; J. Traore
Digital Signatures
Zero-knowledge proofs of possession of ElGamal-like digital signatures and its applications / K. Q. Nguyen ; F. Bao ; Y. Mu
Signature scheme for controlled environments / K. Viswanathan ; E. Dawson
On the cryptographic value of the Qth root problem / C. L. Beaver ; P. S. Gemmell ; A. M. Johnston ; W. Neumann
Protecting Critical Information Systems / Sushil Jajodia
Security Protocols
Delegation chains secure up to constant length / M. Abe ; T. Okamoto
Optimal construction of unconditionally secured ID-based key sharing scheme for large-scale networks / G. Hanaoka ; T. Nishioka ; Y. Zheng ; H. Imai
Enhancing the resistance of a provably secure key agreement protocol to a denial-of-service attack / S. Hirose ; K. Matsuura
An extended logic for analyzing timed-release public-key protocols / M. Kudo ; A. Mathuria
Applications
Bringing together X.509 and EDIFACT public key infrastructures: The DEDICA project / M. Rubia ; J. C. Cruellas ; M. Medina
User identification system based on biometrics for keystroke / K. Omote ; E. Okamoto
Boundary conditions that influence decisions about log file formats in multi-application smart cards / C. Markantonakis
Sending message into a definite future / W. Mao
Cryptography
Efficient accumulators without trapdoor / T. Sander
Evolutionary heuristics for finding cryptographically strong S-Boxes / W. Millan ; L. Burnett ; G. Garter ; A. Clark
Incremental authentication of tree-structured documents / P. Ekdahl ; B. Smeets
Complexity and Security Functions
Plateaued Functions / X.-M. Zhang
On the linear complexity of the Naor-Reingold pseudo-random function / F. Griffin ; I. E. Shparlinski
On the channel capacity of narrow-band subliminal channels / K. Kobara
Author Index
Keynote Speech
International Cryptography / Doug McGowan
Cryptanalysis
27.

図書

図書
Peter P. Chen ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xi, 387 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1727
所蔵情報: loading…
目次情報: 続きを見る
First International Workshop on Evolution and Change in Data Management (ECDM'99)
Introduction
Handling Evolving Data Through the Use of a Description Driven Systems Architecture / F. Estrella ; Z. Kovacs ; J.-M. Le Goff ; R. McClatchey ; M. Zsenei
Evolution of Schema and Individuals of Configurable Products / Timo Männistö ; Reijo Sulonen
Evolution in Object Databases
Updates and Application Migration Support in an ODMG Temporal Extension / Marlon Dumas ; Marie-Christine Fauvet ; Pierre-Claude Scholl
ODMG Language Extensions for Generalized Schema Versioning Support / Fabio Grandi ; Federica Mandreoli
Transposed Storage of an Object Database to Reduce the Cost of Schema Changes / Lina Al-Jadir ; Michel Léonard
Constraining Change
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating / Enric Mayol ; Ernest Teniente
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus / Carlos A. Mareco ; Leopoldo Bertossi
Schema Versioning for Archives in Database Systems / Ralf Schaarschmidt ; Jens Lufter
Conceptual Modeling of Change
Modeling Cyclic Change / Kathleen Hornsby ; Max J. Egenhofer ; Patrick Hayes
On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model / Heidi Gregersen ; Christian S. Jensen
Semantic Change Patterns in the Conceptual Schema / L. Wedemeijer
International Workshop on Reverse Engineering in Information Systems (REIS'99)
Methodologies for Reverse Engineering
The BRIDGE: A Toolkit Approach to Reverse Engineering System Metadata in Support of Migration to Enterprise Software / Juanita Walton Billings ; Lynda Hodgson ; Peter Aiken
Data Structure Extraction in Database Reverse Engineering / J. Henrard ; J.-L. Hainaut ; J.-M. Hick ; D. Roland ; V. Englebert
Documenting Legacy Relational Databases / Reda Alhajj
Relational Database Reverse Engineering: Elicitation of Generalization Hierarchies / Jacky Akoka ; Isabelle Comyn-Wattiau ; Nadira Lammari
Systems Migration
A Tool to Reengineer Legacy Systems to Object-Oriented Systems / Hernán Cobo ; Virginia Mauco ; Maria Romero ; Carlota Rodríguez
CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems / Paulo Pinheiro da Silva ; Alberto H. F. Laender ; Rodolfo S. F. Resende ; Paulo B. Golgher
Reuse of Database Design Decisions / Meike Klettke
International Workshop on the World Wide Web and Conceptual Modeling (WWWCM'99)
Modeling Navigation and Interaction
Modeling Interactive Web Sources for Information Mediation / Bertram Ludäscher ; Amarnath Gupta
Web Application Models Are More than Conceptual Models / Gustavo Rossi ; Daniel Schwabe ; Fernando Lyardet
E/R Based Scenario Modeling for Rapid Prototyping of Web Information Services / Thomas Feyer ; Bernhard Thalheim
Directions in Web Modeling
Models for Superimposed Information / Lois Delcambre ; David Maier
Formalizing the Specification of Web Applications / D.M. Germán ; D.D. Cowan
"Modeling-by-Patterns" of Web Applications / Franca Garzotto ; Paolo Paolini ; Davide Bolchini ; Sara Valenti
Modeling Web Information
A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web / Wolfgang May ; Rainer Himmeröder ; Georg Lausen ; BertramLudäscher
Semantically Accessing Documents Using Conceptual Model Descriptions / Terje Brasethvik ; Jon Atle Gulla
Knowledge Discovery for Automatic Query Expansion on the World Wide Web / Mathias Géry ; M. Hatem Haddad
Modeling Web Applications
KnowCat: A Web Application for Knowledge Organization / Xavier Alamán ; Ruth Cobos
Meta-modeling for Web-Based Teachware Management / Christian Süß ; Burkhard Freitag ; Peter Brössler
Data Warehouse Design for E-Commerce Environments / Il-Yeol Song ; Kelly LeVan-Shultz
Author Index
First International Workshop on Evolution and Change in Data Management (ECDM'99)
Introduction
Handling Evolving Data Through the Use of a Description Driven Systems Architecture / F. Estrella ; Z. Kovacs ; J.-M. Le Goff ; R. McClatchey ; M. Zsenei
28.

図書

図書
Jacky Akoka ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xiv, 540 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1728
所蔵情報: loading…
目次情報: 続きを見る
Supporting Schema Evolution / Session 1:
Three Levels of Reuse for Supporting the Evolution of Database Schemas / D. Castelli
A Unified Framework for Supporting Dynamic Schema Evolution in Object Databases / B. Benatallah
An Incremental and Semi-automatic Method Inheritance Graph Hierarchy Construction / M.M. Gammoudi ; I. Nafkha ; Z. Abdelouahab
Temporal Database Design / Session 2:
Developing an Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities / S.S.-M. Chan ; Q. Li ; China
Entity Evolution in IsA Hierarchies / A. Olivé ; D. Costal ; M.-R. Sancho
Temporal ER Modeling with Description Logics / A. Artale ; E. Franconi
Schema Transformation / Session 3:
Automatic Migration and Wrapping of Database Applications - A Schema Transformation Approach / P. McBrien ; A. Poulovassilis
A Methodology for Clustering Entity Relationship Models - A Human Information Processing Approach / D.L. Moody ; A. Flitman
Designing Good Semi-structured Databases / S.Y. Lee ; M.L. Lee ; T.W. Ling ; L.A. Kalinichenko
Views and Conceptual Modeling / Session 4:
Building Views over Semistructured Data Sources / S. Castano ; V. De Antonellis
Modeling and Maintaining Multi-view Data Warehouses / I. Stanoi ; D. Agrawal ; A. El Abbadi
Object Views through Search Views of Web Datasources / Z. Lacroix
Reuse in Conceptual Modeling / Session 5:
Understanding and Modelling Business Processes with DEMO / J. L. G. Dietz
A Methodology for Building a Repository of Object-Oriented Design Fragments / T.-D. Han ; S. Purao ; V.C. Storey
An Algorithm to Extract Is_A Inheritance Hierarchies from a Relational Database / N. Lammari
Business Process Modeling and Workflows / Session 6:
DOTS: A Generic Infrastructure for Decision-Oriented Collaborative Task Support / J. Lonchamp
Dockets: A Model for Adding Value to Content / J. W. Schmidt ; H.-W. Sehring
Workflow Specification in TRAMs / M. Kradolfer ; A. Geppert ; K.R. Dittrich
Integrating Application Models / Session 7:
From CASE to CARE (Computer-Aided Requirements Engineering) / O. Pastor ; J.H. Canós ; I. Ramos
Solving the Problem of Semantic Heterogeneity in Defining Mediator Update Translators / V. M. P. Vidal ; B.F. Loscio
A Method for Requirements Elicitation and Formal Specification / M. Heisel ; J. Souquières
Data Warehouse Design / Session 8:
Dealing with Semantic Heterogeneity During Data Integration / Z. Kedad ; E. Métais
Detecting Redundancy in Data Warehouse Evolution / D. Theodoratos
Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects / J. Lewerenz ; K.-D. Schewe ; B. Thalheim
Modeling Concepts / Session 9:
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas / M. Balaban ; P. Shoval
A Taxonomy of Recursive Relationships and Their Structural Validity in ER Modeling / J. Dullea ; I.-Y. Song
Extending Functional Dependencies in Indefinite Sequence Relations / W. Ng
Schema Integration / Session 10:
View Integration of Object Life-Cycles in Object-Oriented Design / G. Preuner ; S. Conrad
Towards an Automatic Integration of Statecharts / H. Frank ; J. Eder
Design Support for Database Federations / K. Schwartz ; I. Schmitt ; C. Türker ; M. Höding ; E. Hildebrandt ; S. Balko ; G. Saake
Advanced Conceptual Modeling / Session 11:
Operational Characterization of Genre in Literary and Real-Life Domains / A.L. Furtado ; A. E. M. Ciarlini
Contextualization as an Abstraction Mechanism for Conceptual Modelling / M. Theodorakis ; A. Analyti ; P. Constantopoulos ; N. Spyratos
Architectures for Evaluating the Quality of Information Models - A Meta and an Object Level Comparison / R. Schuette
Invited Papers
XML-based Components for Federating Multiple Heterogeneous Data Sources / G. Gardarin ; F. Sha ; T.D. Ngoc
A Process-Integrated Conceptual Design Environment for Chemical Engineering / M. Jarke ; T. List ; K. Weidenhaupt
ER Model, XML and the Web / P.P.S. Chen
Author Index
Supporting Schema Evolution / Session 1:
Three Levels of Reuse for Supporting the Evolution of Database Schemas / D. Castelli
A Unified Framework for Supporting Dynamic Schema Evolution in Object Databases / B. Benatallah
29.

図書

図書
Masahiro Mambo, Yuliang Zheng (eds.)
出版情報: Berlin : Springer, c1999  ix, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1729
所蔵情報: loading…
目次情報: 続きを見る
Electronic Money
Spending Programs: A Tool for Flexible Micropayments / Josep Domingo-Ferrer ; Jordi Herrera-Joancomarti
Money Conservation via Atomicity in Fair Off-Line E-Cash / Shouhuai Xu ; Moti Yung ; Gendu Zhang ; Hong Zhu
Engineering an eCash System / Tim Ebringer ; Peter Thorne
Electronic Payment and Unlinkability
Unlinkable Electronic Coupon Protocol with Anonymity Control / Toru Nakanishi ; Nobuaki Haruna ; Yuji Sugiyama
On the Security of the Lee-Chang Group Signature Scheme and Its Derivatives / Marc Joye ; Narn-Yih Lee ; Tzonelih Hwang
Secure Software Components, Mobile Agents, and Authentication
Security Properties of Software Components / Khaled Khan ; Jun Han ; Yuliang Zheng
Methods for Protecting a Mobile Agent's Route / Dirk Westhoff ; Markus Schneider ; Claus Unger ; Firoz Kaderali
Non-interactive Cryptosystem for Entity Authentication / Hyung-Woo Lee ; Jung-Eun Kim ; Tai-Yun Kim
Network Security
Implementation of Virtual Private Networks at the Transport Layer / Jorge Davila ; Javier Lopez ; Rene Peralta
Performance Evaluation of Certificate Revocation Using k-Valued Hash Tree / Hiroaki Kikuchi ; Kensuke Abe ; Shohachiro Nakanishi
Active Rebooting Method for Proactivized System: How to Enhance the Security against Latent Virus Attacks / Yuji Watanabe ; Hideki Imai
Digital Watermarking
Highly Robust Image Watermarking Using Complementary Modulations / Chun-Shien Lu ; Hong-Yuan Mark Liao ; Shih-Kun Huang ; Chwen-Jye Sze
Region-Based Watermarking for Images / Gareth Brisbane ; Rei Safavi-Naini ; Philip Ogunbona
Digital Watermarking Robust Against JPEG Compression / Hye-Joo Lee ; Ji-Hwan Park
Protection of Software and Data
Fingerprints for Copyright Software Protection / Josef Pieprzyk
A Secrecy Scheme for MPEG Video Data Using the Joint of Compression and Encryption / Sang Uk Shin ; Kyeong Seop Sim ; Kyung Hyune Rhee
Electronic Money, Key Recovery, and Electronic Voting
On Anonymous Electronic Cash and Crime / Tomas Sander ; Amnon Ta-Shma
On the Difficulty of Key Recovery Systems / Seungjoo Kim ; Insoo Lee ; Masahiro Mambo ; Sungjun Park
An Improvement on a Practical Secret Voting Scheme / Miyako Ohkubo ; Fumiaki Miura ; Masayuki Abe ; Atsushi Fujioka ; Tatsuaki Okamoto
Digital Signatures
Undeniable Confirmer Signature / Khanh Nguyen ; Yi Mu ; Vijay Varadharajan
Extended Proxy Signatures for Smart Cards / Takeshi Okamoto ; Mitsuru Tada ; Eiji Okamoto
A New Digital Signature Scheme on ID-Based Key-Sharing Infrastructures / Tsuyoshi Nishioka ; Goichiro Hanaoka
Cryptanalysis of Two Group Signature Schemes
Author Index
Electronic Money
Spending Programs: A Tool for Flexible Micropayments / Josep Domingo-Ferrer ; Jordi Herrera-Joancomarti
Money Conservation via Atomicity in Fair Off-Line E-Cash / Shouhuai Xu ; Moti Yung ; Gendu Zhang ; Hong Zhu
30.

図書

図書
Hermann Hellwagner, Alexander Reinefeld (eds.)
出版情報: Berlin : Springer, c1999  xxi, 490 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1734
所蔵情報: loading…
目次情報: 続きを見る
SCI and Competitive Interconnects for Cluster Computing / Part I:
The SCI Standard and Applications of SCI / Hermann Hellwagner1:
Introduction / 1.1:
SCI Overview / 1.2:
Background / 1.2.1:
Goals / 1.2.2:
Concepts / 1.2.3:
Discussion / 1.2.4:
The SCI Standard and Some Extensions / 1.3:
Logical Layer / 1.3.1:
Cache Coherence Layer / 1.3.2:
Extensions / 1.3.3:
Applications of SCI / 1.4:
System Area Network for Clusters / 1.4.1:
Memory Interconnect for Cache-Coherent Multiprocessors / 1.4.2:
I/O Subsystem Interconnect / 1.4.3:
Large-Scale Data Acquisition System / 1.4.4:
Related Communication Networks and Concepts / 1.5:
Concluding Remarks / 1.6:
A Comparison of Three Gigabit Technologies: SCI, Myrinet and SGI/Cray T3D / Christian Kurmann ; Thomas Stricker2:
Levels of Comparison / 2.1:
Direct Deposit / 2.2.1:
Message Passing (MPI/PVM) / 2.2.2:
Protocol Emulation (TCP/IP) / 2.2.3:
Gigabit Network Technologies / 2.3:
The Intel 80686 Hardware Platform / 2.3.1:
Myricom Myrinet Technology / 2.3.2:
Dolphin PCI-SCI Technology / 2.3.3:
The SGI/Cray T3D - A Reference Point / 2.3.4:
ATM: QoS - But Still Short of a Gigabit/s / 2.3.5:
Gigabit Ethernet - An Outlook / 2.3.6:
Transfer Modes / 2.4:
Overview / 2.4.1:
"Native" and "Alternate" Transfer Modes in the Three Architectures / 2.4.2:
Performance Evaluation / 2.5:
Performance of Local Memory Copy / 2.5.1:
Performance of Direct Transfers to Remote Memory / 2.5.2:
Performance of MPI/PVM Transfers / 2.5.3:
Performance of TCP/IP Transfers / 2.5.4:
Discussion and Comparison / 2.5.5:
Summary / 2.6:
SCI Hardware / Part II:
Dolphin SCI Adapter Cards / Marius Christian Liaaen ; Hugo Kohmann3:
Overview of the Adapter Cards / 3.1:
Operating Modes of the SCI Cards / 3.3:
SCI Requester / 3.4:
Address Mapping / 3.4.1:
SCI Transaction Handling / 3.4.2:
SCI Packet Requester / 3.4.3:
SCI Responder / 3.5:
Mailbox / 3.5.1:
Access Protection / 3.5.2:
Atomic Access / 3.5.3:
Host Bridge Capabilities / 3.5.4:
DMA Transfers / 3.6:
DMA Transfers on the SBus Card / 3.6.1:
DMA Transfers on the PCI Card / 3.6.2:
Interrupter / 3.7:
Concurrency Issues / 3.8:
Write Assembly / 3.8.1:
Efficient Store Barrier / 3.8.2:
Performance / 3.9:
Applications and Topologies / 3.10:
SAN Interface Adapter / 3.10.1:
Remote I/O Connection and Data Acquisition / 3.10.2:
Switches and Topologies / 3.10.3:
Cluster Software / 3.11:
The TUM PCI/SCI Adapter / Georg Acher ; Wolfgang Karl ; Markus Leberecht4:
The PCI/SCI Adapter Architecture / 4.1:
SCI Packet Encoding and Decoding / 4.3:
Overview of Packet Processing / 4.3.1:
Choosing the Technology / 4.3.2:
Internal Structure of the FPGA / 4.3.3:
Structure of the Packet Manag er as a Microcode Sequencer / 4.3.4:
Microcode Examples / 4.3.5:
Benefits of the Micro Sequencer / 4.3.6:
The SCI Unit / 4.4:
Preliminary Results for the PCI/SCI Adapter / 4.5:
Related Work / 4.6:
Conclusion / 4.7:
Interconnection Networks with SCI / Part III:
Low-Level SCI Protocols and Their Application to Flexible Switches / Andreas C. Döring ; Wolfgang Obelöer ; Gunther Lustig ; Erik Maehle5:
Data Format of SCI Packets / 5.1:
Flow Control / 5.3:
Flow Control in Rings / 5.3.1:
Packet Sequence in SCI / 5.3.2:
Determination of State Transitions / 5.3.3:
Bandwidth Multiplexing / 5.4:
Bandwidth Management in One Ring / 5.4.1:
Idle Symbols / 5.4.2:
Time-Out Determination / 5.4.3:
Network Interface / 5.5:
Requirements / 5.5.1:
Products / 5.5.2:
Routers / 5.6:
Products and Challenges / 5.6.1:
Flexible Router / 5.6.3:
Strip-off Decision / 5.6.4:
Routing Decision and Topology / 5.6.5:
Rule-Based Routing / 5.7:
Conclusion and Outlook / 5.8:
SCI Rings, Switches, and Networks for Data Acquisition Systems / Harald Richter ; Richard Kleber ; Matthias Ohlenroth6:
SCI-based Data Acquisition Systems / 6.1:
SCINET Test Beds / 6.3:
Measurement Results / 6.4:
SCI Switches / 6.5:
Efficient Use of SCI Switches / 6.6:
Multistage SCI Networks / 6.7:
Simulation Results / 6.8:
Summary and Conclusions / 6.9:
Scalability of SCI Ringlets / Geir Horn7:
Do SCI Ringlets Scale in Number of Nodes? / 7.1:
Ringlet Bandwidth Model / 7.2:
Transaction Formats / 7.2.1:
Packet Generation / 7.2.2:
Address Distribution / 7.2.3:
Locality / 7.2.4:
Bypass Rate / 7.2.5:
Echo Packet Rate / 7.2.6:
Output Link Utilization Factor / 7.2.7:
Scalability Evaluation / 7.3:
Common Assumptions / 7.3.1:
Uniform Ringlet Traffic / 7.3.2:
Non-uniform Ringlet Traffic / 7.3.3:
Changing Packet Lengths / 7.3.4:
Affordable Scalability Using Multi-Cubes / HÃ¥kon Bugge ; Knut Omang7.4:
Interconnect Overview / 8.1:
Methodology / 8.3:
Analysis / 8.4:
"Hot-Link" Analysis / 8.4.1:
"Hot-B-Link" Analysis / 8.4.2:
Results / 8.5:
Conclusions / 8.6:
Device Driver Software and Low-Level APIs / Part IV:
Interfacing SCI Device Drivers to Linux / Roger Butenuth ; Hans-Ulrich Heiss9:
Layers of Functionality / 9.1:
Address Spaces / 9.2.1:
Levels of Hardware Abstraction / 9.2.2:
Resource Management / 9.2.3:
Virtual Mapping / 9.2.4:
Robustness / 9.2.5:
Why Linux? / 9.3:
Interfaces of the Driver / 9.4:
Hardware / 9.4.1:
Linux / 9.4.2:
User Processes / 9.4.3:
SCI Drivers on Other Nodes / 9.4.4:
SCI Physical Layer API / Volker Lindenstruth ; David B. Gustavson9.5:
Scope of the Standard / 10.1:
SCI Physical Layer API Architecture and Features / 10.2:
Exception Handling / 10.2.1:
Endianness / 10.2.2:
Supported Data Types / 10.3:
Miscellaneous Procedures / 10.4:
Address Translation Model / 10.5:
Global Object Identifier / 10.5.1:
SCI Global Address Resolution / 10.5.2:
Shared Memory Transactions / 10.6:
Packet Transactions / 10.7:
Block Transactions / 10.8:
Message Passing Transactions / 10.9:
Cache Transactions / 10.10:
Message Passing Libraries / 10.11:
SCI Sockets Library / Josef Weidendorfer11:
Rationale / 11.1:
Features and Design / 11.1.2:
Features / 11.2.1:
Components / 11.2.2:
Communication via the SSLib / 11.2.3:
Connection Setup / 11.2.4:
Handling Special System Calls / 11.2.5:
Other Calls Intercepted and Handled by the SSLib / 11.2.6:
Out of Band Data / 11.2.7:
Implementation Aspects / 11.3:
Communication Among Components / 11.3.1:
SSLib Layers / 11.3.2:
Choice of Most Efficient Communication Mechanism / 11.3.3:
SSLib Implementations / 11.3.4:
Control Transfers / 11.3.5:
Functional Tests and Performance / 11.4:
TCP/IP over SCI under Linux / Hüseyin Taskin11.5:
SCIP Structure / 12.1:
Packet Driver Interface / 12.2.1:
Hardware Address Resolution / 12.2.2:
Other Implementation Issues / 12.2.3:
Configuration / 12.3:
Latency / 12.3.2:
Throughput / 12.3.3:
PVM for SCI Clusters / Markus Fischer ; Alexander Reinefeld12.4:
Parallel Virtual Machine / 13.1:
PVM Implementations / 13.2.1:
Models for Zero-Memory-Copy Data Transfer / 13.2.2:
SCI Communication Model / 13.3:
PVM-SCI / 13.4:
System Architecture / 13.4.1:
Supporting Multiple Interconnects / 13.4.2:
Reducing Memory Copies / 13.4.3:
Ring Buffer Management / 13.4.4:
Performance Results / 13.4.5:
ScaMPI - Design and Implementation / L.P. Huse ; K. Omang ; H. Bugge ; H. Ry ; A.T. Haugsdal ; E. Rustad13.5:
Scali Systems / 14.1:
The SCI Memory Model / 14.3:
Coordinating Use of Shared Locations / 14.3.1:
Ensuring Safe Data Transport in SCI - Checkpointing / 14.3.2:
Shared Address Space Programming without the Drawbacks / 14.3.3:
ScaMPI Design Goals / 14.4:
ScaMPI Implementation / 14.5:
Fault Tolerance / 14.5.1:
User Friendliness / 14.5.2:
Third Party Software / 14.5.3:
Barrier / 14.6:
All-to-All Communication / 14.6.2:
Shared Memory Programming Models and Runtime Mechanisms / 14.7:
Shared Memory vs Message Passing on SCI: A CaseStudy Using Split-C / Max Ibel ; Michael Schmitt ; Klaus Schauser ; Anurag Acharya15:
Introduction to Split-C / 15.1:
Introduction to Active Messages / 15.1.2:
Message-Passing Implementation / 15.2:
Active Messages on Top of SCI / 15.2.1:
Split-C on Top of Active Messages / 15.2.2:
Shared Memory Implementation / 15.3:
Split-C on Top of SCI / 15.3.1:
Experimental Evaluation / 15.4:
Micro-benchmarks / 15.4.1:
SCI and Competitive Interconnects for Cluster Computing / Part I:
The SCI Standard and Applications of SCI / Hermann Hellwagner1:
Introduction / 1.1:
31.

図書

図書
David A. Forsyth ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  viii, 345 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1681
所蔵情報: loading…
32.

図書

図書
Marc Fossorier ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  xiii, 510 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1719
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Codes on Graphs: A Survey for Algebraists / G. David Forney, Jr.
RA Codes Achieve AWGN Channel Capacity / Hui Jin ; Robert J. McEliece
Monomial Ideals and Planar Graphs / Ezra Miller ; Bernd Sturmfels
A Fast Program Generator of Fast Fourier Transforms / Michael Clausen ; Meinard Müller
On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms / Tadao Kasami
Curves with Many Points and Their Applications / Ian F. Blake
Codes and Iterative Decoding
New Sequences of Linear Time Erasure Codes Approaching the Channel Capacity / M. Amin Shokrollahi
On the Theory of Low-Density Convolutional Codes / Karin Engdahl ; Michael Lentmaier ; Kamil Sh. Zigangirov
Combinatorics I: Arithmetic
On the Distribution of Nonlinear Recursive Congruential Pseudorandom Numbers of Higher Orders / Frances Griffin ; Harald Niederreiter ; Igor E. Shparlinski
A New Representation of Boolean Functions / Claude Carlet ; Philippe Guillot
Combinatorics II: Graphs and Matrices
An Algorithm to Compute a Nearest Point in the Lattice <$>A_n^{\ast}<$> / I. Vaughan ; L. Clarkson
Sequences from Cocycles / Kathy J. Horadam
Block Codes I
On the Second Greedy Weight for Binary Linear Codes / Wende Chen ; Torleiv Kløve
On the Size of Identifying Codes / Uri Blass ; Iiro Honkala ; Simon Litsyn
Algebra I: Rings and Fields
Fast Quantum Fourier Transforms for a Class of Non-abelian Groups / Markus Püschel ; Martin Rötteler ; Thomas Beth
Linear Codes and Rings of Matrices / M. Greferath ; S.E. Schmidt
On <$>{\op Z}_4<$>-Simplex Codes and Their Gray Images / Mahesh C. Bhandari ; Manish K. Gupta ; Arbind K. Lal
Decoding Methods
Some Results on Generalized Concatenation of Block Codes / M. Bossert ; H. Grießer ; J. Maucher ; V. V. Zyablov
Near Optimal Decoding for TCM Using the BIVA and Trellis Shaping / Qi Wang ; Lei Wei ; Rodney A. Kennedy
An Optimality Testing Algorithm for a Decoded Codeword of Binary BlockCodes and Its Computational Complexity / Yuansheng Tang ; Toru Fujiwara
Algebra II
Recursive MDS-Codes and Pseudogeometries / Elena Couselo ; Santos Gonzalez ; Victor Markov ; Alexandr Nechaev
Strength of MISTY1 without FL Function for Higher Order Differential Attack / Hidema Tanaka ; Kazuyuki Hisamatsu ; Toshinobu Kaneko
Code Construction
Quantum Reed-Solomon Codes / Markus Grassl ; Willi Geiselmann
Capacity Bounds for the 3-Dimensional (0,1) Runlength Limited Channel / Zsigmond Nagy ; Kenneth Zeger
Rectangular Codes and Rectangular Algebra / V. Sidorenko ; J. Mancher
Codes and Algebra I: Algebraic Curves
Decoding Hermitian Codes with Sudan's Algorithm / T. Høholdt ; R. Refslund Nielsen
Computing a Basis of <$>\cal {L}<$>(D) on an Affine Algebraic Curve with One Rational Place at Infinity / Ryntaroh Matsnmoto ; Shinji Miura
Cryptography
Critical Noise for Convergence of Iterative Probabilistic Decoding with Belief Propagation in Cryptographic Applications / Marc P. C. Fossorier ; Miodrag J. Mihaljević ; Hideki Imai
An Authentication Scheme over Non-authentic Public Channel in Information-Theoretic Secret-Key Agreement / Shengli Lin ; Ynmin Wang
Codes and Decoding
A Systolic Array Architecture for Fast Decoding of One-Point AG Codesand Scheduling of Parallel Processing on It / Shojiro Sakata ; Masaznmi Knrihara
Convolutional Codes
Computing Weight Distributions of Convolutional Codes via Shift Register Synthesis / Mehul Motani ; Chris Heegard
Properties of Finite Response Input Sequences of Recursive Convolutional Codes / Didier Le Ruyet ; Hong Sun ; Han Vu Thien
Combinatorics III: Designs
Lower Bounds for Group Covering Designs / K.K.P. Chandnka
Characteristic Functions of Relative Difference Sets, Correlated Sequences and Hadamard Matrices / Garry Hnghes
Decoding of Block Codes
Double Circulant Self-Dual Codes Using Finite-Field Wavelet Transforms / F. Fekri ; S. W. McLaughlin ; R.M. Mersereau ; R.W. Schafer
Algebra III: Rings and Fields
Linear Codes and Polylinear Recurrences over Finite Rings and Modules (a Survey) / V.L. Kurakin ; A.S. Kuzmin ; V.T. Markov ; A.V. Mikhalev ; A.A. Nechaev
Calculating Generators for Invariant Fields of Linear Algebraic Groups / Jörn Müller-Quade
Constructing Elements of Large Order in Finite Fields / Joachim von zur Gathen ; Igor Shparlinski
Modulation and Codes
New Lower Bounds on the Periodic Crosscorrelation of QAM Codes with Arbitrary Energy / Serdar Boztaş
Conjectures on the Size of Constellations Constructed from Direct Sums of PSK Kernels / Matthew G. Parker
Codes and Algebra II: Gröbner Bases and AG Codes
A New Criterion for Normal Form Algorithms / B. Mourrain
Discrete Fourier Transform and Gröbner Bases / A. Poli ; M.C.Gennero ; D. Xin
Block Codes II
On the State Complexities of Ternary Codes / Sylvia Encheva ; Gérard Cohen
Binary Optimal Linear Rate 1/2 Codes / Koichi Betsumiya ; T. Aaron Gulliver ; Masaaki Harada
On Binary/Ternary Error-Correcting Codes with Minimum Distance 4 / Patric R.J. Östergård
Algebra IV: Polynomials
The Euclidean Algorithm and Primitive Polynomials over Finite Fields / James W. Bond ; Stefen Hui ; Hank Schmidt
On the Computational Hardness of Testing Square-Freeness of Sparse Polynomials / Marek Karpinski
Mastrovito Multiplier for General Irreducible Polynomials / A. Halbuto&gcaron;ullari ; Ç.K. Koç
Author Index
Invited Talks
Codes on Graphs: A Survey for Algebraists / G. David Forney, Jr.
RA Codes Achieve AWGN Channel Capacity / Hui Jin ; Robert J. McEliece
33.

図書

図書
Luigi Rizzo, Serge Fdida (eds.)
出版情報: Berlin : Springer, c1999  xiii, 338 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1736
所蔵情報: loading…
34.

図書

図書
Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
出版情報: Berlin : Springer, c1999  xiii, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1725
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
Stability of Approximation Algorithms for Hard Optimization Problems / Juraj Hromkovic
Algorithms on Compressed Strings and Arrays / Wojciech Rytter
Core Technologies
WWW Based Collaboration with the BSCW System / Wolfgang Appelt
Middleware and Quality of Service / Christian Bac ; Guy Bernard ; Didier Le Tien ; Olivier Villin
Dynamic Reconfiguration of CORBA-Based Applications / Noemi Rodriguez ; Roberto Ierusalimschy
Fast, Error Correcting Parser Combinators: A Short Tutorial / S. Doaitse Swierstra ; Pablo R. Azero Alcocer
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications / Ghica van Emde Boas
Software and Information Engineering
Databases and the World Wide Web / Paolo Atzeni
Exploiting Formality in Software Engineering / Juan C. Bicarregui
Biomolecular Computing and Programming (Extended Abstract) / Max H. Garzon ; Russell J. Deaton ; The Molecular Computing Group
Software Change and Evolution / Vaclav Rajlich
Distributed Simulation with Cellular Automata: Architecture and Applications / P. M. A. Sloot ; J. A. Kaandorp ; A. G. Hoekstra ; B. J. Overeinder
From Data to Knowledge
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors / Alejandro P. Buchmann ; Ming-Chuan Wu
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract) / The Tutoring Research Group
Coherent Concepts, Robust Learning / Dan Roth ; Dmitry Zelenko
Applications
Application of Artificial Neural Networks for Different Engineering Problems / Martin Bogdan ; Wolfgang Rosenstiel
Factor Oracle: A New Structure for Pattern Matching / Cyril Allauzen ; Maxime Crochemore ; Mathieu Raffinot
Principles of Forecasting- A Short Overview / Emil Pelikán
Contributed Papers
UPV-Curry: An Incremental Curry Interpreter / M. Alpuente ; S. Escobar ; S. Lucas
Quantum Finite Multitape Automata / Andris Ambainis ; Richard Bonner ; RusinÜ Freivalds ; Marats Golovkins ; Marek Karpinski
Decomposable Bulk Synchronous Parallel Computers / Martin Beran
Component Change and Version Identification in SOFA / Premysl Brada
Pattern Equations and Equations with Stuttering / Ivana Cerna ; Ondrej Klima ; Jiri Srba
Garbage Collection for Mobile and Replicated Objects / Pablo Galdámez ; Francesc D. Muñoz-Escoí ; José M. Bernabéu-Aubán
Randomized Gossiping by Packets in Faulty Networks / Anna Gambin ; Adam Malinowski
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus / Carlos Herrero ; Javier Oliver
Simulation Problems for One-Counter Machines / Petr Jancar ; Faron Moller ; Zdenek Sawa
On Semantics of Petri Nets over Partial Algebra / Gabriel Juhás
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals / Ivan Kramosil
Quantum Finite One-Counter Automata / Maksim Kravtsev
A Performance Comparison of Mobile Agents and RPC / David Rutter
Cyclic Cutwidth of the Mesh / Heiko Schroder ; Ondrej Sýkora ; Imrich Vrt'o
Some Afterthoughts on Hopfield NetworksJiri Sima / Pekka Orponen ; Teemu Antti-Poika
A Persistent-Set Approach to Abstract State-Space Construction in Verification / Ulrich Ultes-Nitsche
Computational Power of Neuroidal Nets / Jiri Wiedermann
Cellular Automata with Dynamically Reconfigurable Buses / Thomas Worsch
Author Index
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
35.

図書

図書
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
出版情報: Berlin : Springer, c1999  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
Locally Determined Logic Programs / D. Cenzer ; J. B. Remmel ; A. Vanderbilt
Annotated Revision Programs / V. Marek ; I. Pivkina ; M. Truszczynski
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning / J. Sefranek
An Argumentation Framework for Reasoning about Actions and Changes / A. Kakas ; R. Miller ; F. Toni
Representing Transition Systems by Logic Programs / V. Lifschitz ; H. Turner
Transformations of Logic Programs Related to Causality and Planning / E. Erdem
From Causal Theories to Logic Programs (Sometimes) / F. Lin ; K. Wang
Monotone Expansion of Updates in Logical Databases / M. Dekhtyar ; A. Dikovsky ; S. Dudakov ; N. Spyratos
Updating Extended Logic Programs through Abduction / C. Sakama ; K. Inoue
LUPS - A Language for Updating Logic Programs / J. J. Alferes ; L. M. Pereira ; H. Przymusinska ; T. Przymusinski
Pushing Goal Derivation in DLP Computations / W. Faber ; N. Leone ; G. Pfeifer
Linear Tabulated Resolution for Well Founded Semantics / Y. Shen ; L. Yuan ; J. You ; N. Zhou
A Case Study in Using Preference Logic Grammars for Knowledge Representation / B. Cui ; T. Swift ; D. S. Warren
Minimal Founded Semantics for Disjunctive Logic Programming / S. Greco
On the Role of Negation in Choice Logic Programs / M. De Vos ; D. Vermeir
Approximating Reiter's Default Logic / T. Linke ; T. Schaub
Coherent Well-founded Annotated Logic Programs / C. V. Damasio
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / T. Lukasiewicz
Extending Disjunctive Logic Programming by T-norms / C. Mateis
Extending the Stable Model Semantics with More Expressive Rules / P. Simons
Stable Model Semantics for Weight Constraint Rules / I. Niemelä ; T. Soininen
Towards First-Order Nonmonotonic Reasoning / R. Rosati
Comparison of Sceptical NAF-Free Logic Programming Approaches / G. Antoniou ; M.J. Maher ; Billington ; G. Governatori
Characterizations of Classes of Programs by Three-Valued Operators / P. Hitzler ; A. K. Seda
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract) / M. Cadoli
Answer Set Planning (Abstract)
World-Modeling vs. World-Axiomatizing / D. McAllester
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems / L. Morgenstern
Author Index
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
36.

図書

図書
Jan Willers Amtrup
出版情報: Berlin : Springer, c1999  xii, 200 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1735 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Overview
Introduction / 1:
Incremental Natural Language Processing / 1.1:
Incremental Speech Understanding / 1.2:
Incremental Architectures and the Architecture of MILC / 1.3:
Summary / 1.4:
Graph Theory and Natural Language Processing / 2:
General Definitions / 2.1:
The Use of Word Graphs for Natural Language Processing Systems / 2.2:
Evaluation of Word Graphs: Size and Quality Measures / 2.3:
Evaluation of Word Graphs: Quality Measures / 2.4:
Further Operations on Word Graphs / 2.5:
Removing Isolated Silence / 2.5.1:
Removing Consecutive Silence / 2.5.2:
Removing All Silence Edges / 2.5.3:
Merging Mutually Unreachable Vertices / 2.5.4:
Hypergraphs / 2.6:
Formal Definition of Hypergraphs / 2.6.1:
Merging of Hyperedges / 2.6.2:
Combination of Hyperedges / 2.6.3:
Search in Graphs / 2.7:
Unification-Based Formalisms for Translation in Natural Language Processing / 2.8:
Unification-Based Formalisms for Natural Language Processing / 3.1:
Definition of Typed Feature Structures with Appropriateness / 3.1.1:
Type Lattices / 3.1.2:
Feature Structures / 3.1.3:
Functions as Values of Features / 3.1.4:
Unification-Based Machine Translation / 3.2:
Architecture and Implementation of the Formalism / 3.3:
Definition and Implementation of Type Lattices / 3.3.1:
Definition and Implementation of Feature Structures / 3.3.2:
MILC: Structure and Implementation / 3.4:
Layered Charts / 4.1:
Communication Within the Application / 4.2:
Communication Architecture of an Application / 4.2.1:
Channel Models / 4.2.2:
Information Service and Synchronization / 4.2.3:
Termination / 4.2.4:
Overview of the Architecture of MILC / 4.3:
Word Recognition / 4.4:
Idiom Processing / 4.5:
Parsing / 4.6:
Derivation of Verbal Complexes / 4.6.1:
Spontaneous Speech and Word Recognition / 4.6.2:
Structure and Processing Strategies / 4.6.3:
Utterance Integration / 4.7:
Transfer / 4.8:
Chart-Based Transfer / 4.8.1:
The Implementation of Transfer for MILC / 4.8.2:
Generation / 4.9:
Visualization / 4.10:
Extensions / 4.11:
Extension of the Architecture / 4.11.1:
Anytime Translation / 4.11.2:
System Size / 4.12:
Experiments and Results / 4.13:
Translation / 5.1:
Data Material / 5.2.1:
Linguistic Knowledge Sources / 5.2.2:
Experiments and System Parameters / 5.2.3:
Evaluation / 5.2.4:
Comparison With Non-incremental Methods / 5.2.5:
Conclusion and Outlook / 5.4:
Bibliography
Glossary
Index
Overview
Introduction / 1:
Incremental Natural Language Processing / 1.1:
37.

図書

図書
Patrik Fazekas
出版情報: Singapore : World Scientific, c1999  xvi, 777 p. ; 23 cm
シリーズ名: Series in modern condensed matter physics ; vol. 5
所蔵情報: loading…
38.

図書

図書
by Homer Rahnejat
出版情報: Warrendale, Pa. : Society of Automotive Engineers, Inc., 1998  xix, 355 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Didication
About the author
Preface
Vectors and transformations / Chapter 1:
Kinematics and dynamics of particles and rigid bodies / Chapter 2:
Constraints formulation in multi-body systems / Chapter 3:
Multi-body dynamic analysis / Chapter 4:
Multi-body dynamics: solution methodology / Chapter 5:
Engine dynamics / Chapter 6:
Power train dynamics / Chapter 7:
Optimal control of multi-body systems / Chapter 8:
Index
Didication
About the author
Preface
39.

図書

図書
illustrations and text by Peter Ratner
出版情報: New York : John Wiley, c1998  xii, 308 p., [32] p. of plates ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
About the CD-ROM
Beginning Modeling Techniques / Chapter 1:
Modeling Simple Objects with Splines/NURBS
Modeling a Knife
Troubleshooting
Modeling a Spoon
Modeling a Spatula
Modeling a Frying Pan
Modeling a Palette Knife
Modeling Simple Objects with Subdivision Surfaces
Modeling a Hammer
Modeling an Armchair
Intermediate Modeling Techniques / Chapter 2:
Creating a Cartoon Cow with Subdivision Modeling
The Cow Head
The Cow Body
Creating a Cartoon Chicken with Patch Spline/NURBS Modeling
Making the 3-D Template with Box Modeling
Patch Modeling the Chicken
Anatomy of the Human Figure / Chapter 3:
Proportion
The Skeleton
The Skull
The Skeleton of the Torso
The Bones of the Arm
The Bones of the Leg
The Muscles
The Muscles of the Head
The Muscles of the Neck
The Muscles of the Torso
The Muscles of the Arm
The Muscles of the Leg
Advanced Modeling Techniques, Part 1 / Chapter 4:
Patch Modeling the Head with Splines/NURBS
Advantages of Patch Modeling
Rules for Patch Modeling
Preparation for Modeling
Splines/NURBS Patch Modeling Procedure
The Female Head
The Male Head
Subdivision Modeling the Head with Polygons
Advanced Modeling Techniques, Part 2 / Chapter 5:
Modeling the Torso with Splines/NURBS
The Female Torso
The Male Torso
Subdivision Modeling the Torso with Polygons
Helpful Hints for Modeling Details
Completing the Subdivision Torso
Advanced Modeling Techniques, Part 3 / Chapter 6:
Modeling the Arm and Hand with Splines/NURBS
The Female Arm
The Hand
The Male Arm
Modeling the Arm and Hand with Subdivision Surface Polygons
Advanced Modeling Techniques, Part 4 / Chapter 7:
Modeling the Leg with Splines/NURBS
The Female Leg
The Male Leg
Converting a Spline/NURBS Model for Subdivision Surface Rendering
Modeling the Leg with Subdivision Surface Polygons
Advanced Modeling Techniques, Part 5 / Chapter 8:
The Eye
The Eyelashes
The Eyebrows
The Inside of the Mouth
The Teeth
The Gums
The Tongue
The Hair
Helmet Hair / Method 1:
Using a Hair Generator / Method 2:
Hair Generator Settings
Soft-Body Dynamics
Surface Settings
Setting Up the Human Model for Animation / Chapter 9:
Setting Up a Skeleton
Making a Skeleton
Assigning Weight Maps
Adjusting Weight Maps
Setting Up an Inverse Kinematics Skeleton
Setting Up Facial Expressions
Muscle Groups of the Face
Expressing Emotion
Creating Morph Targets for the Face
Cheeks
Eyebrows
Eyes
Jaw
Mouth
Neck
Nose
Speech
Surfacing and Lighting Details / Chapter 10:
Surfacing Details
Various Image-Mapping Methods
Procedural Textures
Surface Factors
Surfacing a Human Character
Texturing the Eyes
The Cornea
The Eyeball
The Iris
The Lens
Texturing the Body
Texturing the Face
UV-Mapping a Face in Sections
UV-Mapping an Entire Face
Using a Texture Guide
Working with a 3-D Paint Program
Lighting the Human Model
Types of Lights
Ambient
Key Light
Fill Light
Rim or Back Light
Kicker Light
Top Light
Special Lights
Bounce Lights
Contact Lights
Gobos or Cucaloris Lights
Fundamentals of Human Animation / Chapter 11:
Some Animation Pointers
Animating in Stages
Dialogue
Dialogue Essentials
Ways of Making Them Talk
Using an Exposure Sheet
Importing Audio into the Animation Program
Importing Video into the Animation Program
Completing the Dialogue
Storyboarding
Rotoscoping
The Graph Editor
Cleaning Up an Animation with the Graph Editor
Animating Within the Graph Editor
Using the Graph Editor for Cycling Actions
Walking
Running
Human Animation Principles / Chapter 12:
The 12 Principles of Animation
Squash and Stretch (Weight and Recoil) / 1.:
Methods for Creating Squash and Stretch
Soft Body Dynamics
Manual Adjustments
Anticipation / 2.:
Staging
Straight-Ahead versus Pose-to-Pose Action / 4.:
Follow-through and Overlapping action / 5.:
Slow In and Slow Out / 6.:
Arcs / 7.:
Secondary Actions / 8.:
Timing / 9.:
Exaggeration / 10.:
Solid Drawing / 11.:
Appeal / 12.:
The Elements of Animation
Pacing and Impact
Action Reaction
Rhythm and Lines of Action / 3.:
Paths of Action
Spatial Relationships
Accents
Cycles
Postures
The Take
Emotions
Balance/Imbalance
Weight, Mass, and Gravity
Conclusion
Lesson Plans
Animation 1 Lesson Plans
Animation 2 Lesson Plans
Animation 3 Lesson Plans
Bibliography
Index
About the Author
Preface
About the CD-ROM
Beginning Modeling Techniques / Chapter 1:
40.

図書

図書
Hideki Imai, Yuliang Zheng (eds.)
出版情報: Berlin : Springer, c1999  ix, 326 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1560
所蔵情報: loading…
目次情報: 続きを見る
A New Type of "Magic Ink" Signatures - Towards Transcript-Irrelevant Anonymity Revocation / Feng Bao ; Robert H. Deng
A New Aspect of Dual Basis for Efficient Field Arithmetic / Chang-Hyi Lee ; Jong-In Lim
On the Security of Random Sources / Jean-Sébastien Coron
Anonymous Fingerprinting Based on Committed Oblivious Transfer / Josep Domingo-Ferrer
How to Enhance the Security of Public-Key Encryption at Minimum Cost / Eiichiro Fujisaki ; Tatsuaki Okamoto
Encrypted Message Authentication by Firewalls / Chandana Gamage ; Jussipekka Leiwo ; Yuliang Zheng
A Relationship between One-Wayness and Correlation Intractability / Satoshi Hada ; Toshiaki Tanaka
Message Recovery Fair Blind Signature / Hyung-Woo Lee ; Tai-Yun Kim
On Quorum Controlled Asymmetric Proxy Re-encryption / Markus Jakobsson
Mini-Cash: A Minimalistic Approach to E-Commerce
Preserving Privacy in Distributed Delegation with Fast Certificates / Pekka Nikander ; Yki Kortesniemi ; Jonna Partanen
Unknown Key-Share Attacks on the Station-to-Station (STS) Protocol / Simon Blake-Wilson ; Alfred Menezes
Toward Fair International Key Escrow - An Attempt by Distributed Trusted Third Agencies with Threshold Cryptography - / Shingo Miyazaki ; Ikuko Kuroda ; Kouichi Sakurai
How to Copyright a Function ? / David Naccache ; Adi Shamir ; Julien P. Stern
On the Security of RSA Screening
The Effectiveness of Lattice Attacks Against Low-Exponent RSA / Christophe Coupé ; Phong Nguyen ; Jacques Stern
A Trapdoor Permutation Equivalent to Factoring / Pascal Paillier
Low-Cost Double-Size Modular Exponentiation or How to Stretch Your Cryptoprocessor
Evaluating Differential Fault Analysis of Unknown Cryptosystems
Removing Interoperability Barriers Between the X.509 and EDIFACT Public Key Infrastructures: The DEDICA Project / Montse Rubia ; Juan Carlos Cruellas ; Manel Medina
Hash Functions and the MAC Using All-or-Nothing Property / Sang Uk Shin ; Kyung Hyune Rhee ; Jae Woo Yoon
Decision Oracles are Equivalent to Matching Oracles / Helena Handschuh ; Yiannis Tsiounis ; Moti Yung
Shared Generation of Random Number with Timestamp: How to Cope with the Leakage of the CA's Secret / Yuji Watanabe ; Hideki Imai
Auto-Recoverable Cryptosystems with Faster Initialization and the Escrow Hierarchy / Adam Young
A Secure Pay-per-View Scheme for Web-Based Video Service / Jianying Zhou ; Kwok-Yan Lam
Author Index
A New Type of "Magic Ink" Signatures - Towards Transcript-Irrelevant Anonymity Revocation / Feng Bao ; Robert H. Deng
A New Aspect of Dual Basis for Efficient Field Arithmetic / Chang-Hyi Lee ; Jong-In Lim
On the Security of Random Sources / Jean-Sébastien Coron
41.

図書

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

図書

図書
Christoph Meinel, Sophie Tison (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiv, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1563
所蔵情報: loading…
43.

図書

図書
Bruce Christianson ... [et al.] (eds.)
出版情報: Berlin : Springer, c1999  viii, 239 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1550
所蔵情報: loading…
目次情報: 続きを見る
Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson
Discussion
External Consistency and the Veri cation of Security Protocols / Simon N. Foley
The Trust Shell Game / Carl Ellison
Overview of the AT&T Labs Trust-Management Project / Joan Feigenbaum
KeyNote: Trust Management for Public-Key Infrastructures / Matt Blaze ; Angelos D. Keromytis
Discussion - Trust Management
Application-Oriented Security Policies and Their Composition / Virgil D. Gligor ; Serban I. Gavrila
Secure Fingerprinting Using Public-Key Cryptography / Hiroshi Yoshiura ; Ryoichi Sasaki ; Kazuo Takaragi
Third Party Certi cation of HTTP Service Access Statistics / Francesco Bergadano ; Pancrazio De Mauro
Delegating Trust / William S. Harbison (Discussion)
Delegation of Responsibility / Bruno Crispo
Abuse of Process / Mark Lomas (Discussion)
A New Concept in Protocols: Veri able Computational Delegation / Peter Landrock
Delegation and Not-So Smart Cards / Bruce Christianson ; James A. Malcolm
Certi cation and Delegation / Michael Roe (Discussion)
Discussion - Di erences Between Academic and Commercial Security / Virgil Gligor ; Mark Lomas ; Raphael Yahalom ; John Warne
Optimistic Trust with Realistic eNvestigators
Insider Fraud / Dieter Gollmann
Panel Session - Future Directions / Stewart Lee ; Roger Needham
Contributor Index
Inductive Analysis of the Internet Protocol TLS / Lawrence C. Paulson
Discussion
External Consistency and the Veri cation of Security Protocols / Simon N. Foley
44.

図書

図書
Sten F. Andler, Jörgen Hansson (eds.)
出版情報: Berlin ; New York : Springer, c1998  viii, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1553
所蔵情報: loading…
目次情報: 続きを見る
Real-Time and Active Databases: A Survey / J. Eriksson
Invited Talks
Design of a Real-Time SQL Engine in the Distributed Environment / D. Chen ; A.K. Mok
BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications / M.L. Kersten ; J.A. Stankovic ; S.H. Son ; J. Liebeherr
Paper Presentations
An Active Real-Time Database Model for Air Traffic Control Systems / K.-J. Lin ; C.-S. Peng ; T. Ng
Performance Issues in Processing Active Real-Time Transactions / Ö. Ulusoy
Scheduling of Triggered Transactions in Distributed Real-Time Active Databases / K.-y. Lam ; G.C.K. Law ; V.C.S. Lee
Buffer Management in Active, Real-Time Database Systems: Concepts and An Algorithm / I.R. Viguier ; A. Datta
Parallel Event Detection in Active Database Systems: The Heart of the Matter / U. Jaeger ; J.K. Obermaier
Toward Duration-Based, Constrained and Dynamic Event Types / C.L. Roncancio
Supporting System-Level Testing of Applications by Active Real-Time Database Systems / J. Mellin
Temporal Indeterminacy in Deductive Databases: An Approach Based on Event Calculus / L. Chittaro ; C. Combi
Panel Sessions
Predictability in Active Real-Time/Temporal Databases
Practical and Industrial Experience in Active Real-Time Databases
Author Index
Real-Time and Active Databases: A Survey / J. Eriksson
Invited Talks
Design of a Real-Time SQL Engine in the Distributed Environment / D. Chen ; A.K. Mok
45.

図書

図書
Ronald C. Harvey
出版情報: New York : Garland Pub., 1998  xiv, 218 p. ; 23 cm
シリーズ名: Garland studies in nineteenth-century American literature ; vol. 8
Garland reference library of the humanities ; vol. 2131
所蔵情報: loading…
46.

図書

図書
Mohamed Daoud, Claudine E. Williams, editors
出版情報: Berlin ; New York : Springer, c1999  xv, 320 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
edited by G. Iadonisi, J. R. Schrieffer and M. L. Chiofalo = a cura di G. Iadonisi, J. R. Schrieffer e M. L. Chiofalo
出版情報: Bologna : Società Italiana di Fisica , Amsterdam : IOS Press , Tokyo : Ohmsha, 1998  xii, 505 p. ; 25 cm
シリーズ名: Rendiconti della Scuola internazionale di fisica "Enrico Fermi" ; course 136
所蔵情報: loading…
48.

図書

図書
Gilles Bertrand, Michel Couprie, Laurent Perroton (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1568
所蔵情報: loading…
49.

図書

図書
Yahiko Kambayashi [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xix, 592 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1552
所蔵情報: loading…
目次情報: 続きを見る
Data Warehousing and Data Mining / Part 1:
Knowledge Discovery / John F. Roddick1.1:
A Fuzzy Attribute-Oriented Induction Method for Knowledge Discovery in Relational Databases / Noureddine Mouaddib ; Guillaume Raschia
Fast Methods with Magic Sampling for Knowledge Discovery in Deductive Databases with Large Deduction Results / Chien-Le Goh ; Masahiko Tsukamoto ; Shojiro Nishio
Data Mining / Roger Hsiang-Li Chiang1.2:
A Heuristic Method for Correlating Attribute Group Pairs in Data Mining / Cecil Chua Eng Huang ; Roger H.L. Chiang ; Ee-Peng Lim
Incremental Meta-Mining from Large Temporal Data Sets / Tamas Abraham
On the Suitability of Genetic-Based Algorithms for Data Mining / Sunil Choenni
Data and Web Warehousing / Wee-Keong Ng1.3:
Data Visualization in a Web Warehouse / Sourav S. Bhowmick ; Sanjay K. Madria
Recent Advances and Research Problems in Data Warehousing / Sunil Samtani ; Mukesh Mohania ; Vijay Kumar ; Yahiko Kambayashi
Web Warehousing: Design and Issues
Multidimensional Databases / 1.4:
Extending the E/R Model for the Multidimensional Paradigm / Carsten Sapia ; Markus Blaschka ; Gabriele Höfling ; Barbara Dinter
Numerical Aspects in the Data Model of Conceptual Information Systems / Gerd Stumme ; Karl Erich Wolff
Nested Data Cubes for OLAP / Stijn Dekeyser ; Bart Kuijpers ; Jan Paredaens ; Jef Wijsen
Panel Discussion
Data Warehousing and Data Mining - Are We Working on the Right Things?
Data Warehouse Design Issues / 1.5:
The Design of an Engineering Data Warehouse Based on Meta-Object Structures / Florida Estrella ; Zsolt Kovacs ; Jean-Marie Le Goff ; Richard McClatchey ; Ian Willers
Two Version Concurrency Control Algorithm with Query Locking for Decision Support / Hoewon Kim ; Seog Park
An Efficient View Maintenance Algorithm for Data Warehousing / Tok Wang Ling ; Ye Liu
Mobile Data Access / Part 2:
Caching / 2.1:
Adaptive Cache Validation for Mobile File Systems / Simon Cuce ; Arkady Zaslavsky
Broadcast Strategies to Maintain Cached Data for Mobile Computing System / Kam-Yiu Lam ; Edward Chan ; Joe Chun-Hung Yuen
Data Dissemination / Hiroki Takakura2.2:
Web Content Delivery to Heterogeneous Mobile Platforms / Martin Gaedke ; Michael Beigl ; Hans- Werner Gellersen ; Christian Segor
Dynamic Data Delivery in Wireless Communication Environments / Qinglong Hu ; Dik Lun Lee ; Wang-Chien Lee
Scalable Invalidation-Based Processing of Queries in Broadcast Push Delivery / Evaggelia Pitoura
Replication / Kam-yiu Lam2.3:
Timestamps to Detect R-W Conflicts in Mobile Computing
Rumor: Mobile Data Access Through Optimistic Peer-to-Peer Replication / Richard Guy ; Peter Reiher ; David Ratner ; Michial Gunter ; Wilkie Ma ; Gerald Popek
A Copy Update Mechanism for a Mobile Information Announcement System - Transmitting Non-storage Type Resources with Redundancy / Shigeaki Tagashira ; Keizo Saisho ; Fumitake Inada ; Akira Fukuda
Towards Optimal Replication for Hierarchical Location Management in Wireless Systems / San-Yih Hwang ; Jeng-Kuen Chiu
Mobile Networks / Stuart Jacobs2.4:
Distributed Control of Mobile ATM Networks Using CORBA / R. Radhakrishna Pillai ; Maitreya Rangnath ; Rahul Agrawal ; Weiguo Wang
New Thoughts on Effects of TCP Slow Start and FEC Coding in WATM Access Networks / Fraser Cameron ; Moshe Zukerman ; Maxim Gitlits
A Centralised Cellular Database to Support Network Management Process / Fabrizio Verroca ; Carlo Eynard ; Giorgio Ghinamo ; Gabriele Gentile ; Riccardo Arizio ; Mauro D'Andria
Mobile Platforms / 2.5:
Security of Current Mobile IP Solutions
An Active Database Framework for Adaptive Mobile Data Access / Shiow-Yang Wu ; Chun-Shun Chang
Design and Implementation of a Mobile Application Support System / Ching-Hong Leung ; Kin-Man Cheung ; Tin-Fook Ngai
Tracking and Monitoring / 2.6:
Proposition of an Identification Service on a Hybrid WLAN with Mobiles Stations / Christian Soutou ; Thierry Val ; Fabrice Peyrard ; Jean-Jacques Mercier
A Dynamic Navigation System Based on User's Geographical Situation / Toshihiko Hamano
Panel Discussion:
Future of Mobile Computing: Convergence of Research and Applications
New Database Technologies for Collaborative Work Support and Spatio-Temporal Data Management / Part 3:
Collaborative Work Support-1 / Hiroshi Arisawa3.1:
A Web Solution to Concurrency Awareness in Shared Data Spaces / Jens Thamm ; Stephan Wilke ; Lutz Wegner
Structured Message Management for Group Interaction / Sozo Inoue ; Mizuho Iwaihara
Collaborative Work Support-2 / 3.2:
Group Activity Database for Groupware Evolution / Hiroyuki Tarumi ; Tetsuya Matsuyama
Supporting Collaborative Work by Process-Based Transaction Model / Tetsuya Furukawa ; Haiyan Xu ; Yihua Shi
A Cooperative Distributed Text Database Management Method Unifying Search and Compression Based on the Burrows-Wheeler Transformation / Kunihiko Sadakane ; Hiroshi Imai
Constructing Structured Document Views (Short paper) / Hiroyuki Kato ; Masatoshi Yoshikawa
Temporal Data Modelling / Stefano Spaccapietra3.3:
Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations / Martin Erwig ; Markus Schneider ; Ralf Hartmut Güting
The Temporal Set-Theory, Tropology, and Their Application in Spatiotemporal Modelling (Short paper) / Agnar Renolen
TimeCube: Efficient Storage, Access and Analysis of Temporal (Historical) Data (Short paper) / Y. Ishii ; T. Ishizaka ; N. Mohan ; J. Feng
Moving Objects and Spatial Indexing / Yutaba Ohsawa3.4:
Proposal of Spatial-Temporal Indexing Methods for Moving Objects / Shogo Nishida ; Hiroshi Nozawa ; Naoki Saiwaki
Spatio-Temporal Data Management for Moving Objects Using the PMD-Tree / Yasuaki Nakamura ; Hiroyuki Dekihara ; Ryo Furukawa
Implementing Sequoia 2000 Benchmark on Shusse-Uo and Its Performance / Botao Wang ; Hiroyuki Horinokuchi ; Susumu Kuroki ; Kunihiko Kaneko ; Akifumi Makinouchi
Spatio-Temporal Databases / 3.5:
A Spatiotemporal Query Processor Based on Simplicial Representation
Implementing Class Library and Index for Managing Spatio-Temporal Data (Short paper) / Toshiyuki Amagasa ; Masayoshi Aritsugi ; Takayuki Tanaka ; Yoshinari Kanamori
A Spatiotemporal Data Management Method Using Inverse Differential Script / Yutaka Ohsawa ; Kyungwol Kim
Video Database Content / 3.6:
Extracting Event Semantics from Video Data Based on Real World Database / Kiril Salev ; Takashi Tomii
Structured Modeling for Video Databases / Eunsook Ryu ; Yonghun Kim ; Mi-Young Lee ; Kyuchul Lee
Applying Unsupervised Fuzzy C-Prototypes Clustering in Motion-Based Segmentation (Short paper) / Supot Nitsuwat ; Jesse S. Jin
Author Index
Data Warehousing and Data Mining / Part 1:
Knowledge Discovery / John F. Roddick1.1:
A Fuzzy Attribute-Oriented Induction Method for Knowledge Discovery in Relational Databases / Noureddine Mouaddib ; Guillaume Raschia
50.

図書

図書
Stefan Jähnichen, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999  x, 299 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1575
所蔵情報: loading…
目次情報: 続きを見る
Compiler Generation
Data Structure Free Compilation / João Saraiva ; Doaitse Swierstra
Debugging Eli-Generated Compilers with Noosa / Anthony M. Sloane
Faster Generalized LR Parsing / John Aycock ; Nigel Horspool
Interprocedural Analysis
Interprocedural Path Profiling / David Melski ; Thomas Reps
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis / Florian Martin
Link-Time Improvement of Scheme Programs / Saumya Debray ; Robert Muth ; Scott Watterson
Code Optimization
Expansion-Based Removal of Semantic Partial Redundancies / Jens Knoop ; Oliver Rüthing ; Bernhard Steffen
Register Pressure Sensitive Redundancy Elimination / Rajiv Gupta ; Rastislav Bodík
Code Optimization by Integer Linear Programming / Daniel Kaestner ; Marc Langenbach
Evaluation of Algorithms for Local Register Allocation / Vincenzo Liberatore ; Martin Farach-Colton ; Ulrich Kremer
Parallelization Techniques
Efficient State-DiagramConstruction Methods for Software Pipelining / Chihong Zhang ; Ramaswamy Govindarajan ; Sean Ryan ; Guang R. Gao
A Comparison of Compiler Tiling Algorithms / Gabriel Rivera ; Chau-Wen Tseng
Implementation Issues of Loop-Level Speculative
Run-Time Parallelization / Lawrence Rauchwerger ; Devang Patel
Compiler Systems
Compilation and Memory Management for ASF+SDF / Mark van den Brand ; Paul Klint ; Pieter Olivier
The Design of the PROMIS Compiler / Hideki Saito ; Nicholas Stavrakos ; Steven Carroll ; Constantine Polychronopoulos ; Alex Nicolau
Program Transformation
Floating Point to Fixed Point Conversion of C Code / Andrea Cilio ; Henk Corporaal
Optimizing Object-Oriented Languages Through Architectural Transformations / Tom Tourwé ; Wolfgang De Meuter
Cache Specific Optimization
Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures / Shai Rubin ; David Bernstein ; Michael Rodeh
Extending Modulo Scheduling with Memory Reference Merging / Benoît Dupont de Dinechin
Tool Demonstrations
TRAPping Modelica with Python / Thilo Ernst
A Programmable ANSI C Code Transformation Engine / Maarten Boekhold ; Ireneusz Karkowski
Tool Support for Language Design and Prototyping with Montages / Matthias Anlauff ; Philipp W. Kutter ; Alfonso Pierantonio
Author Index
Compiler Generation
Data Structure Free Compilation / João Saraiva ; Doaitse Swierstra
Debugging Eli-Generated Compilers with Noosa / Anthony M. Sloane
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼