close
1.

図書
図書
1. Proceedings, IEEE International Computer Performance and Dependability Symposium : IPDS 2000, 27-29 March, 2000, Chicago, Illinois
sponsored by the IEEE Computer Society Technical Committee on Fault-Tolerant Computing ; co-sponsored by IFIP Working Group 7.3 on Perfomance Evaluation ... [et. al.] ; in cooperation with IBM ... [et. al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  xi, 174 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Organizing Committees
Referees
Markov Modeling and Applications / Kishor TrivediSession 1：
On Markov Reward Modelling with FSPNs / K. Wolter ; A. Zisowsky
Mission Time Analysis of Large Dependable Systems / S. Racz ; M. Telek
State Space Techniques / Session 2：
Measure-Adaptive State-Space Construction / W. D. Obal II ; W. H. Sanders
Sensitivity Analysis of Modular Dynamic Fault Trees / Y. Ou ; J. B. Dugan
Invited Session / Rick Harper
Dependable Spacecraft for Future Deep Space Explorations / L. Alkalai
Systems and Protocols / Jeff ZinchukSession 3：
Reaching Efficient Fault-Tolerance for Cooperative Applications / P. Sobe
On the Effectiveness of a Message-Driven Confidence-Driven Protocol for Guarded Software Upgrading / A. T. Tai ; K. S. Tso ; S. N. Chau
A Fundamental Failure Model for Fault-Tolerant Protocols / K. Echtle ; A. Masum
Empirical Studies I / Gwan ChoiSession 4：
I/O Phase Characterization of TPC-H Query Operations / M. A. Kandaswamy ; R. L. Knighten
NFTAPE: A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors / D. T. Stott ; B. Floering ; D. Burke ; Z. Kalbarczyk ; R. K. Iyer
Networking / Kevin KwiatSession 5：
The Impact of Backoff, EIFS, and Beacons on the Performance of IEEE 802.11 Wireless LANs / A. Heindl ; R. German
Correlational and Distributional Effects in Network Traffic Models / R. Geist ; J. Westall
Performance Index Based Network Reliability Analysis with Stratified Sampling / L. Jereb ; A. Kiss
Empirical Studies II / Gianfranco CiardoSession 6：
Profiling the Performance of TCP/IP on Windows NT / P. Xie ; B. Wu ; M. Liu ; J. Harris ; C. Scheiman
On Building Non-Intrusive Performance Instrumentation Blocks for CORBA-based Distributed Systems / B. Sridharan ; B. Dasarathy ; A. Mathur
Petri Nets, Queueing Modeling, and Applications / Raymond MarieSession 7：
Dependability Assessment of GUARDS Instances / J. Arlat ; T. Jarboui ; K. Kanoun ; D. Powell
Hybrid Analysis of SGSPNs with Time-Dependent Transition Rates / P. Buchholz
On Queueing with Customer Impatience until the End of Service / A. Movaghar
Author Index
Message from the General Chair
Message from the Program Chair
Organizing Committees
2.

図書
図書
2. Structure and dynamics of nucleic acids, proteins, and membranes
edited by E. Clementi and S. Chin
出版情報: New York : Plenum Press, c1986  xii, 455 p. ; 26 cm
所蔵情報: loading…
3.

図書
図書
3. Application development systems : the inside story of multinational product development (: U.S ; : Germany ; : Japan)
edited by Tosiyasu L. Kunii
出版情報: Tokyo ; New York : Springer-Verlag, c1986  viii, 382 p. ; 25 cm
所蔵情報: loading…
4.

雑誌
雑誌
4. IBM journal of research and development
International Business Machines Corporation
出版情報: New York : International Business Machines, 1957-2008  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (Jan. 1957)-v. 52, no. 6 (Nov. 2008)
所蔵情報: loading…
5.

雑誌
雑誌
5. IBM systems journal
International Business Machines Corporation
出版情報: New York, N.Y. : International Business Machines Corp., 1962-2008  v. ; 26 cm
巻次年月次: Vol. 1 (Sept. 1962)-v. 47, no. 4 (Oct./Dec. 2008)
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the IBM Scientific Computing Symposium on Combinatorial Problems, March 16-18, 1964
IBM Scientific Computing Symposium on Combinatorial Problems ; International Business Machines Corporation
出版情報: White Plains, N. Y. : IBM, c1966  xvii, 261 p. ; 23 cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings of the IBM Scientific Computing Symposium on Simulation Models and Gaming, Dec. 7-9, 1964
IBM Scientific Computing Symposium on Simulation Models and Gaming ; International Business Machines Corporation
出版情報: White Plains, N.Y. : IBM, c1966  xix, 278 p. ; 23 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the IBM Scientific Computing Symposium on Man-Machine Communication, May 3-5, 1965
IBM Scientific Computing Symposium on Man-Machine Communication ; International Business Machines Corporation
出版情報: White Plains, N. Y. : IBM, c1966  xxi, 150 p. ; 23 cm
所蔵情報: loading…
9.

図書
図書
9. Proceedings : Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering : October 16-18, 1989, National Institute of Standards & Technology, Gaithersburg, MD
Sponserd by IBM Corporation ... [et. al]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, [1989]  xii, 216 p.
所蔵情報: loading…
10.

図書
図書
10. Computational methods in band theory
Edited by P. M. Marcus, J. F. Janak, and A. R. Williams
出版情報: New York : Plenum Press, 1971  xvi, 578 p. ; 26 cm
シリーズ名: The IBM research symposia series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼