Pregled bibliografske jedinice broj: 141558
Towards a Mathematical Specification of the APE100 Architecture
Towards a Mathematical Specification of the APE100 Architecture // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, A. Simon (ur.).
Amsterdam: Elsevier, 1994. str. 396-401 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 141558 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Towards a Mathematical Specification of the APE100 Architecture
Autori
E. Boerger, G. Del Castillo, P. Glavan, D. Rosenzweig
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
IFIP 13th World Computer Congress, volume I: Technology/Foundations
/ B. Pehrson, A. Simon - Amsterdam : Elsevier, 1994, 396-401
Skup
IFIP 13th World Computer Congress
Mjesto i datum
Amsterdam, Nizozemska, 28.08.94-02.09.04
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
APE100; Apese; Architecture; Evolving Algebra; Specification
Sažetak
Defines an ASM model of the high-level programmer's view of the APE100 parallel architecture. Later was refined to an ASM processor model.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
