Results 131 to 140 of about 24,072 (185)

ISA packager

Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, 2011
In software projects, and particularly in Software Product Line (SPL) projects, product composition and deployment are tasks that are not supported by open source tools. These tasks are repetitive and error-prone. Automation helps on reducing the errors while the productivity increases.
Jesús García-Galán, Pablo Trinidad, Antonio Ruiz Cortés   +2 more
openaire   +2 more sources

Typing the ISA to cluster the processor

Future Generation Computer Systems, 2001
We propose a separation of the processor units to decrease the communication path lengths. The motivation comes from the increasing importance of intrachip signaling delays. The technique consists in separating the instruction set into types and the die into corresponding units.
openaire   +4 more sources

Directions in ISA Specification

2012
This rough diamond presents a new domain-specific language (DSL) for producing detailed models of Instruction Set Architectures, such as ARM and x86. The language’s design and methodology is discussed and we propose future plans for this work. Feedback is sought from the wider theorem proving community in helping establish future directions for this ...
openaire   +2 more sources

Isa

1643233114
openaire   +1 more source

Isa Sadiqov

2017
Isa Sadiqov, Azerbaijani ...
openaire   +1 more source

Erfaringer 402 ISA & ISAE 3402

2013
Denne præsentation inddrager erfaringer med anvendelse af de internationale revisionsstandarder ISA 402 & ISAE 3402, herunder hvilke forholdsregler brugervirkomhedens revisor skal tage sig af. Præsentationen viser hvilke periode erklæringen skal dække, samt revisors ansvar for perioden efter erklæringes afgivelsen.
openaire   +1 more source

Isa Genzken

2021
Encyclopaedic monographic entry on Isa Genzken, German artist (sculptor) of the second half of the 20th century.
openaire   +1 more source

ISA

2023
openaire   +1 more source

Decadal Spatiotemporal Halocline Analysis by ISAS15 Due to Influx of Major Rivers in Oceans and Discrepancies Illustrated Near the Bay of Bengal

Water (Switzerland), 2020
Shengchun Piao
exaly  

ISA

Physics Today, 1964
openaire   +1 more source