close
1.

図書
図書
1. Distributed interactive simulation systems applications : 18-19 April 1995, Orlando, Florida
John D. Illgen, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1995  v, 112 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2495
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, October 19-22, 1999, Swiss Federal Institute of Technology (EPF), Lausanne, Switzerland (: soft. ; : case.)
sponsored by IEEE Computer Society Technical Committees on Distributed Processing, LSE-Operating Systems Lab., EPF Lausanne, Switzerland
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society, c1999  xii, 402 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chair
Message from the Program Co-Chairs
Conference Committee
Referees
Reliability of Future Telephone Networks / R. Cooper
Mobile Computing / Session 1：
Information Dissemination in Partitionable Mobile Ad Hoc Networks / G. Karumanchi ; S. Muralidharan ; R. Prakash
Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network / G. Anastasi ; A. Bartoli ; F. Spadoni
Improving Level of Service for Mobile Users using Context-Awareness / P. Couderc ; A. Kermarrec
Distributed Algorithms / Session 2：
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization / K. Schossmaier ; B. Weiss
Real-Time Fault-Tolerant Atomic Broadcast / C. Delporte-Gallet ; H. Fauconnier
A General Framework to Solve Agreement Problems / M. Hurfin ; R. Macedo ; M. Raynal ; F. Tronel
Formal Methods / Session 3：
Formal Hazard Analysis of Hybrid Systems in cTLA / P. Herrmann ; H. Krumm
Safecharts for Specifying and Designing Safety Critical Systems / H. Dammag ; N. Nissanke
Replication Techniques / Session 4：
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive / A. Deplanche ; P. Theaudiere ; Y. Trinquet
View Divergence Control of Replicated Data using Update Delay Estimation / T. Yamashita ; S. Ono
Highly Available Process Support Systems: Implementing Backup Mechanisms / C. Hagen ; G. Alonso
Scalability / Session 5：
Scalable Stability Detection using Logical Hypercube / R. Friedman ; S. Manor ; K. Guo
On Diffusing Updates in a Byzantine Environment / D. Malkhi ; Y. Mansour ; M. Reiter
Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems / R. Golding ; E. Borowsky
Failure Analysis / Session 6：
A Component-based Approach to Reliability Analysis of Distributed Systems / S. Yacoub ; B. Cukic ; H. Ammar
Fault Injection based on a Partial View of the Global State of a Distributed System / M. Cukier ; R. Chandra ; D. Henke ; J. Pistole ; W. Sanders
Failure Data Analysis of a LAN of Windows NT based Computers / M. Kalyanakrishnam ; Z. Kalbarczyk ; R. Iyer
System Support / Session 7：
HAMFS File System / Y. Shinkai ; Y. Tsuchiya ; T. Murakami ; J. Williams
Logging and Recovery in Adaptive Software Distributed Shared Memory Systems / A. Kongmunvattana ; N. Tzeng
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems / N. Kandasamy ; J. Hayes ; B. Murray
Logging and Checkpointing / Session 8：
Issues in the Design of a Reflective Library for Checkpointing C++ Objects / M. Kasbekar ; C. Das ; S. Yajnik ; R. Klemm ; Y. Huang
Optimistic Recovery in Multi-threaded Distributed Systems / O. Damani ; A. Tarafdar ; V. Garg
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging / K. Ssu ; B. Yao ; K. Fuchs
Corba / Session 9：
CosNamingFT--A Fault-Tolerant CORBA Naming Service / L. Lung ; J. da Silva Fraga ; J. Farines ; M. Ogg ; A. Ricciardi
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications / P. Narasimhan ; L. Moser ; P. Melliar-Smith
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA / A. van Moorsel
Work in Progress (Fast Abstracts)
Resolving Distributed Deadlocks in the OR Request Model / J. Villadangos ; F. Farina ; J. Gonzalez de Mendivil ; J. Garitagoitia ; J. Bernabeu-Auban ; G. Vossen
An Efficient Checkpointing Algorithm for Distributed Systems Implementing Reliable Communication Channels / E. Gendelman ; L. Bic ; M. Dillencourt
An Approach for Fault-Tolerance in Hard Real-Time Distributed Systems / P. Chevochot ; I. Puaut
An Agent Platform for Reliable Asynchronous Distributed Programming / L. Bellissard ; N. De Palma ; A. Freyssinet ; M. Herrmann ; S. Lacourte
Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogenous Fault-Tolerant ORBs / A. Vaysburd
A Distributed Algorithm for Deadlock Detection under OR-request Model / S. Lee ; Y. Lee
Design and Validation of a Distributed Industrial Control System's Nodes / J. Campelo ; F. Rodriguez ; P. Gil ; J. Serrano
Performance Evaluation of the Circulating Multisequencer and the Consensus Algorithms in a Real-Time Distributed Transactional System / L. Saidane ; F. Kamoun
Database Replication: If You Must be Lazy, be Consistent / J. Holliday ; D. Agrawal ; A. El Abbadi
A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture / T. Liu
Workshop on Reliable Middleware (Wremi)
Foreword
The Mainframe as a High-Available, Highly Scalable CORBA Platform / W. Froidevaux ; S. Murer ; M. Prater
A Method for Combining Replication with Caching / M. Little ; S. Shrivastava
Fault Tolerance in Three-Tier Applications: Focusing on the Database Tier
Workshop on Electronic Commerce (Welcom)
XML Documents Production for an Electronic Platform of Requests for Proposals / F. Bapst ; C. Vanoirbeek
Service Provision and Composition in Virtual Business Communities / A. Marton ; G. Piccinelli ; C. Turfin
Quality of Service in Business-to-Business E-Commerce Applications / U. Fiedler ; B. Plattner
A Practical Guideline to the Implementation of Online Shops / A. Bartelt ; J. Meyer
Approaching a Formal Definition of Fairness in Electronic Commerce / F. Gartner ; H. Pagnia ; H. Vogt
Trust and Electronic Commerce--More than a Technical Problem / K. Konrad ; J. Barthel ; G. Fuchs
Authorization Methods for E-Commerce Applications / R. Oppliger
Gateways to Overcome Incompatibilities of Security Mechanisms / J. Zollner
Security Mechanisms for using Mobile Agents in Electronic Commerce / P. Marques ; L. Silva ; J. Silva
Accountable Anonymous Access to Services in Mobile Communication Systems / L. Buttyan ; J.-P. Hubaux
On the Provision of Replicated Internet Auction Services / F. Panzieri
The Usability Risk / A. Platt
Index of Authors
Message from the Symposium Chair
Message from the Program Co-Chairs
Conference Committee
3.

図書
図書
3. Proceedings : the Eighth International Symposium on High Performance Distributed Computing, August 3-6, 1999, Redondo Beach, California (: softbound)
sponsored by University of Southern California Information Science Institute ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xii, 359 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Parallel and distributed computing and systems : proceedings of the Eighth IASTED International Conference, October 16-19, 1996, Chicago, Illinois, USA
editors, K. Li, T. S. Abdelrahman, E. Luque
出版情報: Anaheim, CA : IASTED/ACTA Press, c1996  iv, 546 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Parallel and distributed computing and systems : proceedings of the Ninth IASTED International Conference, October 13-16, 1997, Georgetown University Conference Center, Washington, D. C., USA
editors, K. Li ... [et al.]
出版情報: Anaheim, CA : IASTED/ACTA Press, c1997  xiv, 588 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Parallel and distributed computing and systems : proceedings of the Tenth IASTED International Conference, Las Vegas, Nevada, USA, October 28-31, 1998
editors, Yi Pan, Selim G. Akl, and Keqin Li
出版情報: Anaheim, CA : IASTED/ACTA Press, [1998]  v, 722 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Distributed computer control systems 1998 (DCCS '98) : a proceedings volume from the 15th IFAC workshop, Como, Italy, 9-11 September 1998
edited by F. De Paoli and I.M. MacLeod
出版情報: Oxford ; Tarrytown, N.Y. : International Federation of Automatic Control by Pergamon, c1999  vi, 169 p. ; 30 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings Thirteenth Workshop on Parallel and Distributed Simulation, May 1-4, 1999,Atlanta, Georgia, USA (: paper ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1999  xiii, 192 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
List of Past Chairs
Opening and Keynote Address
Beyond Speedup: PADS, the HLA and Web-Based Simulation / Ernest H. Page
Conservative Simulation Techniques
Path Lookahead: A Data Flow View of PDES Models / R.A. Meyer ; R.L. Bagrodia
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation / Z. Xiao ; B. Unger ; R. Simmonds ; J. Cleary
Case Study: Parallelizing a Sequential Simulation Model / L. Bajaj ; R. Bagrodia ; R. Meyer
Scheduling and Synchronization
On Event Ordering in Parallel Discrete Event Simulation / R. Ronngren ; M. Liljenstam
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations / R.M. Fujimoto
GVT and Scheduling in Space Time Memory Based Techniques / A. Fabbri
Keynote Address and Panel Session
The High Level Architecture and Beyond: Technology Challenges / Judith S. Dahmann
Panel Session: Future Directions for Research in Parallel and Distributed Simulation Systems
Defense Simulation and DIS
Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp / R. Smith ; R. Andress ; G.M. Parsons
An Auto-Adaptive Dead Reckoning Algorithm for Distributed Interactive Simulation / W. Cai ; F.B.S. Lee ; L. Chen
Optimistic Simulation Techniques I
Shock Resistant Time Warp / A. Ferscha ; J. Johnson
On Learning Algorithms and Balancing Loads in Time Warp / M. Choe ; C. Tropper
Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation / F. Quaglia
Optimistic Simulation Techniques II
Fast-Software-Checkpointing in Optimistic Simulation: Embedding State Saving into the Event Routine Instructions
Efficient Optimistic Parallel Simulations using Reverse Computation / C.D. Carothers ; K.S. Perumalla
Optimism: Not Just for Event Execution Anymore / C.H. Young ; R. Radhakrishnan ; P.A. Wilsey
Performance Prediction and Analysis
Performance Prediction Tools for Parallel Discrete-Event Simulation / C.-C. Lim ; Y.-H. Low ; B.-P. Gan ; S. Jain ; W.J. Hsu ; S.Y. Huang
Performance Prediction of a Parallel Simulator / J. Liu ; D. Nicol ; B. Premore ; A. Poplawski
Simulation and Computer Networks
Exploiting Model Independence for Parallel PCS Network Simulation / A. Boukerche ; S.K. Das ; O. Yildiz
Time Warp Simulation on Clumps / G.D. Sharma ; U.K.V. Rajasekaran ; N. Abu-Ghazaleh
Active Virtual Network Management Protocol / S.F. Bush
Author Index
Foreword
Committees
Reviewers
9.

図書
図書
9. Proceedings of the Eightteenth Annual ACM Symposium on Principles of Distributed Computing, Atlanta, Georgia, USA, May 3-6, 1999 (ACM)
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  x, 285 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan
edited by Tadanori Mizuno [et al.]
出版情報: London : Chapman & Hall, 1997  vii, 550 p. ; 24 cm
所蔵情報: loading…
11.

図書
図書
11. Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France (: alk. paper)
edited by Stan Budkowski, Ana Cavalli, Elie Najm
出版情報: Boston : Kluwer Academic Publishers, 1998  viii, 467 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 6
所蔵情報: loading…
12.

図書
図書
12. Proceedings, the fourth International Symposium on Autonomous Decentralized Systems -integration of heterogeneous systems, March 21-23, 1999, Tokyo, Japan (: case ; : microfiche)
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan, the Institute of Electronics Information and Communication Engineers Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xvii, 426 p. ; 28 cm
所蔵情報: loading…
13.

図書
図書
13. Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
出版情報: Boston : Kluwer Academic, c1999  xii, 436 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 10
所蔵情報: loading…
目次情報: 続きを見る
3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1：
Preface
Languages / Part 1：
Piccola - A Small Compositional Language / O. Nierstrasz
An Algebra of Actors / M. Gaspari ; G. Zavattaro
Developing Object-Based Distributed Systems / M. Bonsangue, et al.
Semantics I. Reasoning About Histories in Object-Based Distributed Systems / F.S. de BoerPart 2：
Mobile Nets / N. Busi
Observation Equivalences for the Semantics of Inheritance / C. Balzarotti, et al.
Java and Coordination / Part 3：
Tools for Integrating Formal Methods into the Java Software Development Process / S. Sankar
Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA / K. Drira, et al.
Specifying Component-Based Java Applications / S. Cimato
Object Composition and Reuse / Part 4：
Object Composition: A Case Study / D. Ramazani ; G. V. Bochmann
Specifying Reusable Controllers for Software Components / J.M. Troya ; A. Vallecillo
Composition and Interaction for Behavioural Specifications / S. Veglioni ; F. Parisi-Presicce
Telecommunications / Part 5：
Distributed Feature Composition: An Architecture for Telecommunication Services / P. Zave
Pattern Application vs. Inheritance in SDL / B. Gepert, et al.
Engineering Telecommunication Services with SDL / R. Sinnott ; M. Kolberg
SDL in Rigorous Object-Oriented Analysis / R.G. Clark ; A.M.D. Moreira
Formal Methods / Part 6：
A Junction Between State Based and Behavioural Specification / H. Bowman ; J. Derrick
Protocol Assuring Universal Language / R. van Rein ; M. Fokkinga
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations / K. Stoelen
Assessing Service Properties with Regard to a Requested QoS: The Service Metric / C. Linnhoff-Popien ; D. Thissen
Combining Design Methods for Service Development / M. Born, et al.
Emerging Standards / Part 7：
LSCs: Breathing Life Into Message Sequence Charts / W. Damm ; D. Harel
Modular Reasoning for Actor Specification Diagrams / S.F. Smith ; C.L. Talcott
Towards a Formal Operational Semantics of UML Statechart Diagrams / D. Latella, et al.
Semantics II. Foundations for Wide-Area Systems / L. CardelliPart 8：
Calculi for Concurrent Objects / C. Laneev
Infinite Types for Distributed Object Interfaces / E. Najm, et al.
Static Safety Analysis for Non-Uniform Service Availability in Actors / J.L. Colaco, et al.
A Logic for the Specification of Multi-Object Systems / J. Broersen ; R. Wieringa
Semantics III. Distributed and Concurrent Objects Based on Linear Logic / N. Kobayashi ; A. YonezawaPart 9：
Composition in Multiparadigm Specification Techniques / L. Blair ; G. Blair
Formal Development of Object-Based Systems in a Temporal Logic Setting / E. Canver ; F.W. von Henke
3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy / 6.1：
Preface
Languages / Part 1：
14.

図書
図書
14. Proceedings, Second International Workshop on Software Engineering for Parallel and Distributed Systems : May 17-18, 1997, Boston, MA, USA
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. Parallel and distributed computing and systems : proceedings of the Eleventh IASTED International Conference, November 3-6, 1999, MIT, Cambridge, Massachusetts - USA (v. 1 of 2 ; v. 2 of 2)
editor, S. Q. Zheng
出版情報: Anaheim, CA : IASTED/ACTA Press, c1999  2 v. (ix, 1079 p.) ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. Distributed applications and interoperable systems : IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS '97), 30th September-2nd October 1997, Cottbus, Germany
edited by Hartmut König, Kurt Geihs and Thomas Preuß
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi,294p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee members and invited speakers
List of references
Invited talk - abstract
Management of distributed applications / Part one：
Agents and internet applications / Part two：
Short paper session I / Part three：
Working session
Invited talk II - Abstract
CORBA 1 / Part four：
CORBA 2 / Part five：
Short paper session II / Part six：
Language support for distributed applications design / Part seven：
Security and reliability aspects / Part eight：
Index of contributors
Keyword index
Preface
Committee members and invited speakers
List of references
17.

図書
図書
17. Proceedings, Third International Workshop on Object-oriented Real-time Dependable Systems : February 5-7, 1997, Newport Beach, California, U.S.A. (case ; microfiche)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 356 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. Proceedings of the sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, October 29-31, 1997, Tunis, Tunisia (: paper)
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; with the support of University of Science Technology and Medicine of Tunis, Faculty of Sciences of Tunes...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 346 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Proceedings : 16th Symposium on Reliable Distributed Systems, October 22-24, 1997, Regal University Hotel, Durham, North Carolina (: soft. ; : case. ; :micro.)
sponsors IEEE Computer Society Technical Committees on Distributed Processing, Fault-Tolerant Computing, and Operating Systems. In Collaboration with Center for Advanced Computing and Communication.
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1997  xi, 191 p. ; 28 cm
所蔵情報: loading…
20.

図書
図書
20. Building QoS into distributed systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA
edited by Andrew Campbell and Klara Nahrstedt
出版情報: London : Chapman & Hall, 1997  xli, 406 p. ; 24cm
所蔵情報: loading…
21.

図書
図書
21. Proceedings : the sixth IEEE International Symposium on High Performance Distributed Computing, Portland State University, Portland, Oregon, August 5-8, 1997 (: pbk)
sponsors,IEEE Computer Society Technical Committee on Distributed Processing, HPDC Laboratory at Syracuse University...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiii, 377 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. Proceedings of the 17th International Conference on Distributed Computing Systems, May 27-30, 1997, Baltimore, Maryland, USA (: softbound ; : casebound ; : microfiche)
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997  xvii, 596 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, Ca., USA, August 21-24, 1997
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 297 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, Puerto Vallarta, México, June 28 - July 2, 1998
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  x, 328 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. Fourth International Conference on Configurable Distributed Systems : proceedings, May 4-6, 1998, Annapolis, Maryland (: case)
sponsored by the University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  viii, 233 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Proceedings Twelfth Workshop on Parallel and Distributed Simulation, PADS '98, May 26-29, 1998, Banff, Alberta, Canada (: paper)
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1998  xii, 197 p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Distributed computer control systems 1997 (DCCS'97) : a proceedings volume from the 14th IFAC Workshop, Seoul, Korea, 28-30 July 1997. 1st ed.
edtied by I.M. MacLeod and W.H. Kwon
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1997  viii, 175 p. ; 30 cm
所蔵情報: loading…
28.

図書
図書
28. Proceedings : the Seventh International Symposium on High Performance Distributed Computing, July 28-31, 1998, Chicago, Illinois (: pbk ; : microfiche)
sponsored by Argonne National Laboratory, HPDC Laboratory at Syracuse University, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  xii, 371 p. ; 28 cm
所蔵情報: loading…
29.

図書
図書
29. Proceedings : Seventeeth IEEE Symposium on Reliable Distributed Systems, October 20-23, 1998, Purdue University , West Lafayette, Indiana (: soft. ; : case.)
in honor of C.V. Ramamoorthy ; sponsored by IEEE Computer Society Technical Committees on Distributed Processing ; in cooperation with Purdue University, The Ohio State University
出版情報: Los Alamitos, CA : IEEE Computer Society, c1998  xiv, 494 p. ; 28 cm
所蔵情報: loading…
30.

図書
図書
30. Proceedings : ISADS 97 : Third International Symposium on Autonomous Decentralized Systems, April 9-11, 1997, Berlin, Germany
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, Gessellschaft fuer Informatik
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xiv, 422 p. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Open distributed processing and distributed platforms : proceedings of the IFIP/IEEE international conference on Open Distributed Processing and Distributed Platforms, 26-30 May, Toronto, Canada
edited by Jerome Rolia, Jacob Slonim and John Botsford
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997  vi, 325 p. ; 24 cm
所蔵情報: loading…
32.

図書
図書
32. Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996
edited by Reinhard Gotzhein and Jan Bredereke
出版情報: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii, 516 p. ; 25 cm
所蔵情報: loading…
33.

図書
図書
33. Distributed computer control systems, 1994, DCCS '94 : IFAC workshop, Toledo, Spain, 28-30 September 1994. 1st ed
edited by J.A. de la Puente and M.G. Rodd
出版情報: Oxford : Published for the International Federation of Automatic Control by Pergamon, 1995  vii, 183 p. ; 29 cm
所蔵情報: loading…
34.

図書
図書
34. Second International Workshop on Services in Distributed and Networked Environments : proceedings, June 5-6, 1995, Whistler, British Columbia, Canada
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  viii, 175 p. ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. Deductive program design
edited by Manfred Broy
出版情報: Berlin ; New York : Springer, c1996  viii, 467 p. ; 24 cm
シリーズ名: NATO ASI series ; Series F . Computer and systems sciences ; no. 152
所蔵情報: loading…
36.

図書
図書
36. Distributed platforms : proceedings of the IFIP/IEEE International Conference on Distributed Platforms : client/server and beyond : DCE, CORBA, ODP and advanced distributed applications
edited by Alexander Schill ... [et al.]
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii,515p ; 24 cm
所蔵情報: loading…
37.

図書
図書
37. Parallel and distributed computing and systems : proceedings of the Seventh IASTED/ISMM International Conference, Washington, D.C., USA, October 19-21, 1995
editor, M.H. Hamza
出版情報: Anaheim, CA : IASTED-ACTA Press, c1995  iii, 530 p. ; 28 cm
所蔵情報: loading…
38.

図書
図書
38. Proceedings of the 16th International Conference on Distributed Computing Systems, May 27-30, 1996, Hong Kong (: softbound ; : casebound ; : microfiche)
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 772 p. ; 28 cm
所蔵情報: loading…
39.

図書
図書
39. Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
edited by Dieter Hogrefe and Stefan Leue
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
40.

図書
図書
40. Seventh IEEE Symposium on Parallel and Distributed Processing, October 25-28, 1995, San Antonio, Texas : proceedings (: case)
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xvii, 724 p. ; 29 cm
所蔵情報: loading…
41.

図書
図書
41. Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1995  viii, 276 p. ; 28 cm
所蔵情報: loading…
42.

図書
図書
42. Computer networks, architecture and applications : proceedings of the IFIP TC6 conference 1994
edited by S.V. Raghavan and Bijendra N. Jain
出版情報: London : Chapman & Hall, 1995  vi, 371 p. ; 25 cm
所蔵情報: loading…
43.

図書
図書
43. Proceedings : 14th Symposium on Reliable Distributed Systems, September 13-15, 1995, Bad Neuenahr, Germany (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1995  xiv, 239 p. ; 28 cm
所蔵情報: loading…
44.

図書
図書
44. Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC 6/WG 6.1 international conference on open distributed processing, 1994
edited by Kerry Raymond and Liz Armstrong
出版情報: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1995  xii, 516 p. ; 24 cm
所蔵情報: loading…
45.

図書
図書
45. Proceedings of the fourth IEEE International Symposium on High Performance Distributed Computing, August 2-4, 1995, Washington, D.C.
sponsored by IEEE Technical Committee on Distributed Processing Northeast Parallel Architectures Center (NPAC) at Syracuse University ; in cooperation with ACM SIGCOMM Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xiv, 246 p. ; 28 cm
所蔵情報: loading…
46.

図書
図書
46. Proceedings of the fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, August 28-30, 1995, Cheju Island, Korea (: paper)
sponsored by The IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xi, 531 p. ; 28 cm
所蔵情報: loading…
47.

図書
図書
47. Proceedings : ISADS 95 : second International Symposium on Autonomous Decentralized Systems, April 25-27, 1995, Phoenix, Arizona, USA (: paper)
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xvii, 445 p. ; 28 cm
所蔵情報: loading…
48.

図書
図書
48. Proceedings of the 15th International Conference on Distributed Computing Systems, May 30-June 2, 1995, Vancouver, Canada (: softbound ; : casebound ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xx, 537 p. ; 28 cm
所蔵情報: loading…
49.

図書
図書
49. Proceedings : 15th Symposium on Reliable Distributed Systems, October 23-25, 1996, Niagara-on-the Lake, Ontario, Canada (: soft. ; : case.)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, IEEE Computer Society Technical Committee on Operating Systems, IEEE Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1996  x, 229 p. ; 28 cm
所蔵情報: loading…
50.

図書
図書
50. Proceedings, Third International Workshop on Services in Distributed and Networked Environments, June 3-4, 1996, Macau
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 174 p. ; 28 cm
所蔵情報: loading…
51.

図書
図書
51. Third International Conference on Configurable Distributed Systems : proceedings, May 6-8, 1996, Annapolis, Maryland
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 243 p. ; 28 cm
所蔵情報: loading…
52.

図書
図書
52. Eighth IEEE Symposium on Parallel and Distributed Processing, October 23/26, 1996, New Orleans, Louisiana : proceedings (: case)
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xv, 618 p. ; 29 cm
所蔵情報: loading…
53.

図書
図書
53. Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pa., USA, May 23-26, 1996
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1996  xi, 344 p. ; 28 cm
所蔵情報: loading…
54.

図書
図書
54. Proceedings of the fifth IEEE International Symposium on High Performance Distributed Computing, August 6-9, 1996, Syracuse, New York (: pbk)
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing ... [et al.] ; in cooperation with Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xviii, 642 p. ; 28 cm
所蔵情報: loading…
55.

図書
図書
55. 11th International Conference on Distributed Computing Systems, Arlington, Texas, USA, May 20-24, 1991 (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Distributed Computing, Fort Worth, Texas Section
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1991  xvii, 650 p. ; 28 cm
所蔵情報: loading…
56.

図書
図書
56. Open distributed processing : proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991
edited by Jan de Meer, Volker Heymer, Rudolf Roth
出版情報: Amsterdam ; New York : North-Holland , New York : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992  xvi, 449 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communicaton systems ; 1
所蔵情報: loading…
57.

図書
図書
57. Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, December 2-5, 1991, Dallas, Texas (:paper ; :case)
sponsored by the ACM Special Interest Group on Computer Architecture, IEEE-Dallas Section, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1991  903 p. ; 28 cm
所蔵情報: loading…
58.

図書
図書
58. Distributed intelligence systems : selected papers from the IFAC Symposium, Arlington, Virginia, USA, 13-15 August 1991. 1st ed
edited by A.H. Levis and H.E. Stephanou
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1992  ix, 256 p. ; 31 cm
シリーズ名: IFAC symposia series ; 1992, no. 4
所蔵情報: loading…
目次情報: 続きを見る
Putting some life into the system / J. L. Casti
Discrete Event Systems
Reasoning of discrete event systems in temporal logic / J-Y. Lin ; D. Ionescu
Theory of symmetry and fault-tolerance / M. F. Karavay
Manufacturing Systems
Distributed intelligence systems for FMS control using objects modelled with petri nets (SCOPE blackboard) / D. S. Devapriya et al.
The potential applications of artificial neural nets in quality control / Y-Z. Lu
Intelligent Systems and Neural Nets
Energy-functions and convergence analysis of inference networks / K. P. Lam
Interpolative reasoning in distributed intelligent systems based on fuzzy sets and neural nets / C-T. Sun. Robotics
Distributed intelligence systems based on knowledge modules of cellular robotic system "CEBOT" / T. Fukuda et al
Self-reconfiguration of a dual redundant arm system / S. Lee ; S. Kim
Decision Systems
Minimum trace fusion of n sensors with arbitrarily correlated sensor-to-sensor errors / H. McCabe
Design of quantizers for decentralized estimation systems with noisy channels / W. M. Lam ; A. R. Reibman
Author Index
Keyword Index
Putting some life into the system / J. L. Casti
Discrete Event Systems
Reasoning of discrete event systems in temporal logic / J-Y. Lin ; D. Ionescu
59.

図書
図書
59. Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1991  viii, 355 p. ; 28 cm
所蔵情報: loading…
60.

図書
図書
60. Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, Quebec City, Quebec, Canada, August 22-24, 1990
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1990  vii, 411 p. ; 28 cm
所蔵情報: loading…
61.

図書
図書
61. Proceedings , Tenth Symposium on Reliable Distributed Systems, Pisa, Italy, Sept. 30-Oct. 1-2, 1991 (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society, TC on Distributed Processing, A.I.C.A. ; in cooperation with TC on Fault Tolerant Computing ... [et al.]
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1991  viii, 228 p. ; 28 cm
所蔵情報: loading…
62.

図書
図書
62. Proceedings : 11th Symposium on Reliable Distributed Systems, October 5-7, 1992, Houston, Texas (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IEEE Computer Society Technical Committee on Fault Tolerant Computing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1992  xi, 238 p. ; 28 cm
所蔵情報: loading…
63.

図書
図書
63. Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
edited by Michel Diaz, Roland Groz
出版情報: Amsterdam ; New York : North-Holland, 1993  xvi, 508 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 10
所蔵情報: loading…
64.

図書
図書
64. Proceedings of the 12th International Conference on Distributed Computing Systems, June 9-12, 1992, Yokohama, Japan (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing and Information Processing Society of Japan
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1992  xxii, 725 p. ; 28 cm
所蔵情報: loading…
65.

図書
図書
65. Proceedings , Ninth Symposium on Reliable Distributed Systems, 9-11 October, 1990, Huntsville, Alabama (: paper ; : microfiche ; : case)
Symposium on Reliable Distributed Systems ; IEEE Computer Society
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1990  x, 185 p. ; 28 cm
所蔵情報: loading…
66.

図書
図書
66. Distributed simulation, 1990 : proceedings of the SCS Multiconference on Distributed Simulation, 17-19 January 1990, San Diego, California
edited by David Nicol
出版情報: San Diego, Calif. : Society for Computer Simulation, 1990  ix, 230 p. ; 29 cm
シリーズ名: Simulation series ; v. 22, no. 2
所蔵情報: loading…
67.

図書
図書
67. Proceedings : Second International Symposium on Databases in Parallel and Distributed Systems, July 2-4, 1990, Trinity College, Dublin, Ireland (: pbk ; : microfiche ; : case)
edited by Rakesh Agrawal and David Bell
出版情報: Washington, D.C. : IEEE Computer Society Press, 1990  viii, 219 p. ; 28 cm
所蔵情報: loading…
68.

図書
図書
68. The 10th International Conference on Distributed Computing Systems, Paris, France, May 28 - June 1, 1990 : proceedings (: pbk ; : microfiche ; : case)
[sponsored by Institut National de Recherche en Informatique et en Automatique, IEEE Computer Society, the Institute of Electrical and Electronics Engineers]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1990  xxi, 600 p. ; 28 cm
所蔵情報: loading…
69.

図書
図書
69. Declarative systems : proceedings of the IFIP TC-10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988
edited by G. David, R.T. Boute, B.D. Shriver
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1990  viii, 323 p. ; 24 cm
所蔵情報: loading…
70.

図書
図書
70. Decentralized systems : proceedings of the IFIP WG 10.3 Working Conference on Decentralized Systems, Lyon, France, 11-13 December, 1989
edited by Michel Cosnard, Claude Girault
出版情報: Amsterdam ; Tokyo : North Holland, 1990  viii, 451 p. ; 24 cm
所蔵情報: loading…
71.

図書
図書
71. Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, December 1-4, 1993, Dallas, Texas
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1993  xviii, 823 p. ; 29 cm
所蔵情報: loading…
72.

図書
図書
72. Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993
edited by Michel Cosnard, Ramon Puigjaner
出版情報: Amsterdam ; New York : North-Holland, 1993  xi, 413 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 39
所蔵情報: loading…
73.

図書
図書
73. Applications in parallel and distributed computing : proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994
edited by Claude Girault
出版情報: Amsterdam ; Tokyo : North-Holland, 1994  x, 341 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 44
所蔵情報: loading…
74.

図書
図書
74. Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
edited by Jan de Meer, Bernd Mahr, Silke Storp
出版情報: Amsterdam ; New York : North-Holland, 1994  xviii, 411 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 20
所蔵情報: loading…
75.

図書
図書
75. The 2nd International Symposium on High Performance Distributed Computing, July 20-23, 1993, Spokane, Washington : proceedings
sponsored by the IEEE Computer Society, Washington State University, Northeast Parallel Architectures Center (NPAC) at Syracuse University in cooperation with ACMSIGCOMM, Washington Technology Center, Seattle, IEEE Spokane Section
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1993  xiv, 353 p. ; 28 cm
所蔵情報: loading…
76.

図書
図書
76. Architecture
C.Y. Roger Chen and P. Bruce Berra, editors
出版情報: Boca Raton, Fla. ; Tokyo : CRC Press, c1993  xvi, 350, 10 p. ; 28 cm
シリーズ名: Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 / sponsored by the Pennsylvania State University ; v. 1
所蔵情報: loading…
目次情報: 続きを見る
Models/Paradigms
Compiler (I)
Tools
Cache/Memory/Management
Mapping/Scheduling
Compiler (II)
SIMD/Data Parallel
Resource Allocation/OS
Task Graph/Data Flow
Data Distribution/Partitioning
Miscellaneous
Models/Paradigms
Compiler (I)
Tools
77.

図書
図書
77. Software
Alok N. Choudhary and P. Bruce Berra, editors
出版情報: Boca Raton, Fla. ; Tokyo : CRC Press, c1993  xv, 305, 10 p. ; 28 cm
シリーズ名: Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 / sponsored by the Pennsylvania State University ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
Models/Paradigms
Compiler (I)
Tools
Cache/Memory/Management
Mapping/Scheduling
Compiler (II)
SIMD/Data Parallel
Resource Allocation/OS
Task Graph/Data Flow
Data Distribution/Partitioning
Miscellaneous
Models/Paradigms
Compiler (I)
Tools
78.

図書
図書
78. Algorithms & applications
Salim Hariri and P. Bruce Berra, editors
出版情報: Boca Raton, Fla. ; Tokyo : CRC Press, c1993  xv, 315, 10 p. ; 28 cm
シリーズ名: Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 / sponsored by the Pennsylvania State University ; v. 3
所蔵情報: loading…
目次情報: 続きを見る
Numerical Algorithms
Parallel Algorithms
Graph Algorithms (I)
Image Processing
Numerical Analysis
Fault-Tolerance
Routing Algorithms
Sorting/Searching
Graph Algorithms (II)
Reconfigurable Architecture and Database Applications
Resource Allocation and Fault Tolerence
Simulation/Optimization
Numerical Algorithms
Parallel Algorithms
Graph Algorithms (I)
79.

図書
図書
79. Proceedings : 12th Symposium on Reliable Distributed Systems, Princeton, New Jersey, October 6-8, 1993 (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1993  xi, 153 p. ; 28 cm
所蔵情報: loading…
80.

図書
図書
80. Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems, September 22-24, 1993, Lisbon, Portugal (:paper ; :micro.)
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1993  x, 485 p. ; 28 cm
所蔵情報: loading…
81.

図書
図書
81. Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1994  ix, 406 p. ; 28 cm
所蔵情報: loading…
82.

図書
図書
82. Proceedings of the 14th International Conference on Distributed Computing Systems, June 21-24, 1994, Poznan, Poland (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing, Polish Information Processing Society ; support provided by State Committee for Scientific Research, Poland ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1994  xix, 651 p. ; 28 cm
所蔵情報: loading…
83.

図書
図書
83. Proceedings : the 13th International Conference on Distributed Computing Systems, May 25-28, 1993, Pittsburgh, Pennsylvania (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1993  xix, 570 p. ; 28 cm
所蔵情報: loading…
84.

図書
図書
84. Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, December 1-4, 1992, Arlington, Texas
sponsored by the IEEE Computer Society Technical Committee on Distributed Computing, the IEEE Computer Society Technical Committee on Operating Systems, IEEE-Dallas Section
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  xiii, 527 p. ; 28 cm
所蔵情報: loading…
85.

図書
図書
85. Proceedings : ISADS 93 : International Symposium on Autonomous Decentralized Systems, March 30-April 1, 1993, Kawasaki, Japan (: paper ; : microfiche)
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1993  xiv, 430 p. ; 28 cm
所蔵情報: loading…
86.

図書
図書
86. Proceedings of the Third IEEE International Symposium on High Performance Distributed Computing, August 2-5, 1994, San Francisco, California (:paper ; :microfiche)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, Northeast Parallel Architectures Center (NPAC) at Syracuse University in cooperation with ACM SIGCOMM, Rome Laboratory
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xiii, 304 p. ; 28 cm
所蔵情報: loading…
87.

図書
図書
87. Proceedings : 13th Symposium on Reliable Distributed Systems, October 25-27, 1994, Dana Point, California (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IFIP WG 10.4 on Dependable Computing
出版情報: Los Alamitos, CA ; Tokyo : IEEE Computer Society Press, c1994  x, 222 p. ; 28 cm
所蔵情報: loading…
88.

図書
図書
88. Sixth IEEE Symposium on Parallel and Distributed Processing, October 26-29, 1994, Dallas, Texas : proceedings (: case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Section
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xv, 733 p. ; 29 cm
所蔵情報: loading…
89.

図書
図書
89. First International Workshop on Services in Distributed and Networked Environments : proceedings, June 27-28, 1994, Prague, Czech Republic (paper ; microfiche)
sponsored by IEEE Computer Society Technical Committee on Distributed Processing in cooperation with Czech Institute of Technology (CVUT)
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1994  viii, 187 p. ; 28 cm
所蔵情報: loading…
90.

図書
図書
90. Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1992
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1992  vii, 287 p. ; 28 cm
所蔵情報: loading…
91.

図書
図書
91. Proceedings of the Twelfth Annual ACM Symposium on Principles of Distributed Computing, Ithaca, New York, USA, August 15-18, 1993
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1993  vii, 271 p. ; 28 cm
所蔵情報: loading…
92.

図書
図書
92. Parallel and distributed methods for image processing (2 ; 3 ; 4)
Hongchi Shi, Patrick C. Coffield, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1997-c2000  v. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3166, 3452, 3817,4118
所蔵情報: loading…
93.

図書
図書
93. Proceedings 11th Workshop on Parallel and Distributed Simulation, June 10-13, 1997, Lockenhaus, Austria (: paper)
sponsored by IEEE Computer Society Technical Committee on Simulation, ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation
出版情報: Los Alamitos, CA : IEEE Computer Society, c1997  xii, 197 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼