Summary form only given. the world's first microprocessor, the 4004, was co-developed by Busicom, a Japanese manufacturer of calculators, and Intel, a U.S. manufacturer of semiconductors. During the development of...
详细信息
Summary form only given. the world's first microprocessor, the 4004, was co-developed by Busicom, a Japanese manufacturer of calculators, and Intel, a U.S. manufacturer of semiconductors. During the development of a general-purpose LSI for not only desktop calculators but also other business machines, originally based on a decimal computer with a stored program method, a basic architecture of 4004 was developed in August 1969; a concrete plan for the 4004 system was finalized in December 1969; and the first microprocessor was successfully developed in March 1971. Microprocessors, which became the "technology to open up a new era", brought two outstanding impacts, "power of intelligence" and "power of computing". First, microprocessors opened up a new "era of programming" through replacing with software, the hardwired logic based on IC's of the former "era of logic". At the same time, microprocessors allowed young engineers access to "power of computing" for the creative development of personal computers and computer games, which in turn led to growth in the software industry, and paved the way to the development of high-performance microprocessors. Development engineers involved in creative development can be likened to explorers who go into unmapped territory without a compass, having hope for success and fear of failure. Also, an engineer must be armed withthe firm belief that his mission is nothing but development, and must be determined to go his own way, never following another's tracks. In this paper, the birth, evolution and future of microprocessor are described. 4004 performance was only 0.06 MIPS with 2,238 transistors and 750 KHz operating frequency. Microprocessors evolved from 4 bit to 64 bit microprocessors, introducing computer technologies such as pipeline, super-pipeline, super-scalar, VLIW, cache memory, and virtual memory system. Now, it is possible to integrate 16 sets of microprocessor with 64GB of memory on the board. In 20th century, micropro
We introduce our implemented modal logicprogramming system MProlog. this system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be used in MProlog programs. the system c...
详细信息
We investigate the methodology of utilizing domain dependent knowledge in solving the planning problem in answer set programming. We provide a classification of domain dependent knowledge, and for each class, a coding...
详细信息
In this paper we consider a logicprogramming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic logic Programs (p-programs) of Ng and Subrahmanian....
详细信息
In this paper we investigate how to extend a generic constraint solver that provides not only tell constraints (by adding the constraint to the store) but also ask tests (by checking whether the constraint is entailed...
详细信息
In this communication, we describe work-in-progress on "webized" logic programs, and the use of these programs for policy formulation and exchange in the context of conducting e-commerce.
ISBN:
(纸本)3540226710
In this communication, we describe work-in-progress on "webized" logic programs, and the use of these programs for policy formulation and exchange in the context of conducting e-commerce.
Jinni 2004 [1] (available from http://***/Jinni) expresses various agent programming constructs in terms of an Object Oriented logicprogramming layer implemented on top of a Java-based Prolog compiler. the architectu...
ISBN:
(纸本)3540226710
Jinni 2004 [1] (available from http://***/Jinni) expresses various agent programming constructs in terms of an Object Oriented logicprogramming layer implemented on top of a Java-based Prolog compiler. the architecture provides a high degree of compositionality through the use of a small set of orthogonal programming language constructs.
We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that derivations are input-consuming, a notion introdu...
详细信息
暂无评论