Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2004

AUTHORS

Albert Benveniste , Benoît Caillaud , Luca P. Carloni , Paul Caspi , Alberto L. Sangiovanni-Vincentelli

ABSTRACT

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed architecture (such as GALS or LTTA). In this paper, we extend our framework to model explicitly causality relations and scheduling constraints. We show how the formal results on the preservation of semantics hold also for these cases and we discuss the overall contribution in the context of previous work on desynchronization. More... »

PAGES

1-16

Book

TITLE

Formal Methods for Components and Objects

ISBN

978-3-540-22942-1
978-3-540-30101-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-30101-1_1

DOI

http://dx.doi.org/10.1007/978-3-540-30101-1_1

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1026796158


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Caillaud", 
        "givenName": "Beno\u00eet", 
        "id": "sg:person.015010026051.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of California, Berkeley", 
          "id": "https://www.grid.ac/institutes/grid.47840.3f", 
          "name": [
            "U.C. Berkeley, 94720, Berkeley, CA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Carloni", 
        "givenName": "Luca P.", 
        "id": "sg:person.012557244411.07", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012557244411.07"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Verimag", 
          "id": "https://www.grid.ac/institutes/grid.464170.0", 
          "name": [
            "Verimag, Centre Equation, 2, rue de Vignate, F-38610, Gieres, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Caspi", 
        "givenName": "Paul", 
        "id": "sg:person.010062202103.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010062202103.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of California, Berkeley", 
          "id": "https://www.grid.ac/institutes/grid.47840.3f", 
          "name": [
            "U.C. Berkeley, 94720, Berkeley, CA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sangiovanni-Vincentelli", 
        "givenName": "Alberto L.", 
        "id": "sg:person.010253255177.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010253255177.83"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1003393481", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4471-0741-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003393481", 
          "https://doi.org/10.1007/978-1-4471-0741-5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4471-0741-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003393481", 
          "https://doi.org/10.1007/978-1-4471-0741-5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45449-7_11", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020181765", 
          "https://doi.org/10.1007/3-540-45449-7_11"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45449-7_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022669864", 
          "https://doi.org/10.1007/3-540-45449-7_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-6423(87)90035-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028901262"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(94)90010-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029576598"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-48320-9_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029840242", 
          "https://doi.org/10.1007/3-540-48320-9_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-48320-9_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029840242", 
          "https://doi.org/10.1007/3-540-48320-9_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.2000.9999", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037056573"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45212-6_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047480520", 
          "https://doi.org/10.1007/978-3-540-45212-6_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45212-6_4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047480520", 
          "https://doi.org/10.1007/978-3-540-45212-6_4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45449-7_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049314077", 
          "https://doi.org/10.1007/3-540-45449-7_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45449-7_3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049314077", 
          "https://doi.org/10.1007/3-540-45449-7_3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(92)90326-b", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052279998"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/43.736561", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061173935"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/43.945302", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061174424"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.97300", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061180434"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.97301", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061180435"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jproc.2002.805817", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061296048"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jproc.2002.805824", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061296055"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jproc.2002.805826", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061296057"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/jproc.2002.805829", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061296060"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1142/s0218126603000763", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062951370"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed architecture (such as GALS or LTTA). In this paper, we extend our framework to model explicitly causality relations and scheduling constraints. We show how the formal results on the preservation of semantics hold also for these cases and we discuss the overall contribution in the context of previous work on desynchronization.", 
    "editor": [
      {
        "familyName": "de Boer", 
        "givenName": "Frank S.", 
        "type": "Person"
      }, 
      {
        "familyName": "Bonsangue", 
        "givenName": "Marcello M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Graf", 
        "givenName": "Susanne", 
        "type": "Person"
      }, 
      {
        "familyName": "de Roever", 
        "givenName": "Willem-Paul", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-30101-1_1", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-22942-1", 
        "978-3-540-30101-1"
      ], 
      "name": "Formal Methods for Components and Objects", 
      "type": "Book"
    }, 
    "name": "Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling", 
    "pagination": "1-16", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026796158"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-30101-1_1"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "7fa74d6470a8e39e15f83acff58bdbc1260631bb34e4b39017df1c0fc7bcd8c4"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-30101-1_1", 
      "https://app.dimensions.ai/details/publication/pub.1026796158"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T07:32", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000356_0000000356/records_57902_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-30101-1_1"
  }
]
 

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

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30101-1_1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30101-1_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30101-1_1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30101-1_1'


 

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

179 TRIPLES      23 PREDICATES      47 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-30101-1_1 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nd1342d51309949c19bdc3e9cd85b601d
4 schema:citation sg:pub.10.1007/3-540-45449-7_11
5 sg:pub.10.1007/3-540-45449-7_16
6 sg:pub.10.1007/3-540-45449-7_3
7 sg:pub.10.1007/3-540-48320-9_13
8 sg:pub.10.1007/978-1-4471-0741-5
9 sg:pub.10.1007/978-3-540-45212-6_4
10 https://app.dimensions.ai/details/publication/pub.1003393481
11 https://doi.org/10.1006/inco.2000.9999
12 https://doi.org/10.1016/0167-6423(87)90035-9
13 https://doi.org/10.1016/0304-3975(92)90326-b
14 https://doi.org/10.1016/0304-3975(94)90010-8
15 https://doi.org/10.1109/43.736561
16 https://doi.org/10.1109/43.945302
17 https://doi.org/10.1109/5.97300
18 https://doi.org/10.1109/5.97301
19 https://doi.org/10.1109/jproc.2002.805817
20 https://doi.org/10.1109/jproc.2002.805824
21 https://doi.org/10.1109/jproc.2002.805826
22 https://doi.org/10.1109/jproc.2002.805829
23 https://doi.org/10.1142/s0218126603000763
24 schema:datePublished 2004
25 schema:datePublishedReg 2004-01-01
26 schema:description Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed architecture (such as GALS or LTTA). In this paper, we extend our framework to model explicitly causality relations and scheduling constraints. We show how the formal results on the preservation of semantics hold also for these cases and we discuss the overall contribution in the context of previous work on desynchronization.
27 schema:editor Nf54a2590e2614c228298939e73ef9c0f
28 schema:genre chapter
29 schema:inLanguage en
30 schema:isAccessibleForFree true
31 schema:isPartOf Nf459933c7aa449248e8bc1c6a83bfa4d
32 schema:name Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
33 schema:pagination 1-16
34 schema:productId N3cf636250e304376a911010b45a5c59b
35 N664172fd50b04545b263e78d3281dc74
36 Nef09ae4dc67940889efb1f0e09b180c2
37 schema:publisher Nd54eca20e58447f783ead1b17b3e2bb0
38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026796158
39 https://doi.org/10.1007/978-3-540-30101-1_1
40 schema:sdDatePublished 2019-04-16T07:32
41 schema:sdLicense https://scigraph.springernature.com/explorer/license/
42 schema:sdPublisher Necc1b45d31234bf0a98be3832e7d6ff0
43 schema:url https://link.springer.com/10.1007%2F978-3-540-30101-1_1
44 sgo:license sg:explorer/license/
45 sgo:sdDataset chapters
46 rdf:type schema:Chapter
47 N2431f3ac96744cc98b4b260af9c2ccf1 rdf:first sg:person.012557244411.07
48 rdf:rest N69c509d33c2e49bfa434579d18e7855a
49 N2874acef0e344ba5914f164f0078df65 rdf:first Ne691f6cbb0dd43428d356e079b9f271c
50 rdf:rest Nce21aa4388024a54a00b882346633475
51 N358ab59a419b4532992b410f71637fc9 rdf:first sg:person.010253255177.83
52 rdf:rest rdf:nil
53 N39a6a496ff424f53a97388e7784793ff rdf:first sg:person.015010026051.83
54 rdf:rest N2431f3ac96744cc98b4b260af9c2ccf1
55 N3cf636250e304376a911010b45a5c59b schema:name readcube_id
56 schema:value 7fa74d6470a8e39e15f83acff58bdbc1260631bb34e4b39017df1c0fc7bcd8c4
57 rdf:type schema:PropertyValue
58 N664172fd50b04545b263e78d3281dc74 schema:name doi
59 schema:value 10.1007/978-3-540-30101-1_1
60 rdf:type schema:PropertyValue
61 N69c509d33c2e49bfa434579d18e7855a rdf:first sg:person.010062202103.20
62 rdf:rest N358ab59a419b4532992b410f71637fc9
63 N968b3c46925a40678c06f74edc24815b rdf:first Ne9dcbebdfbc54bdda506f25b634b75e7
64 rdf:rest N2874acef0e344ba5914f164f0078df65
65 Nb0e603438bb44de99caa55e775d80c57 schema:familyName de Roever
66 schema:givenName Willem-Paul
67 rdf:type schema:Person
68 Nce21aa4388024a54a00b882346633475 rdf:first Nb0e603438bb44de99caa55e775d80c57
69 rdf:rest rdf:nil
70 Nd1342d51309949c19bdc3e9cd85b601d rdf:first sg:person.011174600625.42
71 rdf:rest N39a6a496ff424f53a97388e7784793ff
72 Nd54eca20e58447f783ead1b17b3e2bb0 schema:location Berlin, Heidelberg
73 schema:name Springer Berlin Heidelberg
74 rdf:type schema:Organisation
75 Ne691f6cbb0dd43428d356e079b9f271c schema:familyName Graf
76 schema:givenName Susanne
77 rdf:type schema:Person
78 Ne9dcbebdfbc54bdda506f25b634b75e7 schema:familyName Bonsangue
79 schema:givenName Marcello M.
80 rdf:type schema:Person
81 Necc1b45d31234bf0a98be3832e7d6ff0 schema:name Springer Nature - SN SciGraph project
82 rdf:type schema:Organization
83 Nef09ae4dc67940889efb1f0e09b180c2 schema:name dimensions_id
84 schema:value pub.1026796158
85 rdf:type schema:PropertyValue
86 Nf459933c7aa449248e8bc1c6a83bfa4d schema:isbn 978-3-540-22942-1
87 978-3-540-30101-1
88 schema:name Formal Methods for Components and Objects
89 rdf:type schema:Book
90 Nf54a2590e2614c228298939e73ef9c0f rdf:first Nff10d11232734bedb21b8cbe07605bd2
91 rdf:rest N968b3c46925a40678c06f74edc24815b
92 Nff10d11232734bedb21b8cbe07605bd2 schema:familyName de Boer
93 schema:givenName Frank S.
94 rdf:type schema:Person
95 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
96 schema:name Information and Computing Sciences
97 rdf:type schema:DefinedTerm
98 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
99 schema:name Computation Theory and Mathematics
100 rdf:type schema:DefinedTerm
101 sg:person.010062202103.20 schema:affiliation https://www.grid.ac/institutes/grid.464170.0
102 schema:familyName Caspi
103 schema:givenName Paul
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010062202103.20
105 rdf:type schema:Person
106 sg:person.010253255177.83 schema:affiliation https://www.grid.ac/institutes/grid.47840.3f
107 schema:familyName Sangiovanni-Vincentelli
108 schema:givenName Alberto L.
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010253255177.83
110 rdf:type schema:Person
111 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
112 schema:familyName Benveniste
113 schema:givenName Albert
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
115 rdf:type schema:Person
116 sg:person.012557244411.07 schema:affiliation https://www.grid.ac/institutes/grid.47840.3f
117 schema:familyName Carloni
118 schema:givenName Luca P.
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012557244411.07
120 rdf:type schema:Person
121 sg:person.015010026051.83 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
122 schema:familyName Caillaud
123 schema:givenName Benoît
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83
125 rdf:type schema:Person
126 sg:pub.10.1007/3-540-45449-7_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020181765
127 https://doi.org/10.1007/3-540-45449-7_11
128 rdf:type schema:CreativeWork
129 sg:pub.10.1007/3-540-45449-7_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022669864
130 https://doi.org/10.1007/3-540-45449-7_16
131 rdf:type schema:CreativeWork
132 sg:pub.10.1007/3-540-45449-7_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049314077
133 https://doi.org/10.1007/3-540-45449-7_3
134 rdf:type schema:CreativeWork
135 sg:pub.10.1007/3-540-48320-9_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029840242
136 https://doi.org/10.1007/3-540-48320-9_13
137 rdf:type schema:CreativeWork
138 sg:pub.10.1007/978-1-4471-0741-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003393481
139 https://doi.org/10.1007/978-1-4471-0741-5
140 rdf:type schema:CreativeWork
141 sg:pub.10.1007/978-3-540-45212-6_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047480520
142 https://doi.org/10.1007/978-3-540-45212-6_4
143 rdf:type schema:CreativeWork
144 https://app.dimensions.ai/details/publication/pub.1003393481 schema:CreativeWork
145 https://doi.org/10.1006/inco.2000.9999 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037056573
146 rdf:type schema:CreativeWork
147 https://doi.org/10.1016/0167-6423(87)90035-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028901262
148 rdf:type schema:CreativeWork
149 https://doi.org/10.1016/0304-3975(92)90326-b schema:sameAs https://app.dimensions.ai/details/publication/pub.1052279998
150 rdf:type schema:CreativeWork
151 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
152 rdf:type schema:CreativeWork
153 https://doi.org/10.1109/43.736561 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061173935
154 rdf:type schema:CreativeWork
155 https://doi.org/10.1109/43.945302 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061174424
156 rdf:type schema:CreativeWork
157 https://doi.org/10.1109/5.97300 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180434
158 rdf:type schema:CreativeWork
159 https://doi.org/10.1109/5.97301 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180435
160 rdf:type schema:CreativeWork
161 https://doi.org/10.1109/jproc.2002.805817 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061296048
162 rdf:type schema:CreativeWork
163 https://doi.org/10.1109/jproc.2002.805824 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061296055
164 rdf:type schema:CreativeWork
165 https://doi.org/10.1109/jproc.2002.805826 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061296057
166 rdf:type schema:CreativeWork
167 https://doi.org/10.1109/jproc.2002.805829 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061296060
168 rdf:type schema:CreativeWork
169 https://doi.org/10.1142/s0218126603000763 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062951370
170 rdf:type schema:CreativeWork
171 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
172 schema:name Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France
173 rdf:type schema:Organization
174 https://www.grid.ac/institutes/grid.464170.0 schema:alternateName Verimag
175 schema:name Verimag, Centre Equation, 2, rue de Vignate, F-38610, Gieres, France
176 rdf:type schema:Organization
177 https://www.grid.ac/institutes/grid.47840.3f schema:alternateName University of California, Berkeley
178 schema:name U.C. Berkeley, 94720, Berkeley, CA, USA
179 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...