JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dept of Computer Science, Brown Univ., USA", 
          "id": "http://www.grid.ac/institutes/grid.40263.33", 
          "name": [
            "Dept of Computer Science, Brown Univ., USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Klein", 
        "givenName": "Philip N.", 
        "id": "sg:person.0701364100.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0701364100.14"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. of Computer Science & Information Engineering, National Chung-Cheng Univ., Taiwan", 
          "id": "http://www.grid.ac/institutes/grid.412047.4", 
          "name": [
            "Dept of Computer Science, Brown Univ., USA", 
            "Dept. of Computer Science & Information Engineering, National Chung-Cheng Univ., Taiwan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lu", 
        "givenName": "Hsueh-I", 
        "id": "sg:person.013345515575.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013345515575.46"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept of Computer Science, Brown Univ., USA", 
          "id": "http://www.grid.ac/institutes/grid.40263.33", 
          "name": [
            "Dept of Computer Science, Brown Univ., USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Netzer", 
        "givenName": "Robert H. B.", 
        "id": "sg:person.015172024763.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015172024763.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "We address a problem arising in debugging parallel programs, detecting race conditions in programs using semaphores for synchronization. It is NP-complete to detect race conditions in programs that use polynomial number of semaphores [10]. We show in this paper that it remains NP-complete even if the programs are allowed to use only two semaphores, which settles the open question raised in [10]. The proof uses a technique that simulates a graph with any number of semaphores by a graph with only two semaphores.For the case of single semaphore, Lu et al. [8] give the previously only-known polynomial-time algorithm that runs in time O(n1.5p), where p is the number of processors and n is the total number of semaphore operations executed. Their algorithm, however, detects only a special class of race conditions. In this paper we cope with the general race-condition detection problem and give an O(np log n) -time algorithm.The output of our algorithm is a compact representation of size \u0398(np), from which one can determine in constant time whether a race condition exists between two given operations. Our algorithm is near-optimal in that the time it takes is only O(log n) times the time required simply to write down the output.", 
    "editor": [
      {
        "familyName": "Diaz", 
        "givenName": "Josep", 
        "type": "Person"
      }, 
      {
        "familyName": "Serna", 
        "givenName": "Maria", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-61680-2_74", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61680-1", 
        "978-3-540-70667-0"
      ], 
      "name": "Algorithms \u2014 ESA '96", 
      "type": "Book"
    }, 
    "keywords": [
      "race conditions", 
      "number of processors", 
      "race condition detection", 
      "polynomial time algorithm", 
      "parallel programs", 
      "parallel computation", 
      "detection problem", 
      "compact representation", 
      "polynomial number", 
      "semaphores", 
      "Lu et al", 
      "time algorithm", 
      "semaphore operations", 
      "constant time", 
      "algorithm", 
      "graph", 
      "NPs", 
      "processors", 
      "special class", 
      "computation", 
      "operation", 
      "detects", 
      "synchronization", 
      "representation", 
      "open question", 
      "output", 
      "number", 
      "program", 
      "proof", 
      "time", 
      "detection", 
      "technique", 
      "class", 
      "one", 
      "et al", 
      "total number", 
      "questions", 
      "size", 
      "cases", 
      "conditions", 
      "al", 
      "problem", 
      "paper"
    ], 
    "name": "Race-condition detection in parallel computation with semaphores (extended abstract)", 
    "pagination": "445-459", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026455081"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61680-2_74"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61680-2_74", 
      "https://app.dimensions.ai/details/publication/pub.1026455081"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:40", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_189.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-61680-2_74"
  }
]

Download the RDF metadata as:  json-ld nt turtle xml License info

This table displays all metadata directly associated to this object as RDF triples.

126 TRIPLES      23 PREDICATES      69 URIs      62 LITERALS      7 BLANK NODES