Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6324 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036676991 | ||
| 003 | DE-604 | ||
| 005 | 20120801 | ||
| 007 | t| | ||
| 008 | 100920s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N31 |2 dnb | ||
| 016 | 7 | |a 100501017X |2 DE-101 | |
| 020 | |a 9783642153303 |c kart. : EUR 49.22 (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-15330-3 | ||
| 024 | 3 | |a 9783642153303 | |
| 028 | 5 | 2 | |a 80021385 |
| 035 | |a (OCoLC)669171568 | ||
| 035 | |a (DE-599)DNB100501017X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 343f |2 stub | ||
| 245 | 1 | 0 | |a Foundational and practical aspects of resource analysis |b first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers |c Marko van Eekelen ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a VIII, 162 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6324 | |
| 500 | |a Literaturangaben | ||
| 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 |y 2009 |z Eindhoven |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 | |5 DE-604 | |
| 700 | 1 | |a Eekelen, Marko van |e Sonstige |4 oth | |
| 711 | 2 | |a FOPARA |n 1 |d 2009 |c Eindhoven |j Sonstige |0 (DE-588)16082474-6 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-15331-0 |
| 830 | 0 | |a Lecture notes in computer science |v 6324 |w (DE-604)BV000000607 |9 6324 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3517525&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020595947&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020595947 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999 |
|---|---|
| DE-BY-TUM_katkey | 1747865 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010239437 |
| _version_ | 1822409274190462976 |
| adam_text |
TABLE OF CONTENTS FOPARA 2009 COMPARING COST FUNCTIONS IN RESOURCE
ANALYSIS 1 ELVIRA ALBERT, PURI ARENAS, SAMIR GENAIM, ISRAEL HERRAIZ, AND
GERMAN PUEBLA IMPROVEMENTS TO A RESOURCE ANALYSIS FOR HUME 18
HANS-WOLFGANG LOIDL AND STEFFEN JOST A SPACE CONSUMPTION ANALYSIS BY
ABSTRACT INTERPRETATION 34 MANUEL MONTENEGRO, RICARDO PENA, AND CLARA
SEGURA GLOBAL AND LOCAL SPACE PROPERTIES OF STREAM PROGRAMS 51 MARCO
GABOARDI AND ROMAIN PECHOUX CHARACTERISING EFFECTIVE RESOURCE ANALYSES
FOR PARALLEL AND DISTRIBUTED COORDINATION 67 PHIL TRINDER, MURRAY COLE,
HANS-WOLFGANG LOIDL, AND GREG MICHAELSON STATIC COMPLEXITY ANALYSIS OF
HIGHER ORDER PROGRAMS 84 JAMES AVERY, LARS KRISTIANSEN, AND JEAN-YVES
MOYEN DERIVATIONAL COMPLEXITY IS AN INVARIANT COST MODEL 100 UGO DAL
LAGO AND SIMONE MARTINI A LOCAL CRITERION FOR POLYNOMIAL-TIME STRATIFIED
COMPUTATIONS 114 LUCA ROVERSI AND LUCA VERCELLI NON-DETERMINISTIC
BOOLEAN PROOF NETS 131 VIRGILE MOGBIL POLYNOMIAL TIME COMPUTATION IN THE
CONTEXT OF RECURSIVE ANALYSIS . 146 WALID GOMAA AUTHOR INDEX 163
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/100501017X DIGITALISIERT
DURCH |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036676991 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 343f |
| ctrlnum | (OCoLC)669171568 (DE-599)DNB100501017X |
| dewey-full | 005.131 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.131 004.0151 |
| dewey-search | 005.131 004.0151 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| 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">BV036676991</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120801</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100920s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">100501017X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642153303</subfield><subfield code="c">kart. : EUR 49.22 (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15330-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642153303</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80021385</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)669171568</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB100501017X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundational and practical aspects of resource analysis</subfield><subfield code="b">first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers</subfield><subfield code="c">Marko van Eekelen ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 162 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6324</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="y">2009</subfield><subfield code="z">Eindhoven</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eekelen, Marko van</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOPARA</subfield><subfield code="n">1</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16082474-6</subfield><subfield code="4">oth</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-642-15331-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6324</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6324</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3517525&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020595947&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020595947</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Eindhoven gnd-content |
| genre_facet | Konferenzschrift 2009 Eindhoven |
| id | DE-604.BV036676991 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:35:17Z |
| institution | BVB |
| institution_GND | (DE-588)16082474-6 |
| isbn | 9783642153303 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020595947 |
| oclc_num | 669171568 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | VIII, 162 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| 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 first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers Marko van Eekelen ... (eds.) Berlin [u.a.] Springer 2010 VIII, 162 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6324 Literaturangaben 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 2009 Eindhoven 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 DE-604 Eekelen, Marko van Sonstige oth FOPARA 1 2009 Eindhoven Sonstige (DE-588)16082474-6 oth Erscheint auch als Online-Ausgabe 978-3-642-15331-0 Lecture notes in computer science 6324 (DE-604)BV000000607 6324 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3517525&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020595947&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers Lecture notes in computer science 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 first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers |
| title_auth | Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers |
| title_exact_search | Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers |
| title_full | Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers Marko van Eekelen ... (eds.) |
| title_fullStr | Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers Marko van Eekelen ... (eds.) |
| title_full_unstemmed | Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers Marko van Eekelen ... (eds.) |
| title_short | Foundational and practical aspects of resource analysis |
| title_sort | foundational and practical aspects of resource analysis first international workshop fopara 2009 eindhoven the netherlands november 6 2009 revised selected papers |
| title_sub | first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers |
| topic | 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 | Komplexitätsklasse Kostenfunktion Programmanalyse Ressourcenbeschränktes Maß Eingebettetes System Abstrakte Interpretation Konferenzschrift 2009 Eindhoven |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3517525&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020595947&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT eekelenmarkovan foundationalandpracticalaspectsofresourceanalysisfirstinternationalworkshopfopara2009eindhoventhenetherlandsnovember62009revisedselectedpapers AT foparaeindhoven foundationalandpracticalaspectsofresourceanalysisfirstinternationalworkshopfopara2009eindhoventhenetherlandsnovember62009revisedselectedpapers |