Results 321 to 330 of about 8,185,322 (352)
Some of the next articles are maybe not open access.
Instructing Equational Set-Reasoning with Otter
2001An experimentation activity in automated set-reasoning is reported. The methodology adopted is based on an equational reengineering of ZF set theory within the ground formalism L× developed by Tarski and Givant. On top of a kernel axiomatization of map algebra we develop a layered formalization of basic set-theoretical concepts.
FORMISANO A +2 more
openaire +6 more sources
1997
Extraction is a very common concept in ECAD, which is generally used as a means of validation, such as parameter extraction or netlist extraction from mask layout. In this chapter we present an extraction technique intended to provide the necessary link between hardware-oriented processor models and advanced code generation algorithms Instruction-set ...
openaire +2 more sources
Extraction is a very common concept in ECAD, which is generally used as a means of validation, such as parameter extraction or netlist extraction from mask layout. In this chapter we present an extraction technique intended to provide the necessary link between hardware-oriented processor models and advanced code generation algorithms Instruction-set ...
openaire +2 more sources
1981
The instruction set of a microprocessor is the repertoire of commands or instructions which the programmer uses to cause the CPU to produce known responses.
openaire +2 more sources
The instruction set of a microprocessor is the repertoire of commands or instructions which the programmer uses to cause the CPU to produce known responses.
openaire +2 more sources
Complex Instruction Set Computer
1992Die Architektur eines Computers wird in starkem Mase durch den Befehlssatz des verwendeten Prozessors gepragt (Instruction Set Processor). Auch die anderen Architekturmerkmale wie die Organisation des Speichers, der Ein-/ Ausgabe und die grundlegenden Datenformate konnen nicht isoliert vom Befehlssatz betrachtet werden.
Wolfram Schiffmann, Robert Schmitz
openaire +2 more sources
Architecture and Instruction Sets
1985The usual meaning of architecture stems from the design of buildings and is concerned with such things as the way that the purpose of the building is related to the use of space, the size and shape of the structure, the materials used, the aesthetic qualities of the building (does it look good?) and so on. An architect, or team of architects, will have
openaire +2 more sources
DSP Instruction Set Simulation
2010An instruction set simulator is an important tool for system architects and for software developers. However, when implementing a simulator, there are many choices which can be made and that have an effect on the speed and the accuracy of the simulation. They are especially relevant to DSP simulation.
Florian Brandner +2 more
openaire +2 more sources
Field Instruction in a Psychiatric Setting
The Clinical Supervisor, 1995New biological findings, major shifts in family intervention models, the failure of the deinstitutionlization movement to provide humane quality care for the mentally ill and shrinking community-based resources all suggest the need for vigorous social work leadership in the metal health field of practice.
Susan Matorin Acsw +2 more
openaire +2 more sources
2004
In this first chapter that looks ‘under the bonnet’ we discuss how to build instructions from micro-instructions.
openaire +2 more sources
In this first chapter that looks ‘under the bonnet’ we discuss how to build instructions from micro-instructions.
openaire +2 more sources
Addressing Modes; Instruction Set [PDF]
, 1988 The MC68000 has six addressing categories, each of which has variations that provide a total of 15 addressing modes, as shown in Table 4-1. Closer examination of these addressing modes reveals that they can be classified in four major groups, as follows: (1) Register Direct modes, (2) Memory Address modes, (3) Special Address modes, and (4) Program ...
openaire +1 more source