Reliable software technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6106 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XII, 275 S. graph. Darst. |
| ISBN: | 3642135498 9783642135491 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036515500 | ||
| 003 | DE-604 | ||
| 005 | 20100803 | ||
| 007 | t| | ||
| 008 | 100622s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10N21 |2 dnb | ||
| 016 | 7 | |a 1002540372 |2 DE-101 | |
| 020 | |a 3642135498 |c PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 3-642-13549-8 | ||
| 020 | |a 9783642135491 |c PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-13549-1 | ||
| 035 | |a (OCoLC)699652479 | ||
| 035 | |a (DE-599)DNB1002540372 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.133 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 263f |2 stub | ||
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a DAT 356f |2 stub | ||
| 245 | 1 | 0 | |a Reliable software technologies - Ada-Europe 2010 |b 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings |c Jorge Real ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XII, 275 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6106 | |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ada |0 (DE-588)4000430-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Ada |0 (DE-588)4000430-2 |D s |
| 689 | 0 | 3 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 4 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Real, Jorge |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Reliable Software Technologies |n 15 |d 2010 |c Valencia |j Sonstige |0 (DE-588)16070127-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6106 |w (DE-604)BV000000607 |9 6106 | |
| 856 | 4 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3476796&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=020437626&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020437626 | |
Datensatz im Suchindex
| _version_ | 1820875238452232192 |
|---|---|
| adam_text |
ENRICO MEZZETTI, ADAM BETTS, JOSE RUIZ, AND TULLIO VARDANEGA TABLE OF
CONTENTS KEYNOTE TALKS WHAT TO MAKE OF MULTICORE PROCESSORS FOR RELIABLE
REAL-TIME SYSTEMS? 1 THEODORE P. BAKER CONTROL CO-DESIGN: ALGORITHMS AND
THEIR IMPLEMENTATION 19 PEDRO ALBERTOS, ALFONS CRESPO, JOSE SIMO, AND
ADEL FERNANDEZ MULTICORES AND ADA DISPATCHING DOMAINS FOR MULTIPROCESSOR
PLATFORMS AND THEIR REPRESENTATION IN ADA 41 ALAN BURNS AND ANDY
WELLINGS IMPLEMENTING MULTICORE REAL-TIME SCHEDULING ALGORITHMS BASED ON
TASK SPLITTING USING ADA 2012 54 BJOERN ANDERSSON AND LUIS-MIGUEL PINHO
PRELIMINARY MULTIPROCESSOR SUPPORT OF ADA 2012 IN GNU/LINUX SYSTEMS 68
SERGIO SUEZ AND ALFONS CRESPO SOFTWARE DEPENDABILITY PRACTICAL LIMITS ON
SOFTWARE DEPENDABILITY: A CASE STUDY 83 PATRICK J. GRAYDON, JOHN C.
KNIGHT, AND XIANG YIN PROGRAM VERIFICATION IN SPARK AND ACSL: A
COMPARATIVE CASE STUDY 97 EDUARDO BRITO AND JORGE SOUSA PINTO STATIC
VERSIONING OF GLOBAL STATE FOR RACE CONDITION DETECTION ILL STEFFEN KEUL
CRITICAL SYSTEMS USING HARDWARE SUPPORT FOR SCHEDULING WITH ADA 125 ROD
WHITE CACHE-AWARE DEVELOPMENT OF HIGH-INTEGRITY SYSTEMS 139
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002540372 DIGITALISIERT
DURCH XII TABLE OF CONTENTS PRESERVATION OF TIMING PROPERTIES WITH THE
ADA RAVENSCAR PROFILE 153 ENRICO MEZZETTI, MARCO PANUNZIO, AND TULLIO
VARDANEGA REAL-TIME SYSTEMS TOWARDS THE DEFINITION OF A PATTERN SEQUENCE
FOR REAL-TIME APPLICATIONS USING A MODEL-DRIVEN ENGINEERING APPROACH 167
JUAN ANGEL PASTOR, DIEGO ALONSO, PEDRO SANCHEZ, AND BARBARA ALVAREZ
SCHEDULING CONFIGURATION OF REAL-TIME COMPONENT-BASED APPLICATIONS 181
PATRICIA LOPEZ MARTINEZ, LAURA BARROS, AND JOSE M. DRAKE THE EVOLUTION
OF REAL-TIME PROGRAMMING REVISITED: PROGRAMMING THE GIOTTO MODEL IN ADA
2005 196 ANDY WETTINGS AND ALAN BURNS LANGUAGE TECHNOLOGY ADASTREAMS: A
TYPE-BASED PROGRAMMING EXTENSION FOR STREAM- PARALLELISM WITH ADA 2005
208 GINGUN HONG, KIRAK HONG, BERND BURGSTALLER, AND JOHANN BLIEBERGER A
COMPARISON OF GENERIC TEMPLATE SUPPORT: ADA, C++, C#, AND JAVA* 222
BENJAMIN M. BROSGOL TOWARDS ADA 2012: AN INTERIM REPORT 238 EDMOND
SCHONBERG DISTRIBUTION AND PERSISTENCY MANAGING TRANSACTIONS IN FLEXIBLE
DISTRIBUTED REAL-TIME SYSTEMS 251 DANIEL SANGORRM, MICHAEL GONZALEZ
HARBOUR, HECTOR PEREZ, AND J. JAVIER GUTIERREZ AN EFFICIENT
IMPLEMENTATION OF PERSISTENT OBJECTS 265 JACOB SPARRE ANDERSEN AUTHOR
INDEX 27 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036515500 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 263f DAT 343f DAT 356f |
| ctrlnum | (OCoLC)699652479 (DE-599)DNB1002540372 |
| dewey-full | 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.133 |
| dewey-search | 005.133 |
| dewey-sort | 15.133 |
| 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">BV036515500</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100803</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100622s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002540372</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642135498</subfield><subfield code="c">PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">3-642-13549-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642135491</subfield><subfield code="c">PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13549-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699652479</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002540372</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-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</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 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliable software technologies - Ada-Europe 2010</subfield><subfield code="b">15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings</subfield><subfield code="c">Jorge Real ... (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">XII, 275 S.</subfield><subfield code="b">graph. Darst.</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">6106</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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">Real, Jorge</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Reliable Software Technologies</subfield><subfield code="n">15</subfield><subfield code="d">2010</subfield><subfield code="c">Valencia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16070127-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6106</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6106</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3476796&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=020437626&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-020437626</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 gnd-content |
| genre_facet | Konferenzschrift 2010 |
| id | DE-604.BV036515500 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:27Z |
| institution | BVB |
| institution_GND | (DE-588)16070127-2 |
| isbn | 3642135498 9783642135491 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020437626 |
| oclc_num | 699652479 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 |
| physical | XII, 275 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Jorge Real ... (eds.) Berlin [u.a.] Springer 2010 XII, 275 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6106 Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Ada (DE-588)4000430-2 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Ada (DE-588)4000430-2 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s DE-604 Real, Jorge Sonstige oth International Conference on Reliable Software Technologies 15 2010 Valencia Sonstige (DE-588)16070127-2 oth Lecture notes in computer science 6106 (DE-604)BV000000607 6106 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3476796&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=020437626&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Lecture notes in computer science Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4116522-6 (DE-588)4000430-2 (DE-588)4059245-5 (DE-588)4396978-1 (DE-588)1071861417 |
| title | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings |
| title_auth | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings |
| title_exact_search | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings |
| title_full | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Jorge Real ... (eds.) |
| title_fullStr | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Jorge Real ... (eds.) |
| title_full_unstemmed | Reliable software technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings Jorge Real ... (eds.) |
| title_short | Reliable software technologies - Ada-Europe 2010 |
| title_sort | reliable software technologies ada europe 2010 15th ada europe international conference on reliable software technologies valencia spain june 14 18 2010 proceedings |
| title_sub | 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; proceedings |
| topic | Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Eingebettetes System (DE-588)4396978-1 gnd |
| topic_facet | Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Eingebettetes System Konferenzschrift 2010 |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3476796&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=020437626&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT realjorge reliablesoftwaretechnologiesadaeurope201015thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesvalenciaspainjune14182010proceedings AT internationalconferenceonreliablesoftwaretechnologiesvalencia reliablesoftwaretechnologiesadaeurope201015thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesvalenciaspainjune14182010proceedings |