Holdings: Foundational and practical aspects of resource analysis

Foundational and practical aspects of resource analysis: first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 ; revised selected papers

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2010
Series:	Lecture notes in computer science 6324
Subjects:	Komplexitätsklasse Kostenfunktion Programmanalyse Ressourcenbeschränktes Maß Eingebettetes System Abstrakte Interpretation Konferenzschrift > 2009 > Eindhoven
Online Access:	Inhaltstext Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	VIII, 162 S. graph. Darst. 24 cm
ISBN:	9783642153303

Staff View

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

Record in the Search Index

_version_	1820875265762394112
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-10T15:12:53Z
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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items