HTML Microdata document

This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n10	http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dcterms	http://purl.org/dc/terms/
n22	http://purl.org/net/nknouf/ns/bibtex#
n7	http://localhost/temp/predkladatel/
n13	http://linked.opendata.cz/resource/domain/vavai/projekt/
n11	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6	http://linked.opendata.cz/ontology/domain/vavai/
n18	https://schema.org/
n16	http://linked.opendata.cz/resource/domain/vavai/zamer/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n3	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n17	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F07%3APU70824%21RIV08-MSM-26230___/
n12	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n20	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n21	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item: n2:RIV%2F00216305%3A26230%2F07%3APU70824%21RIV08-MSM-26230___
rdf:type: n6:Vysledek skos:Concept
dcterms:description: Testing of concurrent software is extremely difficult. Despite all the progress in the testing and verification technology, concurrent bugs, the most common of which are deadlocks and races, make it to the field. This paper describes a set of techniques, implemented in a tool called ConTest, allowing concurrent programs to self-heal at run-time. Concurrent bugs have the very desirable property for healing that some of the interleaving produce correct results while in others bugs manifest. Healing concurrency problems is about limiting, or changing the probability of interleaving, such that bugs will be seen less.  When healing concurrent programs, if a deadlock does not result from limiting the interleaving, we are sure that the result of the healed program could have been in the original program and therefore no new functional bug has been introduced. In this initial work which deals with different types of data races, we suggest three types of healing mechanisms:  (1)changing the Autoři se domnívají, že překladem textu se mírně pozmění jeho původní smysl. Zejména problematický je překlad odborných termínů, které nemají v češtině zažitý ekvivalent. Například slovo "concurrent" lze přeložit přesně jako "souběžný" nebo jako lépe znějící ale nepřesné "paralelní". Lze proto čtenáři doporučit, pokud to dovolují jeho znalosti angličtiny, aby si přečetl abstrakt v původním anglickém znění. Testování souběžných programů je velice náročné. Chyby související se souběžností se proto i přes značný pokrok v oblasti testování a ověřování poměrně často dostávají až k zákazníkovi. V tomto článku popíšeme techniky vyvinuté v rámci nástroje ConTest pro automatickou opravu chyb za běhu souběžných programů. Souběžné chyby mají jednu velice užitečnou vlastnost pro automatickou opravu programů, a to, že se projevují po Testing of concurrent software is extremely difficult. Despite all the progress in the testing and verification technology, concurrent bugs, the most common of which are deadlocks and races, make it to the field. This paper describes a set of techniques, implemented in a tool called ConTest, allowing concurrent programs to self-heal at run-time. Concurrent bugs have the very desirable property for healing that some of the interleaving produce correct results while in others bugs manifest. Healing concurrency problems is about limiting, or changing the probability of interleaving, such that bugs will be seen less.  When healing concurrent programs, if a deadlock does not result from limiting the interleaving, we are sure that the result of the healed program could have been in the original program and therefore no new functional bug has been introduced. In this initial work which deals with different types of data races, we suggest three types of healing mechanisms:  (1)changing the
dcterms:title: Healing Data Races On-The-Fly Healing Data Races On-The-Fly Healing Data Races On-The-Fly
skos:prefLabel: Healing Data Races On-The-Fly Healing Data Races On-The-Fly Healing Data Races On-The-Fly
skos:notation: RIV/00216305:26230/07:PU70824!RIV08-MSM-26230___
n3:strany: 54-64
n3:aktivita: n12:P n12:Z
n3:aktivity: P(GA102/07/0322), P(GP102/06/P076), Z(MSM0021630528)
n3:dodaniDat: n21:2008
n3:domaciTvurceVysledku: n11:7006292 n11:5054532 n11:9761985
n3:druhVysledku: n5:D
n3:duvernostUdaju: n19:S
n3:entitaPredkladatele: n17:predkladatel
n3:idSjednocenehoVysledku: 423877
n3:idVysledku: RIV/00216305:26230/07:PU70824
n3:jazykVysledku: n8:eng
n3:klicovaSlova: Concurrency, Testing, Self-Healing
n3:klicoveSlovo: n15:Self-Healing n15:Concurrency n15:Testing
n3:kontrolniKodProRIV: [A4B3A952D6EF]
n3:mistoKonaniAkce: London
n3:mistoVydani: London
n3:nazevZdroje: Proceedings of 5th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling - PADTAD'07
n3:obor: n20:JC
n3:pocetDomacichTvurcuVysledku: 3
n3:pocetTvurcuVysledku: 5
n3:projekt: n13:GP102%2F06%2FP076 n13:GA102%2F07%2F0322
n3:rokUplatneniVysledku: n21:2007
n3:tvurceVysledku: Letko, Zdeněk Křena, Bohuslav Ur, Shmuel Vojnar, Tomáš Tzoref, Rachel
n3:typAkce: n10:EUR
n3:zahajeniAkce: 2007-07-09+02:00
n3:zamer: n16:MSM0021630528
s:numberOfPages: 11
n22:hasPublisher: Association for Computing Machinery
n18:isbn: 978-1-59593-734-6
n7:organizacniJednotka: 26230