Results 311 to 320 of about 539,422 (337)
Some of the next articles are maybe not open access.

Architecture and Instruction Sets

1985
The 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

Encrypted computation on a one instruction set architecture

2016 International Conference on Circuit, Power and Computing Technologies (ICCPCT), 2016
As cloud computation becomes mainstream, the need to ensure the privacy of the data entrusted to third parties keeps raising. But the actual computation inside cloud microprocessors remains unencrypted. Thus, the opportunity of leakage is theoretically possible. Therefore, to address the challenge of protecting the computation inside the microprocessor,
K. S. Dharshana   +2 more
openaire   +2 more sources

Single Instruction Set Architectures for Image Processing

SPIE Proceedings, 2002
For more than fifty years, computer engineers have sought to construct minimal computers using only a single instruction computer. While it might appear to be a simple academic exercise, remarkably, a rich computation paradigm can be developed using this approach, with important applications and implications in reconfigurable, chemical, optical and ...
William F. Gilreath, Phillip A. Laplante
openaire   +2 more sources

Instruction Set Architecture Enhancements for Video Processing

2005 IEEE International Conference on Application-Specific Systems, Architecture Processors (ASAP'05), 2006
This paper presents some of the enhancements to the TriMedia instruction set architecture (ISA), as supported by the TM3270 media-processor. We show how the new operations are used to optimize the individual MPEG2 encoder kernels. Furthermore, we quantify the contribution of these kernels to overall MPEG2 encoder performance.
J.-W. van de Waerdt   +1 more
openaire   +2 more sources

Formalizing GPU Instruction Set Architecture in Coq

Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), 2019
GPUs are now a mainstream compute device. They are widely used to render images on medical devices. Today, it has become impossible to imagine AI without them. To build confidence on the accuracy of rendering images and complex calculations, it is essential to consider formalizing the behaviour of GPU Instruction Set Architecture (ISA) at the assembly ...
Meenakshi D'Souza   +2 more
openaire   +2 more sources

A simple project for teaching instruction set architecture

Fifth IEEE International Conference on Advanced Learning Technologies (ICALT'05), 2005
This paper presents a teaching method for a possible computer architect by using a simple project for an undergraduate-level computer architecture course. The goal of the project is to let students (two or three students per team) understand the concept of computer hardware and how to design a simple RISC-type 16/32-bit instruction set architecture ...
openaire   +2 more sources

High-Speed Operation of Random-Access-Memory-Embedded Microprocessor With Minimal Instruction Set Architecture Based on Rapid Single-Flux-Quantum Logic

IEEE transactions on applied superconductivity, 2017
R. Sato   +6 more
semanticscholar   +1 more source

Specifying instruction-set architectures in HOL: A primer

1994
This paper presents techniques for specifying microprocessor instruction set syntax and semantics in the HOL theorem proving system. The paper describes the use of abstract representations for operators and data, gives techniques for specifying instruction set syntax, outlines the use of records in specifying semantic domains, presents the creation of ...
openaire   +2 more sources

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor

World Congress on Formal Methods, 2016
Zhé Hóu   +4 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy