Вы здесь

Главная

J. Information Processing

Связанные издания:

32-bit Microprocessors Based on the TRON Architecture Specification
A 32-bit LISP Processor for the AI Workstation ELIS with a Multiple Programming Paragigm Language, TAO
A 64-bit RISC Microprocessor for Parallel Computer Systems
A Bidirectional Method for Numerical Conformal Mapping Based on the Charge Simulation Method
Abstract Machine Approach to Operational Semantics of Prolog
A Knowledge Acquisition Method Based on a Multi-Attribute Utility Model
A Local Operating System for the A-NET Parallel Object-Oriented Computer
A Message-Pool-Based Parallel Operating System for the Kyushu University Reconfigurable Parallel Processor - Parallel Creation of Multiple Threads
A Method for Analyzing the Mutual Exclusion Overhead of Tightly Coupled Multiprocessors
A Multiway Merge Sorter for Sorting of Large Databases
An Algorithm for Constructing a Semi-LL(2) Grammar s Parsing Table
An Algorithm for Constructing Extensions of Propositional Autoepistemic Logic
An Alternative Analysis of the Algorithm for Separate Chaining Technique of the Hashing Method
An Architecture of a Specification Design Expert System
An Automatic Testing Environment for LArge-Scale Operating Systems
An Experimental Reflective Programming System Written in GHC
An Image Retrieval Mathod Using Inquiries on Spatial Relationships
An Operating System for the Intellectual Distributed Processing System - An Object Oriented Approach Based on Broadcast Communication
A Proposal for an Operating System Designed for Cluster Servers
Arhitecture of an AI Processor Chip (IP 1704)
A String Search Processor LSI
A Translator Description Language TDL for Specification Languages and Automatic Generation of their Translators
Brightness Information Processing Based on a Human Visual Model
Bug Localization Based on Error-Cause-Chasing Methods
Canae: A Platform for Constructing Graphical User Interfaces with Editors
Current Status of Software Engineering in Japan
Design and Implementation of Kyoto Common Lisp
Design Issues of OMEGA: An Object-Oriented Multimedia Database Management System
Design of the Dataflow Single-Chip Processor EMC-R
Design of the XERO Open Distributed Operating System
Design Phylisophy of a High Performance BiCMOS Microprocessor
Design Verification of Sequential Control Circuits Based on Theorem-Proving Method
Discourse Understanding and World Knowledge
Efficient Execution of Fine-Grain Parallelism on a Tightly-Coupled Multiprocessor
EusLisp: An Object-Based Implementation of Lisp
Evaluation of Storage Structures in Image Database System
Experimental Evaluation of Team Performance in Program Development Based on a Model - Extension of a Programmer Performance Model
-extension of Algebraic Specification
Generation of Path Directed LALR(k) Parsers for Regular Right Part Grammars
HiLisp- a Common Lisp with an Optimizing Compiler on a Mainframe
History of UtiLisp Hacking
HLisp- Its Concept, Implementation and Applications
Implementation and Evaluation of ASN.1 Compiler
Improving Software Productivity with Upper CASE Tools
Integrated Natural Language Analysis with an Integrated Parsing Engine IPE
Knowledge-Based Spelling Correction in Unix Command Names
Knowledge Table: An Approach to Speeding up the Search for Relational Information in Knowledge Base
Language, Representation and Contexts
Large-scale Distributed Processing System Using Loop Networks
Microkernel Operating System Architecture and Mach