This HTML5 document contains 50 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
dcterms	http://purl.org/dc/terms/
n13	http://localhost/temp/predkladatel/
n14	http://linked.opendata.cz/resource/domain/vavai/projekt/
n7	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10	http://linked.opendata.cz/ontology/domain/vavai/
n18	http://linked.opendata.cz/resource/domain/vavai/zamer/
n9	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F07%3APR23014%21RIV08-MSM-26230___/
n4	http://linked.opendata.cz/ontology/domain/vavai/riv/
skos	http://www.w3.org/2004/02/skos/core#
n19	http://linked.opendata.cz/ontology/domain/vavai/riv/licencniPoplatek/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n17	http://linked.opendata.cz/ontology/domain/vavai/riv/kategorie/
n12	http://linked.opendata.cz/ontology/domain/vavai/riv/vyuzitiJinymSubjektem/
n8	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n21	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216305%3A26230%2F07%3APR23014%21RIV08-MSM-26230___

rdf:type

n10:Vysledek skos:Concept

dcterms:description

The Java Race Detector & Healer is a prototype for a runtime detection and healing of low level data races in concurrent Java programs. The tool uses the IBM ConTest listeners architecture for tracking the program behaviour and analysing it. The Java Race Detector & Healer is a prototype for a runtime detection and healing of low level data races in concurrent Java programs. The tool uses the IBM ConTest listeners architecture for tracking the program behaviour and analysing it. Java Race Detector & Healer je počítačový software vytvořený v programovacím jazyce Java. Prostřednictvím nástroje IBM ConTest monitoruje uživatelskou aplikaci a detekuje časově závislé chyby. Pro některé typy časově závislých chyb je schopen automaticky vložit do běhu uživatelské aplikace synchronizační prostředky, které zabrání opakování této chyby. Pro svůj běh vyžaduje prostředí Java 5 a nástroj IBM ConTest.

dcterms:title

Java Race Detector & Healer Java Race Detector & Healer Nástroj pro detekci a opravu časově závislých chyb v Javě

skos:prefLabel

Nástroj pro detekci a opravu časově závislých chyb v Javě Java Race Detector & Healer Java Race Detector & Healer

skos:notation

RIV/00216305:26230/07:PR23014!RIV08-MSM-26230___

n4:aktivita

n11:Z n11:P

n4:aktivity

P(GA102/07/0322), P(GP102/06/P076), Z(MSM0021630528)

n4:dodaniDat

n15:2008

n4:domaciTvurceVysledku

n7:9761985 n7:7006292 n7:5054532

n4:druhVysledku

n20:S

n4:duvernostUdaju

n6:S

n4:ekonomickeParametry

Software je volně dostupný včetně zdrojových textů.

n4:entitaPredkladatele

n9:predkladatel

n4:idSjednocenehoVysledku

428009

n4:idVysledku

RIV/00216305:26230/07:PR23014

n4:interniIdentifikace

JRDH

n4:jazykVysledku

n21:eng

n4:kategorie

n17:A

n4:klicovaSlova

Data Races, Detector, Healer, Java

n4:klicoveSlovo

n8:Data%20Races n8:Healer n8:Java n8:Detector

n4:kontrolniKodProRIV

[558588BE78A3]

n4:licencniPoplatek

n19:N

n4:lokalizaceVysledku

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

n4:obor

n16:JC

n4:pocetDomacichTvurcuVysledku

3

n4:pocetTvurcuVysledku

3

n4:projekt

n14:GP102%2F06%2FP076 n14:GA102%2F07%2F0322

n4:rokUplatneniVysledku

n15:2007

n4:technickeParametry

- Implementován v programovacím jazyce Java. * Detekuje a opravuje časově závislé chyby. * Vyžaduje prostředí Java 5 a nástroj IBM ConTest.

n4:tvurceVysledku

Letko, Zdeněk Vojnar, Tomáš Křena, Bohuslav

n4:vlastnik

n9:vlastnikVysledku

n4:vyuzitiJinymSubjektem

n12:A

n4:zamer

n18:MSM0021630528

n13:organizacniJednotka

26230