mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer Science Volume 8318, Springer, 2014, s. 59-77Kapitel i bok, del av antologi (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 2014. s. 59-77
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8318
Nationell ämneskategori
Teknik och teknologier
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
Tillgänglig från: 2014-02-21 Skapad: 2014-02-21 Senast uppdaterad: 2014-06-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Gustavsson, AndreasGustafsson, JanLisper, Björn

Sök vidare i DiVA

Av författaren/redaktören
Gustavsson, AndreasGustafsson, JanLisper, Björn
Av organisationen
Akademin för innovation, design och teknikInbyggda system
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 38 träffar
RefereraExporteraLänk till posten
Permanent länk

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