close
1.

図書
図書
1. Algorithms, software and hardware of parallel computers (pbk.)
edited by J. Mikloško and V.E. Kotov ; with contributions by J. Chudík ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag , Bratislava : Veda Pub. House of the Slovak Academy of Sciences, 1984  395 p. ; 24 cm
所蔵情報: loading…
2.

図書
図書
2. Synchronization of parallel programs. Rev. and updated
by Françoise André, Daniel Herman, Jean-Pierre Verjus ; translated by J. Howlett
出版情報: Oxford : North Oxford Academic, c1985  x, 110 p. ; 23 cm
シリーズ名: Studies in computer science
所蔵情報: loading…
3.

図書
図書
3. The concurrency control problem for database systems (: Berlin ; : New York)
Marco Antonio Casanova
出版情報: Berlin ; New York : Springer, 1981  vii, 175 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 116
所蔵情報: loading…
4.

図書
図書
4. Alternating sequential/parallel processing (: gw ; : us)
Y. Wallach
出版情報: Berlin ; New York : Springer, 1982  x, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 127
所蔵情報: loading…
5.

図書
図書
5. Algorithm-structured computer arrays and networks : architectures and processes for images, percepts, models, information
Leonard Uhr
出版情報: Orlando : Academic Press, 1984  xxiii, 413 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
6.

図書
図書
6. Principles of parallel and multiprocessing
George R. Desrochers
出版情報: New York, NY : Intertext Publications, c1987  xii, 414 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Major advances in parallel processing
edited by Chris Jesshope
出版情報: Aldershot, Hants : Technical Press in association with Unicom Seminars Ltd., c1987  xxi, 392 p. ; 30 cm
シリーズ名: The Technical Press-Unicom applied information technology reports series
所蔵情報: loading…
8.

図書
図書
8. Parallelism in production systems (: u.k. ; : u.s.)
Anoop Gupta
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann Publishers, 1987  224 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Concurrent programming in Ada
Alan Burns
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985  xiv, 241 p ; 24 cm
シリーズ名: The Ada companion series
所蔵情報: loading…
10.

図書
図書
10. Concurrency control and recovery in database systems
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley Pub. Co., c1987  xiii, 370 p. ; 24 cm
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
11.

図書
図書
11. Introduction to parallel and vector solution of linear systems
James M. Ortega
出版情報: New York : Plenum Press, c1988  xi, 305 p. ; 24 cm
シリーズ名: Frontiers of computer science
所蔵情報: loading…
12.

図書
図書
12. Multi-computer architectures for artificial intelligence : toward fast, robust, parallel systems
Leonard Uhr
出版情報: New York : Wiley, c1987  xii, 358 p. ; 24 cm
所蔵情報: loading…
13.

図書
図書
13. Data flow computing (: uk ; : us)
J.A. Sharp
出版情報: Chichester [West Sussex] : E. Horwood , New York : Halsted Press, 1985  160 p. ; 24 cm.
シリーズ名: Ellis Horwood series in computers and their applications
所蔵情報: loading…
14.

図書
図書
14. Analysis of speedup in distributed algorithms
by John P. Fishburn
出版情報: Ann Arbor, Mich. : UMI Research Press, c1984  vii, 118 p. ; 24 cm
シリーズ名: Computer science : distributed database systems ; no. 14
所蔵情報: loading…
15.

図書
図書
15. Algorithmically specialized parallel computers
edited by Lawrence Snyder ... [et al.]
出版情報: Orlando : Academic Press, 1985  xiii, 252 p. ; 24 cm
所蔵情報: loading…
16.

図書
図書
16. Computer architecture and parallel processing
Kai Hwang, Fayé A. Briggs
出版情報: New York ; Tokyo : McGraw-Hill, c1984  xviii, 846 p. ; 25 cm
シリーズ名: McGraw-Hill series in computer organization and architecture
所蔵情報: loading…
17.

図書
図書
17. Concurrency and programming languages
D.M. Harland
出版情報: Chichester [West Sussex] : E. Horwood , New York : Halsted Press, 1986  182 p. ; 25 cm
シリーズ名: Ellis Horwood series in computers and their applications
所蔵情報: loading…
18.

図書
図書
18. Actors : a model of concurrent computation in distributed systems
Gul A. Agha
出版情報: Cambridge, Mass. : MIT Press, c1986  ix, 144 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
List of Figures
Series Foreword
Preface
Introduction / 1：
General Design Decisions / 2：
Computation In Actor Systems / 3：
A More Expressive Language / 4：
A Model For Actor Systems / 5：
Concurrency Issues / 6：
Abstraction And Compositionality / 7：
Conclusions / 8：
Asynchronous Communication Trees / A：
A Glossary Of Actor Terms / B：
References
Index
List of Figures
Series Foreword
Preface
19.

図書
図書
19. On the construction of programs
edited by R.M. McKeag and A.M. Macnaghten
出版情報: Cambridge ; New York : Cambridge University Press, 1980  422 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
An introduction to Pascal-plus / by D.W. Bustard
A structured compiler / by J. Welsh
A structured operating system / by R.M. McKeag
Modules and visibility in the Ada programming language / by J.D. Ichbiah ... [et al.]
Parallel processing in Ada / by O. Roubine & J.-C. Heliard
Concurrent Pascal / by D. Coleman
A model for communicating sequential processes / by C.A.R. Hoare
Languages for parallel computers / by R.H. Perrott
Algorithms for parallel computers / by M. Clint & R.H. Perrott
Information systems : modelling, sequencing, and transformations / by M.A. Jackson
Specification language / by J.R. Abrial, S.A. Schuman & B. Meyer
An introduction to Pascal-plus / by D.W. Bustard
A structured compiler / by J. Welsh
A structured operating system / by R.M. McKeag
20.

図書
図書
20. Real-time/parallel computing : image analysis
edited by Morio Onoe, Kendall Preston, Jr., and Azriel Rosenfeld
出版情報: New York : Plenum Press, c1981  xviii, 397 p. ; 26 cm
所蔵情報: loading…
21.

図書
図書
21. Concepts, design, and performance analysis of a parallel Prolog machine (: gw ; : us)
Joachim Beer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 128 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 404
所蔵情報: loading…
22.

図書
図書
22. Synthesizing synchronous systems by static scheduling in space-time (: gw ; : us)
Björn Lisper
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 262 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 362
所蔵情報: loading…
23.

図書
図書
23. Fast algorithms and their implementation on specialized parallel computers (: us)
J. Mikloško ... [et al.] ; edited by J. Mikloško
出版情報: Bratislava : VEDA, Pub. House of the Slovak Academy of Sciences , Amsterdam ; Tokyo : North-Holland, 1989  xv, 261 p. ; 25 cm
シリーズ名: Special topics in supercomputing ; v. 5
所蔵情報: loading…
24.

図書
図書
24. Parallel processing in control : the transputer and other architectures
edited by P.J. Flem
出版情報: London : Peregrinus, c1988  xiv, 243 p. ; 23 cm
シリーズ名: IEE control engineering series ; 38
所蔵情報: loading…
25.

図書
図書
25. General techniques and regular problems (pbk.)
Geoffrey C. Fox ... [et al.]
出版情報: Englewood Cliffs, NJ : Prentice Hall, c1988  xv, 592 p. ; 25 cm
シリーズ名: Solving problems on concurrent processors ; v. 1
所蔵情報: loading…
26.

図書
図書
26. Parallel architectures and computer vision
edited by Ian Page
出版情報: Oxford [Oxfordshire] : Clarendon Press , New York : Oxford University Press, 1988  xvii, 329 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Optimisation, Regularisation, and Simulated Annealing in Low-Level Computer Vision / B. Buxton ; H. Buxton ; A. Kashko1：
Restoration of Binary Images Using Networks of Analogue Neurons / B. Forrest2：
Visual Reconstruction and the GNC Algorithm / A. Blake ; A. Zisserman3：
Improved Locally-Based Recovery of Optic Flow Fields / G. Scott4：
The PMF Stereo Algorithm: Theory and Implementation / S. Pollard5：
The Recovery and Statistical Combination of Geometrical Descriptions from Stereo Range Data / J. Porrill6：
Parallel Algorithms for Shape Representation / M. Brady7：
Locating a Known Object using a Generate and Test Strategy / D. Hogg8：
RSRE Experience Implementing Computer Vision Algorithms on Transputers, DAP and DIPOD Parallel Processors / A. Sleigh ; J. Radford ; G. Harp9：
Intermediate-Level Vision, Relations and Processor Arrays: An Application of Clip4 to Image Sequence Analysis / A. Wood10：
A Pipelined Architecture for a Video-Rate Canny Operator Used at the Initial Stage of a Stereo Image Analysis System / B. Ruff11：
A Distributed Architecture for Image Processing / A. Sahiner ; T. Kindberg ; Y. Paker12：
The Disputer: A Dual-Paradigm Parallel Processor for Graphics and Vision / I. Page13：
Design and Analysis of Image Processing Algorithms for Programmable VLSI Array Processors / L. Manning ; P.M. Dew ; H. Wang14：
The Design and Implementation of Low-Level Image Processing Algorithms on a Transputer Network / P. Morrow ; Prof. R.H. Perrott15：
Designing Efficient Systolic Algorithms for VLSI Parallel Processor Arrays / D. Evans16：
VLSI and WSI Associative String Processors for Computer Vision / R.M. Lea17：
Mapping Images onto Processor Array Hardware / S. Reddaway18：
A Dynamic, Load-Balanced, Active-Data Model of Parallel Processing for Vision / C. Jesshope19：
Optimisation, Regularisation, and Simulated Annealing in Low-Level Computer Vision / B. Buxton ; H. Buxton ; A. Kashko1：
Restoration of Binary Images Using Networks of Analogue Neurons / B. Forrest2：
Visual Reconstruction and the GNC Algorithm / A. Blake ; A. Zisserman3：
27.

図書
図書
27. Parallel algorithms and matrix computation (: pbk)
Jagdish J. Modi
出版情報: Oxford [Oxfordshire] : Clarendon Press , New York ; Tokyo : Oxford University Press, 1988  xi, 260 p. ; 22 cm
シリーズ名: Oxford applied mathematics and computing science series
所蔵情報: loading…
28.

図書
図書
28. Verifying concurrent processes using temporal logic (: gw ; : us)
Brent T. Hailpern
出版情報: Berlin ; New York : Springer-Verlag, 1982  viii, 208 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 129
所蔵情報: loading…
29.

図書
図書
29. Algorithms for parallel polygon rendering (: gw ; : us)
T. Theoharis
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vii, 147 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 373
所蔵情報: loading…
30.

図書
図書
30. Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (: gw ; : us)
J. Zwiers
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 272 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 321
所蔵情報: loading…
目次情報: 続きを見る
Contents: Introduction.
The languages DNP and TNP.
The semantics for TNP.
Correctness formulae.
Proof systems for TNP.
Completeness.
The Hoare and Invariant systems.
References.
Contents: Introduction.
The languages DNP and TNP.
The semantics for TNP.
31.

図書
図書
31. Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 713 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 354
所蔵情報: loading…
32.

図書
図書
32. Tutorial : parallel architectures for database systems (: casebound ; : microfiche)
A.R. Hurson, L.L. Miller, and S.H. Pakzad
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1989  viii, 473 p. ; 29 cm
所蔵情報: loading…
33.

図書
図書
33. Instrumentation for future parallel computing systems
edited by Margaret Simmons, Rebecca Koskela, Ingrid Bucher
出版情報: New York : ACM Press , Redwood City, Calif. : Addison-Wesley, 1989  xx, 260 p. ; 25 cm
シリーズ名: ACM Press frontier series
所蔵情報: loading…
34.

図書
図書
34. Communication and concurrency (: pbk)
Robin Milner
出版情報: New York ; London ; Tokyo : Prentice Hall, 1989  xi, 260 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
35.

図書
図書
35. Fairness (: U.S. ; : Ger.)
Nissim Francez
出版情報: New York ; Tokyo : Springer, 1986  xiii, 295 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
36.

図書
図書
36. Supercomputers of today and tomorrow : the parallel processing revolution (: pbk.)
Richard A. Jenkins
出版情報: Blue Ridge Summit, PA : Tab Books, c1986  ix, 213 p., [4] p. of plates ; 24 cm
所蔵情報: loading…
37.

図書
図書
37. Parallel algorithms on a multiprocessor
by Peter N. Oleinick
出版情報: Ann Arbor, Mich. : UMI Research Press, c1982  xi, 110 p. ; 24 cm
シリーズ名: Computer science ; Systems programming ; no. 4
所蔵情報: loading…
38.

図書
図書
38. Parallel processing
Pergamon Infotech
出版情報: Oxford ; New York : Pergamon Infotech, c1987  ix, 336 p. ; 31 cm
シリーズ名: State of the art report ; ser. 15, no. 4
所蔵情報: loading…
39.

図書
図書
39. Parallel MIMD computation : the HEP supercomputer and its applications
edited by J.S. Kowalik
出版情報: Cambridge, Mass. : MIT Press, c1985  411 p. ; 24 cm
シリーズ名: The MIT Press series in scientific computation
所蔵情報: loading…
40.

図書
図書
40. Introduction to numerical methods for parallel computers (: Halsted ; : Ellis Horwood)
U. Schendel ; translator, B.W. Conolly
出版情報: Chichester : E. Horwood , New York : Halsted Press, c1984  151 p. ; 24 cm
シリーズ名: Ellis Horwood series in mathematics and its applications ; . Statistics and operational research
所蔵情報: loading…
41.

図書
図書
41. Computational complexity of sequential and parallel algorithms
Lydia Kronsjö
出版情報: Chichester : Wiley, 1986, c1985  x, 224 p. ; 24 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
42.

図書
図書
42. The theory of database concurrency control
Christos Papadimitriou
出版情報: Rockville, MD : Computer Science Press, c1986  xi, 239 p. ; 24 cm
シリーズ名: Principles of computer science series
所蔵情報: loading…
43.

図書
図書
43. Neural and massively parallel computers : the sixth generation
Branko Souček and Marina Souček
出版情報: New York : Wiley, c1988  xix, 460 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Future Trends: Sixth Generation
Advances in Logic and Knowledge Engineering
Systems Emulating Human Behavior
Systems Emulating Brain-Behavior Functions
Brain-Like Systems Under Development
Cognitrons and Neocognitrons
Adaptive Learning Systems
Goal-Directed Systems
Digital Transformation Systems and Pseudo-Associative Memories
Associative-Memory Based Systems
Massively Parallel Systems
Biomodels and Hardware Architectures
Simulation of Biological Systems
Biosignals and their Computer Processing
Communication Based on Timing in Insects
Communication Based on Frequency Pattern Recognition in Birds
Models of Quantized Information Transmission on Neural Terminals
Biolanguages and Software
Information Coding
Communication Based on Pulse Pattern Recognition of Fireflies
Brain Window Logic
Brain Window Language
Future Trends: Sixth Generation
Advances in Logic and Knowledge Engineering
Systems Emulating Human Behavior
44.

図書
図書
44. Parallel computers : architecture, programming, and algorithms (: hbk ; : pbk)
R.W. Hockney, C.R. Jesshope
出版情報: Bristol : Adam Hilger, c1981  xiii, 423 p. ; 24 cm
所蔵情報: loading…
45.

図書
図書
45. Dynamic resource allocation in distributed computing systems
by Charles R. Vick
出版情報: Ann Arbor, Mich. : UMI Research Press, c1981  xvi, 153 p. ; 24 cm
シリーズ名: Computer science ; Distributed database systems ; no. 2
所蔵情報: loading…
46.

図書
図書
46. Communicating sequential processes (: pbk)
C.A.R. Hoare
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1985  viii, 256 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
Communication / 4：
Sequential Processes / 5：
Shared Resources / 6：
Discussion / 7：
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
47.

図書
図書
47. Synchronization of parallel programs. 1st MIT Press ed
F. André, D. Herman, and J.-P. Verjus ; translated by J. Howlett
出版情報: Cambridge, Mass. : MIT Press, 1985  x, 110 p. ; 24 cm
シリーズ名: MIT Press series in scientific computation
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼