About: Java Race Detector & Healer     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
  • 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. (cs)
Title
  • Java Race Detector & Healer
  • Java Race Detector & Healer (en)
  • Nástroj pro detekci a opravu časově závislých chyb v Javě (cs)
skos:prefLabel
  • Java Race Detector & Healer
  • Java Race Detector & Healer (en)
  • Nástroj pro detekci a opravu časově závislých chyb v Javě (cs)
skos:notation
  • RIV/00216305:26230/07:PR23014!RIV08-MSM-26230___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/07/0322), P(GP102/06/P076), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...onomickeParametry
  • Software je volně dostupný včetně zdrojových textů.
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 428009
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/07:PR23014
http://linked.open...terniIdentifikace
  • JRDH
http://linked.open...riv/jazykVysledku
http://linked.open...vai/riv/kategorie
http://linked.open.../riv/klicovaSlova
  • Data Races, Detector, Healer, Java (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [558588BE78A3]
http://linked.open.../licencniPoplatek
http://linked.open...okalizaceVysledku
  • Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...echnickeParametry
  • - 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.
http://linked.open...iv/tvurceVysledku
  • Křena, Bohuslav
  • Letko, Zdeněk
  • Vojnar, Tomáš
http://linked.open...avai/riv/vlastnik
http://linked.open...itiJinymSubjektem
http://linked.open...n/vavai/riv/zamer
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.116 as of Feb 22 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 82 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software