Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
MPA - Máquina Prolog Associativa
View through CrossRef
As arquiteturas convencionais de computadores, baseadas no modelo de von Neumann, não se mostram adequadas para o desenvolvimento de um ambiente eficiente para a linguagem Prolog, fundamentada em mecanismos de unificação e retrocesso automático. Este trabalho propõe a arquitetura de um acelerador, baseado em memória associativa, para ser interligado a uma máquina virtual Prolog desenvolvida na COPPE/UFRJ. A arquitetura proposta aumenta a eficiência da máquina virtual explorando o paralelismo da memória associativa na realização do mecanismo de retrocessso e desrefereciamento. O impacto no desempenho da máquina virtual decorrente da nova arquitetura foi simulado e avaliado utilizando programas de teste simples encontrados na literatura.
Title: MPA - Máquina Prolog Associativa
Description:
As arquiteturas convencionais de computadores, baseadas no modelo de von Neumann, não se mostram adequadas para o desenvolvimento de um ambiente eficiente para a linguagem Prolog, fundamentada em mecanismos de unificação e retrocesso automático.
Este trabalho propõe a arquitetura de um acelerador, baseado em memória associativa, para ser interligado a uma máquina virtual Prolog desenvolvida na COPPE/UFRJ.
A arquitetura proposta aumenta a eficiência da máquina virtual explorando o paralelismo da memória associativa na realização do mecanismo de retrocessso e desrefereciamento.
O impacto no desempenho da máquina virtual decorrente da nova arquitetura foi simulado e avaliado utilizando programas de teste simples encontrados na literatura.
Related Results
PENGARUH PENGGUNAAN VARIASI PH AIR TERHDAPA KUAT TEKAN BETON NORMAL
PENGARUH PENGGUNAAN VARIASI PH AIR TERHDAPA KUAT TEKAN BETON NORMAL
Dalam pembuatan betonair sangat diperlukan untuk memicu proses kimiawi semen, membasahi agregat halus, dan memberikan kemudahan dalam pekerjaan beton. Pada dasarnya air yang diguna...
Reducing High Pressure Processing Costs: Efficacious Alternatives to Current Standard Procedures in the Food Manufacturing Industry
Reducing High Pressure Processing Costs: Efficacious Alternatives to Current Standard Procedures in the Food Manufacturing Industry
Abstract
As a result of recent advancements in design and optimization of high-pressure processing units, the technology is gaining rapid adoption across various se...
Automated Theorem Proving for Prolog Verification
Automated Theorem Proving for Prolog Verification
LPTP (Logic Program Theorem Prover) is an interactive natural-deduction-based the- orem prover for pure Prolog programs with negation as failure, unification with the occurs check,...
PENGARUH PENGGUNAAN PASIR LAUT PANTAI TERHADAP KUAT TEKAN DAN TARIK BELAH BETON - MRK
PENGARUH PENGGUNAAN PASIR LAUT PANTAI TERHADAP KUAT TEKAN DAN TARIK BELAH BETON - MRK
Akibat melimpahnya pasir Pantai di Desa Serang yang pada dasarnya secara geografis berada di dekat Pantai,menyebabkan banyak Masyarakat Serang yang memanfaatkan agregat pasir Panta...
Research progress of solid waste resource utilization backfill mining for Jinchuan Nickel Mine, China
Research progress of solid waste resource utilization backfill mining for Jinchuan Nickel Mine, China
The Jinchuan Nickel Mine is the largest large-scale copper–nickel sulfide deposit in China and the third largest in the world. Due to the deep burial of the ore body, high geostres...
Structural and Textural Changes in Kinu‐Tofu Due to High‐Pressure‐Freezing
Structural and Textural Changes in Kinu‐Tofu Due to High‐Pressure‐Freezing
ABSTRACT
To determine the effect of high‐pressure‐freezing on quality, kinu‐tofu (soybean curd) was frozen at 100 MPa (ice I), 200 MPa (liquid phase), 340 MPa (ic...
Kaji eksperimen pengaruh hardening dan tempering terhadap kekuatan tarik dan kekerasan pada baja karbon sedang
Kaji eksperimen pengaruh hardening dan tempering terhadap kekuatan tarik dan kekerasan pada baja karbon sedang
This study aims to determine the effect of hardening and tempering on tensile strength (ASTM E 8) and hardness (Rockwell) applied to medium carbon steel. The heat treatment process...