About: Liveness     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • Liveness (en)
  • Vivacité (informatique) (fr)
rdfs:comment
  • En programmation concurrente, la vivacité est le fait pour un système de garantir qu'une propriété sera vraie dans un système à partir d'une certaine étape de l'exécution. Par exemple, dans un algorithme d'exclusion mutuelle, une propriété de vivacité est : inéluctablement, tout processus qui le demande entre en section critique. L'équivalent en algorithmique séquentielle (c'est-à-dire non concurrente) est la terminaison. L'autre grand type de propriété de programmes est la sûreté. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
has abstract
  • En programmation concurrente, la vivacité est le fait pour un système de garantir qu'une propriété sera vraie dans un système à partir d'une certaine étape de l'exécution. Par exemple, dans un algorithme d'exclusion mutuelle, une propriété de vivacité est : inéluctablement, tout processus qui le demande entre en section critique. L'équivalent en algorithmique séquentielle (c'est-à-dire non concurrente) est la terminaison. Souvent, ce type de propriété est vérifié sous une condition d'équité : par exemple, on va garantir la terminaison d'un programme parallèle sous la condition que l'ordonnanceur soit équitable. L'autre grand type de propriété de programmes est la sûreté. (fr)
is dbo:wikiPageWikiLink of
is Wikipage redirect of
is Wikipage disambiguates of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


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.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software