Institute for New Generation Computer Technology (Icot)
Springer-Verlag, 1988 - Computer architecture - 1302 pages
FGCS'88 was held with the objective of reporting on the current status and results of the research activities conducted by the Institute for New Generation Computer Technology (ICOT), Japan, in the intermediate stage of its FGCS projects, as well as encouraging researchers and representatives from business and the government to present papers, report research results and exchange opinions. The proceedings are published in three volumes. Volume 1 includes the plenary sessions and reports on ICOT research topics. Volumes 2 and 3 include a collection of invited and submitted technical papers in the areas of foundations, software, architecture and applications.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Theory and Practice of Concurrent Systems A Position Paper
Logic Programming Languages
Performance of ANDParallel Execution of Logic Programs on a SharedMemory Multiprocessor
52 other sections not shown
Other editions - View all
abstract active algorithm allocated AND-parallel architecture argument array Artificial Intelligence backtracking binding branch cache CARMEL-2 cell choicepoint chord clause cluster compiler concurrent CONFERENCE ON FIFTH Connection Machine corresponding cycle Dactl dataflow dereferencing efficient encoding example FIFTH GENERATION COMPUTER Figure Fleng function garbage collection global goal graph hardware ICOT implementation inference machine input instantiated instruction set integer interface International Conference interpretation load balancing Logic Programming logic programming language macro-call matching memory banks multiport multiprocessor node object operand operation or-parallel overhead parallel computation parallel execution PEPSys performance pipeline pointer port memory predicate problem procedure processor programming language Prolog reference represented result rewriting rules scheduling scheme semantics sequence sequential shared memory SIMD simulation speedup stack stored strategy structure suspended techniques term tion token tree tuple unification unify variable VLIW