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

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

Namespace Prefixes

PrefixIRI
n22http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n16http://purl.org/net/nknouf/ns/bibtex#
n15http://localhost/temp/predkladatel/
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/subjekt/
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F11%3APU96199%21RIV12-MSM-26230___/
n3http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
n10https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n23http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n18http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F11%3APU96199%21RIV12-MSM-26230___
rdf:type
skos:Concept n3:Vysledek
dcterms:description
Nowadays, multi-threaded programs are quite common and so are concurrency-related errors. Many works devoted to detection of concurrency errors have been published in recent years, and many of them presented definitions of concurrency errors that the proposed algorithms are able to handle. These definitions are usually expressed in different terms suitable for a description of the particular considered algorithms, and they surprisingly often differ from each other in the meaning they assign to particular errors. To help understanding the errors and developing techniques for detecting them, this paper strives to provide a uniform taxonomy of concurrency errors common in current programs, with a stress on those written in Java, together with a brief overview of techniques so far proposed for detecting such errors. Nowadays, multi-threaded programs are quite common and so are concurrency-related errors. Many works devoted to detection of concurrency errors have been published in recent years, and many of them presented definitions of concurrency errors that the proposed algorithms are able to handle. These definitions are usually expressed in different terms suitable for a description of the particular considered algorithms, and they surprisingly often differ from each other in the meaning they assign to particular errors. To help understanding the errors and developing techniques for detecting them, this paper strives to provide a uniform taxonomy of concurrency errors common in current programs, with a stress on those written in Java, together with a brief overview of techniques so far proposed for detecting such errors.
dcterms:title
A Uniform Classification of Common Concurrency Errors A Uniform Classification of Common Concurrency Errors
skos:prefLabel
A Uniform Classification of Common Concurrency Errors A Uniform Classification of Common Concurrency Errors
skos:notation
RIV/00216305:26230/11:PU96199!RIV12-MSM-26230___
n3:predkladatel
n4:orjk%3A26230
n5:aktivita
n13:S n13:P n13:Z
n5:aktivity
P(GAP103/10/0306), P(GD102/09/H042), P(OC10009), S, Z(MSM0021630528)
n5:dodaniDat
n18:2012
n5:domaciTvurceVysledku
n9:9603530 n9:9761985 n9:5054532 n9:7006292
n5:druhVysledku
n6:D
n5:duvernostUdaju
n17:S
n5:entitaPredkladatele
n20:predkladatel
n5:idSjednocenehoVysledku
184244
n5:idVysledku
RIV/00216305:26230/11:PU96199
n5:jazykVysledku
n23:eng
n5:klicovaSlova
concurrency error, multi-threaded, detection techniques
n5:klicoveSlovo
n8:multi-threaded n8:detection%20techniques n8:concurrency%20error
n5:kontrolniKodProRIV
[70ACB2F473AD]
n5:mistoKonaniAkce
Las Palmas de Gran Canaria, Canary Islands
n5:mistoVydani
Universidad de Las Palmas de Canaria
n5:nazevZdroje
Proceedings of the 13th International Conference on Computer Aided Systems Theory
n5:obor
n19:JC
n5:pocetDomacichTvurcuVysledku
4
n5:pocetTvurcuVysledku
4
n5:projekt
n12:OC10009 n12:GD102%2F09%2FH042 n12:GAP103%2F10%2F0306
n5:rokUplatneniVysledku
n18:2011
n5:tvurceVysledku
Křena, Bohuslav Vojnar, Tomáš Fiedor, Jan Letko, Zdeněk
n5:typAkce
n22:EUR
n5:zahajeniAkce
2011-02-06+01:00
n5:zamer
n14:MSM0021630528
s:numberOfPages
2
n16:hasPublisher
The Universidad de Las Palmas de Gran Canaria
n10:isbn
978-84-693-9560-8
n15:organizacniJednotka
26230