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

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

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n18http://localhost/temp/predkladatel/
n8http://purl.org/net/nknouf/ns/bibtex#
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
n12https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F49777513%3A23520%2F05%3A00000154%21RIV06-GA0-23520___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F49777513%3A23520%2F05%3A00000154%21RIV06-GA0-23520___
rdf:type
skos:Concept n10:Vysledek
dcterms:description
This work presents a method for testing concurrent programs written in Java for embedded devices. The method is based on time serialization of threads of the control program which is achieved by the J-Serializer. Este trabajo presenta un método para probar programas concurrentes escritos en Java para dispositivos empotrados. El método se basa en la serialización por tiempo de los hilos del programa de control que es logrado po el J-Serializer. Tato práce ukazuje metodu, která otestuje paralelní program napsaný v Javě pro embedded zařízení. Tato metoda je založena na časově serializaci vláken od řídicího programu, toho je dosaženo prosřednictvím J-Serializeru.
dcterms:title
Verificación de las caracteristicas del diseno de aplicaciones empotradas escritas en Java usando J-Sim y serialización de hilos Ověření návrhu vlastností embedded Java aplikací použitím J-Simu a serializace vláken Verification of design characteristics of embedded Java applications using J-Sim and serialization de hilos
skos:prefLabel
Ověření návrhu vlastností embedded Java aplikací použitím J-Simu a serializace vláken Verification of design characteristics of embedded Java applications using J-Sim and serialization de hilos Verificación de las caracteristicas del diseno de aplicaciones empotradas escritas en Java usando J-Sim y serialización de hilos
skos:notation
RIV/49777513:23520/05:00000154!RIV06-GA0-23520___
n4:strany
213-223
n4:aktivita
n15:P
n4:aktivity
P(GA102/03/0672)
n4:dodaniDat
n11:2006
n4:domaciTvurceVysledku
Pacheco, Cesar Allain
n4:druhVysledku
n17:D
n4:duvernostUdaju
n6:S
n4:entitaPredkladatele
n5:predkladatel
n4:idSjednocenehoVysledku
548709
n4:idVysledku
RIV/49777513:23520/05:00000154
n4:jazykVysledku
n20:spa
n4:klicovaSlova
verification of simulation; embedded software; serialization
n4:klicoveSlovo
n7:serialization n7:embedded%20software n7:verification%20of%20simulation
n4:kontrolniKodProRIV
[4A7CACAFBD90]
n4:mistoKonaniAkce
Trujillo
n4:mistoVydani
Trujillo
n4:nazevZdroje
Proceedings SELASI
n4:obor
n14:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n16:GA102%2F03%2F0672
n4:rokUplatneniVysledku
n11:2005
n4:tvurceVysledku
Pacheco, Cesar Allain
n4:typAkce
n19:WRD
n4:zahajeniAkce
2005-04-26+02:00
s:numberOfPages
11
n8:hasPublisher
Universidad Nacional de Trujillo
n12:isbn
9972-9839-9-4
n18:organizacniJednotka
23520