A GHC language processor in Prolog and GHC sample programs for benchmarking

A GHC language processor in Prolog and GHC sample programs for benchmarking

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Takagi, S. (VerfasserIn), Ueda, Kazunori (VerfasserIn), Chikayama, Takashi (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1988
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 439
Schlagworte:	Multiprocessors Programming languages (Electronic computers)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Transformation rules for GHC programs
von: Ueda, Kaunori, et al.
Veröffentlicht: (1988)

GHC-A, language for a new age of parallel programming
von: Furukawa, Koichi, et al.
Veröffentlicht: (1989)

Partial evaluation of GHC programs based on UR-set with constraint solving
von: Fujita, Hiroshi, et al.
Veröffentlicht: (1988)

A proposal for reflective GHC
von: Tanaka, Joro, et al.
Veröffentlicht: (1990)

Processor parallelism consideration and memory latency reduction in shared memory multiprocessors
von: Lilja, David J.
Veröffentlicht: (1991)

Algorithms for scalable synchronization on shared-memory multiprocessors
von: Mellor-Crummey, John M., et al.
Veröffentlicht: (1990)

An experiment on predicting and measuring the deterministic execution times of parallel programs on a multiprocessor
von: Kim, Jihong, et al.
Veröffentlicht: (1990)

Guarded Horn clauses a parallel logic programming language with the concept of a guard
von: Ueda, Kazunori
Veröffentlicht: (1986)

Parallel programs behavioral study on a shared multiprocessor
von: Lim, Hock-Beng, et al.
Veröffentlicht: (1991)

An evaluation of FGHC on a shared memory multiprocessor
von: Ozawa, Toshihiro, et al.
Veröffentlicht: (1988)

Hardware implementation of dynamic load balancing in the parallel inference machine PIM c
Veröffentlicht: (1992)

On the operational semantics of Guarded Horn Clauses
von: Ueda, Kazunori
Veröffentlicht: (1986)

Implementing reflection in GHC
von: Tanaka, Jiro
Veröffentlicht: (1991)

Programming massively parallel processors a hands-on approach
von: Kirk, David 1960-
Veröffentlicht: (2013)

Multiprogramming on multiprocessors
Veröffentlicht: (1991)

Performance models for multiprocessor computer systems
von: Yen, David Wei-Luen
Veröffentlicht: (1980)

Logic gates, circuits, processors, compilers and computers
von: Groote, Jan Friso 1965-, et al.
Veröffentlicht: (2021)

Multiprocessor execution of logic programs
von: Gupta, Gopal 1963-
Veröffentlicht: (1994)

A survey of concurrent readers and writers
von: Kirousis, Lefteris M., et al.
Veröffentlicht: (1989)

Load balancing vs. locality management in shared-memory multiprocessors
von: Markatos, Evangelos P., et al.
Veröffentlicht: (1991)

Workshop summary parallel computer systems software performance tools
von: Hayes, Ann H.
Veröffentlicht: (1992)

Parallel direct methods for solving banded linear systems
von: Saad, Yousef, et al.
Veröffentlicht: (1985)

Parallelism in logic programming
von: Ueda, Kazunori
Veröffentlicht: (1989)

Predictable virtual processors for real-time systems
von: Markatos, Evangelos P., et al.
Veröffentlicht: (1991)

Programming in Prolog Using the ISO Standard
von: Clocksin, William F., et al.
Veröffentlicht: (2003)

Prolog a logical approach
von: Dodd, Tony
Veröffentlicht: (1990)

A concurrent computer architecture and a ring based implementation
von: Farrell, Edward P., et al.
Veröffentlicht: (1979)

Inductive inference of context-free languages context-free expression method
von: Yokomori, Takashi
Veröffentlicht: (1986)

Coherent shared memory on a message passing machine
von: Bisiani, Roberto, et al.
Veröffentlicht: (1988)

A parallel algorithm for large sparse symbolic and numeric Cholesky facto rization on a multiprocessor
von: Zmijewski, Earl, et al.
Veröffentlicht: (1986)

Evaluation of parallel logic simulation system using the Time Warp mechanism
von: Matsumoto, Yukinori, et al.
Veröffentlicht: (1991)

Parallel inference system researches in the FGCS Project
von: Chikayama, Takashi
Veröffentlicht: (1987)

Using processor-cache affinity information in shared-memory multiprocessor scheduling
von: Squillante, Mark S., et al.
Veröffentlicht: (1990)

Pentium processor family user's manual
Veröffentlicht: (1994)

The unique features of PIM k a parallel inference machine with hierarchical cache system
von: Asano, Shigehiro, et al.
Veröffentlicht: (1992)

Creativity in load-balance schemes for multi/many-core heterogeneous graph computing emerging research and opportunities
von: Garcia-Robledo, Alberto, et al.
Veröffentlicht: (2018)

Undecidability of determinacy, two decidable cases of determinacy and their applications to source-to-source transformation of Prolog programs
von: Sawamura, Hajime
Veröffentlicht: (1986)

Efficient use of systems with many processors
von: Chansler, Robert J.
Veröffentlicht: (1986)

The event based language and its multiple processor implementations
von: Reuveni, Asher
Veröffentlicht: (1980)

Computer languages a guide for the perplexed
von: Baron, Naomi S.
Veröffentlicht: (1986)