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
Toward Static Timing Analysis of Parallel Software
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0001-8882-2292
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0001-6571-0175
Mälardalens högskola, Akademin för innovation, design och teknik. (IS)ORCID-id: 0000-0001-5297-6548
2012 (Engelska)Ingår i: Proc. 12th International Workshop on Worst-Case Execution-Time Analysis (WCET'12), 2012, s. 38-47Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The current trend within computer, and even real-time, systems is to incorporate parallel hardware, e.g., multicore processors, and parallel software. Thus, the ability to safely analyse such parallel systems, e.g., regarding the timing behaviour, becomes necessary. Static timing analysis is an approach to mathematically derive safe bounds on the execution time of a program, when executed on a given hardware platform. This paper presents an algorithm that statically analyses the timing of parallel software, with threads communicating through shared memory, using abstract interpretation. It also gives an extensive example to clarify how the algorithm works.

Ort, förlag, år, upplaga, sidor
2012. s. 38-47
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-17264DOI: 10.4230/OASIcs.WCET.2012.iScopus ID: 2-s2.0-84880129837ISBN: 978-3-939897-41-5 (tryckt)OAI: oai:DiVA.org:mdh-17264DiVA, id: diva2:579595
Konferens
12th International Workshop on Worst-Case Execution-Time Analysis, July 10, 2012, Pisa, Italy
Tillgänglig från: 2012-12-20 Skapad: 2012-12-20 Senast uppdaterad: 2016-06-02Bibliografiskt 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 teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 35 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