Foundational and practical aspects of resource analysis: 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Conference Proceedings Book |
| Language: | English |
| Published: |
[Cham]
Springer
[2016]
|
| Series: | Lecture notes in computer science
9964 |
| Subjects: | |
| Links: | https://doi.org/10.1007/978-3-319-46559-3 |
| Summary: | This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions |
| Physical Description: | VI, 135 Seiten Diagramme |
| ISBN: | 9783319465586 |
| DOI: | 10.1007/978-3-319-46559-3 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV043830545 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 161018s2016 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319465586 |9 978-3-319-46558-6 | ||
| 035 | |a (OCoLC)1357528338 | ||
| 035 | |a (DE-599)BVBBV043830545 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 245 | 1 | 0 | |a Foundational and practical aspects of resource analysis |b 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers |c Marko van Eekelen, Ugo Dal Lago (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a VI, 135 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 9964 | |
| 520 | 1 | |a May-Happen-in-Parallel Analysis with Condition Synchronization -- Using dependent types to dene energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types -- Probabilistic Resource Analysis by Program Transformation -- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR -- Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores | |
| 520 | 8 | |a This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions | |
| 533 | |a Online-Ausgabe |f Springer eBook Collection / Computer Science | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer system failures | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical statistics | |
| 650 | 4 | |a Computer simulation | |
| 650 | 0 | 7 | |a Komplexitätsklasse |0 (DE-588)4164913-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kostenfunktion |0 (DE-588)4131857-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ressourcenbeschränktes Maß |0 (DE-588)4636646-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | 2 | |a Komplexitätsklasse |0 (DE-588)4164913-8 |D s |
| 689 | 0 | 3 | |a Ressourcenbeschränktes Maß |0 (DE-588)4636646-5 |D s |
| 689 | 0 | 4 | |a Kostenfunktion |0 (DE-588)4131857-2 |D s |
| 689 | 0 | 5 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Eekelen, Marko van |0 (DE-588)1014131472 |4 edt | |
| 700 | 1 | |a Dal Lago, Ugo |4 edt | |
| 711 | 2 | |a FOPARA |n 4. |d 2015 |c London |j Sonstige |0 (DE-588)1116353490 |4 oth | |
| 776 | 0 | 8 | |i Reproduktion von |t Foundational and practical aspects of resource analysis |d [2016] |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-46559-3 |
| 830 | 0 | |a Lecture notes in computer science |v 9964 |w (DE-604)BV000000607 |9 9964 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-319-46559-3 |3 Volltext | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029241332 | |
Record in the Search Index
| _version_ | 1820980679566950400 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Eekelen, Marko van Dal Lago, Ugo |
| author2_role | edt edt |
| author2_variant | m v e mv mve l u d lu lud |
| author_GND | (DE-588)1014131472 |
| author_facet | Eekelen, Marko van Dal Lago, Ugo |
| building | Verbundindex |
| bvnumber | BV043830545 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1357528338 (DE-599)BVBBV043830545 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-46559-3 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV043830545</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">161018s2016 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319465586</subfield><subfield code="9">978-3-319-46558-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1357528338</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043830545</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundational and practical aspects of resource analysis</subfield><subfield code="b">4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers</subfield><subfield code="c">Marko van Eekelen, Ugo Dal Lago (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 135 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9964</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">May-Happen-in-Parallel Analysis with Condition Synchronization -- Using dependent types to dene energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types -- Probabilistic Resource Analysis by Program Transformation -- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR -- Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausgabe</subfield><subfield code="f">Springer eBook Collection / Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer system failures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical statistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätsklasse</subfield><subfield code="0">(DE-588)4164913-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kostenfunktion</subfield><subfield code="0">(DE-588)4131857-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ressourcenbeschränktes Maß</subfield><subfield code="0">(DE-588)4636646-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätsklasse</subfield><subfield code="0">(DE-588)4164913-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Ressourcenbeschränktes Maß</subfield><subfield code="0">(DE-588)4636646-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Kostenfunktion</subfield><subfield code="0">(DE-588)4131857-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eekelen, Marko van</subfield><subfield code="0">(DE-588)1014131472</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dal Lago, Ugo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOPARA</subfield><subfield code="n">4.</subfield><subfield code="d">2015</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1116353490</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="t">Foundational and practical aspects of resource analysis</subfield><subfield code="d">[2016]</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-46559-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9964</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9964</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-46559-3</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029241332</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043830545 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T19:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1116353490 |
| isbn | 9783319465586 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029241332 |
| oclc_num | 1357528338 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | VI, 135 Seiten Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers Marko van Eekelen, Ugo Dal Lago (eds.) [Cham] Springer [2016] © 2016 VI, 135 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9964 May-Happen-in-Parallel Analysis with Condition Synchronization -- Using dependent types to dene energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types -- Probabilistic Resource Analysis by Program Transformation -- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR -- Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions Online-Ausgabe Springer eBook Collection / Computer Science Informatik Computer science Computer system failures Software engineering Computer logic Mathematical statistics Computer simulation Komplexitätsklasse (DE-588)4164913-8 gnd rswk-swf Kostenfunktion (DE-588)4131857-2 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Ressourcenbeschränktes Maß (DE-588)4636646-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Eingebettetes System (DE-588)4396978-1 s Programmanalyse (DE-588)4175841-9 s Komplexitätsklasse (DE-588)4164913-8 s Ressourcenbeschränktes Maß (DE-588)4636646-5 s Kostenfunktion (DE-588)4131857-2 s Abstrakte Interpretation (DE-588)4621153-6 s 1\p DE-604 Eekelen, Marko van (DE-588)1014131472 edt Dal Lago, Ugo edt FOPARA 4. 2015 London Sonstige (DE-588)1116353490 oth Reproduktion von Foundational and practical aspects of resource analysis [2016] Erscheint auch als Online-Ausgabe 978-3-319-46559-3 Lecture notes in computer science 9964 (DE-604)BV000000607 9964 https://doi.org/10.1007/978-3-319-46559-3 Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers Lecture notes in computer science Informatik Computer science Computer system failures Software engineering Computer logic Mathematical statistics Computer simulation Komplexitätsklasse (DE-588)4164913-8 gnd Kostenfunktion (DE-588)4131857-2 gnd Programmanalyse (DE-588)4175841-9 gnd Ressourcenbeschränktes Maß (DE-588)4636646-5 gnd Eingebettetes System (DE-588)4396978-1 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| subject_GND | (DE-588)4164913-8 (DE-588)4131857-2 (DE-588)4175841-9 (DE-588)4636646-5 (DE-588)4396978-1 (DE-588)4621153-6 (DE-588)1071861417 |
| title | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers |
| title_auth | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers |
| title_exact_search | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers |
| title_full | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers Marko van Eekelen, Ugo Dal Lago (eds.) |
| title_fullStr | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers Marko van Eekelen, Ugo Dal Lago (eds.) |
| title_full_unstemmed | Foundational and practical aspects of resource analysis 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers Marko van Eekelen, Ugo Dal Lago (eds.) |
| title_short | Foundational and practical aspects of resource analysis |
| title_sort | foundational and practical aspects of resource analysis 4th international workshop fopara 2015 london uk april 11 2015 revised selected papers |
| title_sub | 4th international workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers |
| topic | Informatik Computer science Computer system failures Software engineering Computer logic Mathematical statistics Computer simulation Komplexitätsklasse (DE-588)4164913-8 gnd Kostenfunktion (DE-588)4131857-2 gnd Programmanalyse (DE-588)4175841-9 gnd Ressourcenbeschränktes Maß (DE-588)4636646-5 gnd Eingebettetes System (DE-588)4396978-1 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd |
| topic_facet | Informatik Computer science Computer system failures Software engineering Computer logic Mathematical statistics Computer simulation Komplexitätsklasse Kostenfunktion Programmanalyse Ressourcenbeschränktes Maß Eingebettetes System Abstrakte Interpretation Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-46559-3 |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT eekelenmarkovan foundationalandpracticalaspectsofresourceanalysis4thinternationalworkshopfopara2015londonukapril112015revisedselectedpapers AT dallagougo foundationalandpracticalaspectsofresourceanalysis4thinternationalworkshopfopara2015londonukapril112015revisedselectedpapers AT foparalondon foundationalandpracticalaspectsofresourceanalysis4thinternationalworkshopfopara2015londonukapril112015revisedselectedpapers |