mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Timing Analysis of Parallel Software Using Abstract Execution
Mälardalens högskola, Akademin för innovation, design och teknik. Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0001-8882-2292
Mälardalens högskola, Akademin för innovation, design och teknik. Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0001-6571-0175
Mälardalens högskola, Akademin för innovation, design och teknik. Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-5297-6548
2014 (engelsk)Inngår i: Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer Science Volume 8318, Springer, 2014, s. 59-77Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]

A major trend in computer architecture is multi-core processors. To fully exploit this type of parallel processor chip, programs running on it will have to be parallel as well. This means that even hard real-time embedded systems will be parallel. Therefore, it is of utmost importance that methods to analyze the timing properties of parallel real-time systems are developed.

This paper presents an algorithm that is founded on abstract interpretation and derives safe approximations of the execution times of parallel programs. The algorithm is formulated and proven correct for a simple parallel language with parallel threads, shared memory and synchronization via locks.

sted, utgiver, år, opplag, sider
Springer, 2014. s. 59-77
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8318
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-24523DOI: 10.1007/978-3-642-54013-4_4Scopus ID: 2-s2.0-84893344338ISBN: 978-3-642-54012-7 (tryckt)OAI: oai:DiVA.org:mdh-24523DiVA, id: diva2:698313
Tilgjengelig fra: 2014-02-21 Laget: 2014-02-21 Sist oppdatert: 2014-06-05bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gustavsson, AndreasGustafsson, JanLisper, Björn

Søk i DiVA

Av forfatter/redaktør
Gustavsson, AndreasGustafsson, JanLisper, Björn
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 38 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf