uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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
Acceleration in Multi-PushDown Systems
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2016 (engelsk)Inngår i: Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2016, s. 698-714Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Springer, 2016. s. 698-714
Serie
Lecture Notes in Computer Science ; 9636
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-295463DOI: 10.1007/978-3-662-49674-9_45ISI: 000406428000045ISBN: 978-3-662-49673-2 (tryckt)OAI: oai:DiVA.org:uu-295463DiVA, id: diva2:933797
Konferanse
TACAS 2016, April 2–8, Eindhoven, The Netherlands
Prosjekter
UPMARC
Merknad

Multipushdown systems (MPDS) are formal models of multi-threaded recursive programs. They are turing powerful and hence one considers under-approximation techniques in their analysis. We study the use of loop accelerations in conjunction with bounded context analysis.

Tilgjengelig fra: 2016-04-09 Laget: 2016-06-07 Sist oppdatert: 2018-02-15bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Atig, Mohamed Faouzi

Søk i DiVA

Av forfatter/redaktør
Atig, Mohamed Faouzi
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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