|
An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes discrete time paradigm. The tower of a personal computer (specifically a Power Mac G5). ...
Wikibooks Wikiversity has more about this subject: School of Computer Science Open Directory Project: Computer Science Collection of Computer Science Bibliographies Belief that title science in computer science is inappropriate Categories: Computer science | Academic disciplines ...
Computer engineering (also sometimes called Computer systems engineering) is a specialised discipline that combines electrical engineering and computer science. ...
Discrete time is non-continuous time. ...
Since the late 1800s, the word paradigm has referred to a thought pattern in any scientific discipline or other epistemological context. ...
Abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms (see computational complexity theory). A typical abstract machine consists of a definition in terms of input, output, and the set of allowable operations used to turn the former into the latter. The best-known example is the Turing machine. In philosophy, physics, and other fields, a thought experiment (from the German Gedankenexperiment) is an attempt to solve a problem using the power of human imagination. ...
Complexity theory is part of the theory of computation dealing with the resources required during computation to solve a given problem. ...
Artists conception of a universal Turing machine. ...
More complex definitions create abstract machines with full instruction sets, registers and models of memory. One popular model more similar to real modern machines is the RAM model, which allows random access to indexed memory locations. As the performance difference between different levels of cache memory grows, cache-sensitive models such as the external-memory model and cache-oblivious model are growing in importance. An instruction set, or instruction set architecture (ISA), describes the aspects of a computer architecture visible to a programmer, including the native datatypes, instructions, registers, addressing modes, memory architecture, interrupt and exception handling, and external I/O (if any). ...
In computer architecture, a processor register is a small amount of very fast computer memory used to speed the execution of computer programs by providing quick access to commonly used values—typically, the values being in the midst of a calculation at a given point in time. ...
The terms storage and memory refer to the parts of a digital computer that retain physical state (data) for some interval of time, possibly even after electrical power to the computer is turned off. ...
An abstract machine can also refer to a microprocessor design which has yet to be (or is not intended to be) implemented as hardware. An abstract machine implemented as a software simulation, or for which an interpreter exists, is called a virtual machine. Microprocessors, including an Intel 80486DX2 and an Intel 80386 A microprocessor (abbreviated as µP or uP) is an electronic computer central processing unit (CPU) made from miniaturized transistors and other circuit elements on a single semiconductor integrated circuit (IC) (aka microchip or just chip). ...
Interpreter can mean one of the following: In communication, an interpreter is a person whose role is to facilitate dialogue between two parties that do not use the same language. ...
In general terms, a virtual machine in computer science is software that creates an environment between the computer platform and the end user in which the end user can operate software. ...
Through the use of abstract machines it is possible to compute the amount of resources (time, memory, etc.) necessary to perform a particular operation without having to construct an actual system to do it.
List of abstract machines
- This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
ABC is an imperative general-purpose programming language and programming environment from CWI, Netherlands. ...
Abstract Machine Notation (AMN) is a programming language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions. ...
ALF is a programming language which combines functional and logic programming techniques. ...
CAML (Categorical Abstract Machine Language) is a version of ML developed by G. Huet, G. Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny and others from both INRIA and ENS. Implemented in Lisp, it was nicknamed Heavy CAML because of its memory and CPU requirements relative to its successor...
In linguistics and computer science, a context-free grammar (CFG) is a formal grammar in which every production rule is of the form V → w where V is a non-terminal symbol and w is a string consisting of terminals and/or non-terminals. ...
In the theory of computation, a finite state machine (FSM) or finite state automaton (FSA) is an abstract machine that has only a finite, constant amount of memory. ...
The lambda calculus is a formal system designed to investigate function definition, function application, and recursion. ...
SDL (short for Specification and Description Language) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. ...
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set [War83]. This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers. ...
MMIX is a 64-bit RISC virtual machine designed by Donald Knuth, with significant contributions by John Hennessy (who designed the MIPS chip) and Dick Sites (who was the architect of the Alpha chip). ...
The Free On-line Dictionary of Computing (FOLDOC) is an on-line, searchable encyclopedic dictionary of computing subjects. ...
GNU logo The GNU Free Documentation License (GNU FDL or simply GFDL) is a copyleft license for free content, designed by the Free Software Foundation (FSF) for the GNU project. ...
See also |
Feeds |
Contact