Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 633640

Automatic TLM Generation for Early Validation of Multicore Systems

Abdi, Samar; Schirner, Gunar; Yonghyun Hwang; Gajski, Daniel D.; Lochi Yu
Automatic TLM Generation for Early Validation of Multicore Systems // IEEE design & test of computers, 28 (2011), 3; 10-19 doi:10.1109/MDT.2010.117 (međunarodna recenzija, članak, znanstveni)

CROSBI ID: 633640 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Automatic TLM Generation for Early Validation of Multicore Systems

Autori
Abdi, Samar ; Schirner, Gunar ; Yonghyun Hwang ; Gajski, Daniel D. ; Lochi Yu

Izvornik
IEEE design & test of computers (0740-7475) 28 (2011), 3; 10-19

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
formal specification; formal verification; multiprocessing systems; automatic TLM generation; early validation; multicore systems; software applications; software vendors; task- level specification; transaction-level models; Computational modeling; Digital audio players; Multicore processing; Semantics; Time domain analysis; Time varying systems; Transaction databases; TLM; design and test; embedded systems; multicore design; transaction-level modeling

Sažetak
This article suggests a methodology to validate software applications for a multicore platform by automatically generating transaction-level models from task-level specification of the applications. Software vendors developing applications for multicore platforms can leverage this methodology for early validation.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA

Projekti:
036-0362980-1929 - Oblikovanje okolina za ugradene sustave (Sruk, Vlado, MZO ) ( CroRIS)

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Daniel Gajski (autor)

Poveznice na cjeloviti tekst rada:

Pristup cjelovitom tekstu rada doi ieeexplore.ieee.org

Citiraj ovu publikaciju:

Abdi, Samar; Schirner, Gunar; Yonghyun Hwang; Gajski, Daniel D.; Lochi Yu
Automatic TLM Generation for Early Validation of Multicore Systems // IEEE design & test of computers, 28 (2011), 3; 10-19 doi:10.1109/MDT.2010.117 (međunarodna recenzija, članak, znanstveni)
Abdi, S., Schirner, G., Yonghyun Hwang, Gajski, D. & Lochi Yu (2011) Automatic TLM Generation for Early Validation of Multicore Systems. IEEE design & test of computers, 28 (3), 10-19 doi:10.1109/MDT.2010.117.
@article{article, author = {Abdi, Samar and Schirner, Gunar and Gajski, Daniel D.}, year = {2011}, pages = {10-19}, DOI = {10.1109/MDT.2010.117}, keywords = {formal specification, formal verification, multiprocessing systems, automatic TLM generation, early validation, multicore systems, software applications, software vendors, task- level specification, transaction-level models, Computational modeling, Digital audio players, Multicore processing, Semantics, Time domain analysis, Time varying systems, Transaction databases, TLM, design and test, embedded systems, multicore design, transaction-level modeling}, journal = {IEEE design and test of computers}, doi = {10.1109/MDT.2010.117}, volume = {28}, number = {3}, issn = {0740-7475}, title = {Automatic TLM Generation for Early Validation of Multicore Systems}, keyword = {formal specification, formal verification, multiprocessing systems, automatic TLM generation, early validation, multicore systems, software applications, software vendors, task- level specification, transaction-level models, Computational modeling, Digital audio players, Multicore processing, Semantics, Time domain analysis, Time varying systems, Transaction databases, TLM, design and test, embedded systems, multicore design, transaction-level modeling} }
@article{article, author = {Abdi, Samar and Schirner, Gunar and Gajski, Daniel D.}, year = {2011}, pages = {10-19}, DOI = {10.1109/MDT.2010.117}, keywords = {formal specification, formal verification, multiprocessing systems, automatic TLM generation, early validation, multicore systems, software applications, software vendors, task- level specification, transaction-level models, Computational modeling, Digital audio players, Multicore processing, Semantics, Time domain analysis, Time varying systems, Transaction databases, TLM, design and test, embedded systems, multicore design, transaction-level modeling}, journal = {IEEE design and test of computers}, doi = {10.1109/MDT.2010.117}, volume = {28}, number = {3}, issn = {0740-7475}, title = {Automatic TLM Generation for Early Validation of Multicore Systems}, keyword = {formal specification, formal verification, multiprocessing systems, automatic TLM generation, early validation, multicore systems, software applications, software vendors, task- level specification, transaction-level models, Computational modeling, Digital audio players, Multicore processing, Semantics, Time domain analysis, Time varying systems, Transaction databases, TLM, design and test, embedded systems, multicore design, transaction-level modeling} }

Časopis indeksira:


  • Current Contents Connect (CCC)
  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font
    CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.