Mathematical and engineering methods in computer science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2012
|
| Series: | Lecture notes in computer science
7119 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XII, 214 S. Ill. 235 mm x 155 mm |
| ISBN: | 3642259286 9783642259289 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039806938 | ||
| 003 | DE-604 | ||
| 005 | 20120503 | ||
| 007 | t| | ||
| 008 | 120116s2012 gw a||| |||| 10||| eng d | ||
| 015 | |a 11,N47 |2 dnb | ||
| 016 | 7 | |a 101714723X |2 DE-101 | |
| 020 | |a 3642259286 |9 3-642-25928-6 | ||
| 020 | |a 9783642259289 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-25928-9 | ||
| 024 | 3 | |a 9783642259289 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86024137 |
| 035 | |a (OCoLC)766343560 | ||
| 035 | |a (DE-599)DNB101714723X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Mathematical and engineering methods in computer science |b 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers |c Zdeněk Kotásek ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XII, 214 S. |b Ill. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7119 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Lednice |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Kotásek, Zdeněk |e Sonstige |4 oth | |
| 711 | 2 | |a MEMICS |n 7 |d 2011 |c Lednice |j Sonstige |0 (DE-588)16336406-0 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-25929-6 |
| 830 | 0 | |a Lecture notes in computer science |v 7119 |w (DE-604)BV000000607 |9 7119 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3911599&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=024667289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024667289 | |
Record in the Search Index
| _version_ | 1820875368663351296 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
RIGOROUS SYSTEM DESIGN: THE BIP APPROACH 1
ANANDA BASU, SADDEK BENSALEM, MARIUS BOZGA, PARASKEVAS BOURGOS, AND
JOSEPH SIFAKIS
NATURAL BORN COMPUTING 20
PETER J. BENTLEY
GAMES AND MARKOV DECISION PROCESSES WITH MEAN-PAYOFF PARITY AND ENERGY
PARITY OBJECTIVES 37
KRISHNENDU CHATTERJEE AND LAURENT DOYEN
ASSESSING SYSTEM VULNERABILITY USING FORMAL VERIFICATION TECHNIQUES . .
47 GOERSCHWIN FEY
INFORMATION SECURITY IN A QUANTUM WORLD 57
RENATO RENNER
COMPUTER MEMORY: WHY WE SHOULD CARE WHAT IS UNDER THE HOOD . . . 63
VLASTIMIL BABKA AND PETR TUMA
FREQUENCY PREDICTION OF FUNCTIONS 76
KASPARS BALODIS, ILJA KUCEVALOVS, AND RUESINS FREIVALDS
TIMED AUTOMATA APPROACH TO VERIFICATION OF SYSTEMS WITH DEGRADATION 84
JIFI BARNAT, IVANA CERNA, AND JANA TUMOVA
BASIC OPERATIONS ON BINARY SUFFIX-FREE LANGUAGES 94
ROLAND CMORIK AND GALINA JIRASKOVA
EFFICIENT DATA REPRESENTATION OF LARGE JOB SCHEDULES 103
DALIBOR KLUSDCEK AND HANA RUDOVD
PREFIX-FREE REGULAR LANGUAGES: CLOSURE PROPERTIES, DIFFERENCE, AND LEFT
QUOTIENT 114
MONIKA KRAUSOVA
NOISE INJECTION HEURISTICS FOR CONCURRENCY TESTING 123
BOHUSLAV KFENA, ZDENEK LETKO, AND TOMAS VOJNAR
LOW GPU OCCUPANCY APPROACH TO FAST ARITHMETIC CODING IN JPEG2000 136
JIFI MATELA, MARTIN SROM, AND PETR HOLUB
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101714723X
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
USING DIMENSIONALITY REDUCTION METHOD FOR BINARY DATA TO QUESTIONNAIRE
ANALYSIS 146
JAKUB MAZGUT, MARTINA PAULINYOVD, AND PETER TINO
GENERALIZED MANEUVERS IN ROUTE PLANNING 155
PETR HLINENY AND ONDREJ MORIS
STANSE: BUG-FINDING FRAMEWORK FOR C PROGRAMS 167
JAN OBDRZALEK, JIFI SLABY, AND MAREK TRTIK
INTRODUCING THE FPGA-BASED HARDWARE ARCHITECTURE OF SYSTEMIC COMPUTATION
(HAOS) 179
CHRISTOS SAKELLARIOU AND PETER J. BENTLEY
A PARALLEL COMPACT HASH TABLE 191
STEVEN VAN DER VEGT AND ALFONS LAARMAN
FOUR AUTHORIZATION PROTOCOLS FOR AN ELECTRONIC PAYMENT SYSTEM 205 ROMAN
ZILKA, VASHEK MATYDS, AND LIBOR KYNCL
AUTHOR INDEX 215 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039806938 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)766343560 (DE-599)DNB101714723X |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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">BV039806938</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120503</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120116s2012 gw a||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N47</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101714723X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642259286</subfield><subfield code="9">3-642-25928-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642259289</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-25928-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642259289</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86024137</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)766343560</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101714723X</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical and engineering methods in computer science</subfield><subfield code="b">7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers</subfield><subfield code="c">Zdeněk Kotásek ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 214 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">235 mm x 155 mm</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">7119</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">2011</subfield><subfield code="z">Lednice</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kotásek, Zdeněk</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MEMICS</subfield><subfield code="n">7</subfield><subfield code="d">2011</subfield><subfield code="c">Lednice</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16336406-0</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-25929-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7119</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7119</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=3911599&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=024667289&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-024667289</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Lednice gnd-content |
| genre_facet | Konferenzschrift 2011 Lednice |
| id | DE-604.BV039806938 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:31Z |
| institution | BVB |
| institution_GND | (DE-588)16336406-0 |
| isbn | 3642259286 9783642259289 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024667289 |
| oclc_num | 766343560 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | XII, 214 S. Ill. 235 mm x 155 mm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers Zdeněk Kotásek ... (eds.) Berlin [u.a.] Springer 2012 XII, 214 S. Ill. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7119 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Lednice gnd-content Informatik (DE-588)4026894-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Kotásek, Zdeněk Sonstige oth MEMICS 7 2011 Lednice Sonstige (DE-588)16336406-0 oth Erscheint auch als Online-Ausgabe 978-3-642-25929-6 Lecture notes in computer science 7119 (DE-604)BV000000607 7119 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3911599&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=024667289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers |
| title_auth | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers |
| title_exact_search | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers |
| title_full | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers Zdeněk Kotásek ... (eds.) |
| title_fullStr | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers Zdeněk Kotásek ... (eds.) |
| title_full_unstemmed | Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers Zdeněk Kotásek ... (eds.) |
| title_short | Mathematical and engineering methods in computer science |
| title_sort | mathematical and engineering methods in computer science 7th international doctoral workshop memics 2011 lednice czech republic october 14 16 2011 revised selected papers |
| title_sub | 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14 - 16, 2011 ; revised selected papers |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Theoretische Informatik Informatik Konferenzschrift 2011 Lednice |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3911599&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=024667289&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kotasekzdenek mathematicalandengineeringmethodsincomputerscience7thinternationaldoctoralworkshopmemics2011ledniceczechrepublicoctober14162011revisedselectedpapers AT memicslednice mathematicalandengineeringmethodsincomputerscience7thinternationaldoctoralworkshopmemics2011ledniceczechrepublicoctober14162011revisedselectedpapers |