Overview of the Parallel Inference Machine Operating System (PIMOS)

Chikayama, Takashi; Satō, Hiroyuki; Miyazaki, Toshihiko

doi:10.1007/978-1-4471-3156-4_25

Cited by 30 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…By reviewing the literature, it is possible to find some references to a knowledge-based operating system. ( (Sansonnet, Castan, Percebois, Botella, & Perez, 1982), (Vilensky, Arens, & Chin, 1984), (Blair, Mariani, Nicol, & Shepherd, 1987), (Chikayama, Sato, & Miyazaki, 1988), (Moon, 1985), (Larner, 1990), (Ali & Karlsson, 1990), (Xie, Du, Chen, Zheng, & Sun, 1995), (Patki, Raghunathan, & Khurshid, 1997), (Jankowski & Skowron, 2007)). Other approaches involve the application of artificial intelligence techniques through kernel implants 6 to achieve better interfaces in traditional operating systems ( (Pasquale, 1987), (Chu, Delp, Jamieson, Siegel, & Whinston, 1989), (Zomaya, Clements, & Olariu, 1998); (Kandel, Zhng, & Henne, 1998); (Holyer & Pehlivan, 2000), (Lim & Cho, 2007)).…”

Section: Related Workmentioning

confidence: 99%

Machine Biological Clock: Exploring the Time Dimension in an Organic-Based Operating System

Mattos¹

2011

Ubiquitous Computing

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Machine Biological Clock: Exploring the Time Dimension in an Organic-Based Operating System

Mattos¹

2011

Ubiquitous Computing

View full text Add to dashboard Cite

“…KLl [3] is designed for ICOT's PIM ' [6] by adding system programming support features to FGHC. Other similar languages and architectures based on the Warren Abstract Machine ' Figure 4 shows the PIM pilot machine.…”

Section: Motivation For Cache Designmentioning

confidence: 99%

Design and performance of a coherent cache for parallel logic programming architectures

Goto

Matsumoto

Tick

1989

Proceedings of the 16th Annual International Symposium on Computer Architecture - ISCA '89

View full text Add to dashboard Cite

This paper describes the design and performance of a tightlycoupled shared-memory coherent cache optimized for the execution of parallel logic programming architectures. The cache utilizes a copy-back write-allocation protocol having five states and a hardware lock mechanism.Optimizations for logic programming are introduced in four softwarecontrolled memory access commands: direct-write, exclusiveread, read-purge, and read-invalidate.In this paper we describe these operations and present simulated measurements showing their performance advantage for an architecture of the committed-choice language KLl. The cache optimizations also improve the performance of non-committed-choice languages, such as OR-parallel Prolog.A version of the cache design described here is currently being implemented for ICOT's Parallel Inference Machine (PIM).

show abstract

Role of logic programming in the FGCS project

Fuchi

Furukawa

1991

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Overview of the Parallel Inference Machine Operating System (PIMOS)

Cited by 30 publications

References 5 publications

Machine Biological Clock: Exploring the Time Dimension in an Organic-Based Operating System

Machine Biological Clock: Exploring the Time Dimension in an Organic-Based Operating System

Design and performance of a coherent cache for parallel logic programming architectures

Role of logic programming in the FGCS project

Contact Info

Product

Resources

About