Computer systems and software engineering : state-of-the-art
著者
書誌事項
Computer systems and software engineering : state-of-the-art
Kluwer Academic Publishers, c1992
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Papers from the CompEuro '92 Conference in The Hague, 1992
Includes bibliographical references
内容説明・目次
内容説明
Computer Systems and Software Engineering is a compilation of sixteen state-of-the-art lectures and keynote speeches given at the COMPEURO '92 conference. The contributions are from leading researchers, each of whom gives a new insight into subjects ranging from hardware design through parallelism to computer applications. The pragmatic flavour of the contributions makes the book a valuable asset for both researchers and designers alike.
The book covers the following subjects: Hardware Design: memory technology, logic design, algorithms and architecture; Parallel Processing: programming, cellular neural networks and load balancing; Software Engineering: machine learning, logic programming and program correctness; Visualization: the graphical computer interface.
目次
- 1. The Evolution of Data Memory and Storage: An Overview
- W.E. Proebster. 2. Optimizing Logic for Speed, Size, and Testability
- R.K. Brayton, A. Saldanha. 3. VLSI Architectures for Digital Video Signal Processing
- P. Pirsch. 4. Compiler Techniques for Massive Parallel Architectures
- L. Thiele. 5. Programmable Cellular Neural Networks
- T. Roska. 6. Developments in Parallel Programming Languages
- R.H. Perrott. 7. Load Balancing Grid-Oriented Applications on Distributed Memory Parallel Computers
- D. Roose, J. De Keyser, R. Van Driessche. 8. Strategic Decision Analysis and Group Decision Support
- S. French. 9. Ten Years of Advances in Machine Learning
- Y. Kodratoff. 10. Designing Logic Programming Languages
- J.W. Lloyd. 11. Efficient Bottom-up Evaluation of Logic Programs
- R. Ramakrishnan, D. Srivastava, S. Sudarshan. 12. Proving Correctness of Executable Programs
- K. Lester. 13. Direct Manipulation as a Basis for Constructing Graphical User Interfaces Coupled to Application Functions
- J. van den Bos. 14. Visualization of Volumetric Medical Image Data
- K.J. Zuiderveld, M.A. Viergever. 15. Scientific Visualization
- J.J. van Wijk. 16. Picture Archiving and Communications Systems
- R. Mattheus.
「Nielsen BookData」 より
