Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2010-04

AUTHORS

Sven Verdoolaege, Martin Palkovič, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor

ABSTRACT

The application of loop and data transformations to array and loop intensive programs is crucial to obtain a good performance. Designers often apply these transformations manually or semi-automatically. For the class of static affine programs, automatic methods exist for proving the correctness of these transformations. Realistic multimedia systems, however, often contain constructs that fall outside of this class. We present an extension of a widening based approach to handle the most relevant of these constructs, viz. accesses to array slices, data dependent accesses and data dependent assignments, and report on some experiments with non-trivial applications. More... »

PAGES

279-292

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10836-009-5140-4

DOI

http://dx.doi.org/10.1007/s10836-009-5140-4

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Dept.\u00a0of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Verdoolaege", 
        "givenName": "Sven", 
        "id": "sg:person.013114401423.15", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013114401423.15"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Interuniversity Microelectronics Centre", 
          "id": "https://www.grid.ac/institutes/grid.15762.37", 
          "name": [
            "IMEC, Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Palkovi\u010d", 
        "givenName": "Martin", 
        "id": "sg:person.016677375531.08", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016677375531.08"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Dept.\u00a0of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bruynooghe", 
        "givenName": "Maurice", 
        "id": "sg:person.012034523241.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012034523241.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Dept.\u00a0of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Janssens", 
        "givenName": "Gerda", 
        "id": "sg:person.014675317777.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014675317777.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "KU Leuven", 
          "id": "https://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "IMEC, Leuven, Belgium", 
            "Katholieke Universiteit Leuven, Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Catthoor", 
        "givenName": "Francky", 
        "id": "sg:person.014315547402.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014315547402.83"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/1497561.1497565", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004996123"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/jpdc.1996.1261", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014920755"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1018192392", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4757-4903-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018192392", 
          "https://doi.org/10.1007/978-1-4757-4903-8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4757-4903-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018192392", 
          "https://doi.org/10.1007/978-1-4757-4903-8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01407931", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019693912", 
          "https://doi.org/10.1007/bf01407931"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01407931", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019693912", 
          "https://doi.org/10.1007/bf01407931"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1455229.1455232", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020919002"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-55844-6_142", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040386227", 
          "https://doi.org/10.1007/3-540-55844-6_142"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45706-2_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040858814", 
          "https://doi.org/10.1007/3-540-45706-2_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45706-2_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040858814", 
          "https://doi.org/10.1007/3-540-45706-2_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-31985-6_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041644447", 
          "https://doi.org/10.1007/978-3-540-31985-6_15"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-31985-6_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041644447", 
          "https://doi.org/10.1007/978-3-540-31985-6_15"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1629911.1630034", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042613361"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4020-5897-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047643419", 
          "https://doi.org/10.1007/978-1-4020-5897-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1047643419", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-02658-4_44", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049331642", 
          "https://doi.org/10.1007/978-3-642-02658-4_44"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-02658-4_44", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1049331642", 
          "https://doi.org/10.1007/978-3-642-02658-4_44"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf03356760", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051504276", 
          "https://doi.org/10.1007/bf03356760"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1504/ijes.2009.027238", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1067452639"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/date.2003.1253746", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093236209"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/hldvt.2009.5340164", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094987623"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2010-04", 
    "datePublishedReg": "2010-04-01", 
    "description": "The application of loop and data transformations to array and loop intensive programs is crucial to obtain a good performance. Designers often apply these transformations manually or semi-automatically. For the class of static affine programs, automatic methods exist for proving the correctness of these transformations. Realistic multimedia systems, however, often contain constructs that fall outside of this class. We present an extension of a widening based approach to handle the most relevant of these constructs, viz. accesses to array slices, data dependent accesses and data dependent assignments, and report on some experiments with non-trivial applications.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10836-009-5140-4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1136396", 
        "issn": [
          "0923-8174", 
          "1573-0727"
        ], 
        "name": "Journal of Electronic Testing", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "26"
      }
    ], 
    "name": "Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems", 
    "pagination": "279-292", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "1a0ba105287e9aa993c8c7c5dbc9b7b56edfe6dfe54fba32729614876320e3aa"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10836-009-5140-4"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1005466218"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10836-009-5140-4", 
      "https://app.dimensions.ai/details/publication/pub.1005466218"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T09:57", 
    "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/0000000347_0000000347/records_89807_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007%2Fs10836-009-5140-4"
  }
]
 

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/s10836-009-5140-4'

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/s10836-009-5140-4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10836-009-5140-4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10836-009-5140-4'


 

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

151 TRIPLES      21 PREDICATES      44 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10836-009-5140-4 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N73cbe91fc27d4d3a96eb18597d24ba87
4 schema:citation sg:pub.10.1007/3-540-45706-2_40
5 sg:pub.10.1007/3-540-55844-6_142
6 sg:pub.10.1007/978-1-4020-5897-4
7 sg:pub.10.1007/978-1-4757-4903-8
8 sg:pub.10.1007/978-3-540-31985-6_15
9 sg:pub.10.1007/978-3-642-02658-4_44
10 sg:pub.10.1007/bf01407931
11 sg:pub.10.1007/bf03356760
12 https://app.dimensions.ai/details/publication/pub.1018192392
13 https://app.dimensions.ai/details/publication/pub.1047643419
14 https://doi.org/10.1006/jpdc.1996.1261
15 https://doi.org/10.1109/date.2003.1253746
16 https://doi.org/10.1109/hldvt.2009.5340164
17 https://doi.org/10.1145/1455229.1455232
18 https://doi.org/10.1145/1497561.1497565
19 https://doi.org/10.1145/1629911.1630034
20 https://doi.org/10.1504/ijes.2009.027238
21 schema:datePublished 2010-04
22 schema:datePublishedReg 2010-04-01
23 schema:description The application of loop and data transformations to array and loop intensive programs is crucial to obtain a good performance. Designers often apply these transformations manually or semi-automatically. For the class of static affine programs, automatic methods exist for proving the correctness of these transformations. Realistic multimedia systems, however, often contain constructs that fall outside of this class. We present an extension of a widening based approach to handle the most relevant of these constructs, viz. accesses to array slices, data dependent accesses and data dependent assignments, and report on some experiments with non-trivial applications.
24 schema:genre research_article
25 schema:inLanguage en
26 schema:isAccessibleForFree true
27 schema:isPartOf N4628e860972f4d84a0f719acd1b1f3c5
28 N541d8c8bfd274c04b48835cb9ff29e26
29 sg:journal.1136396
30 schema:name Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
31 schema:pagination 279-292
32 schema:productId N0e0dcfd21a8d4bcc805663539b6a2671
33 N3f6346e6e3464969af58489b50b38da6
34 N74ac90a6d4c646599d6abefa14e3c826
35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005466218
36 https://doi.org/10.1007/s10836-009-5140-4
37 schema:sdDatePublished 2019-04-11T09:57
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher Nb72f22e7ed4d4e30b023ba18fa5500a2
40 schema:url http://link.springer.com/10.1007%2Fs10836-009-5140-4
41 sgo:license sg:explorer/license/
42 sgo:sdDataset articles
43 rdf:type schema:ScholarlyArticle
44 N0e0dcfd21a8d4bcc805663539b6a2671 schema:name dimensions_id
45 schema:value pub.1005466218
46 rdf:type schema:PropertyValue
47 N1cae94d675c24b07955372aad09674ce rdf:first sg:person.014315547402.83
48 rdf:rest rdf:nil
49 N3f6346e6e3464969af58489b50b38da6 schema:name readcube_id
50 schema:value 1a0ba105287e9aa993c8c7c5dbc9b7b56edfe6dfe54fba32729614876320e3aa
51 rdf:type schema:PropertyValue
52 N4628e860972f4d84a0f719acd1b1f3c5 schema:volumeNumber 26
53 rdf:type schema:PublicationVolume
54 N541d8c8bfd274c04b48835cb9ff29e26 schema:issueNumber 2
55 rdf:type schema:PublicationIssue
56 N5b4b19272c264aa39e6788603af0ef21 rdf:first sg:person.012034523241.20
57 rdf:rest N82a2eaa07e4947c3906097d3ad570ddc
58 N73cbe91fc27d4d3a96eb18597d24ba87 rdf:first sg:person.013114401423.15
59 rdf:rest Ne00d2a24c96047c09e194dd2a07ca18c
60 N74ac90a6d4c646599d6abefa14e3c826 schema:name doi
61 schema:value 10.1007/s10836-009-5140-4
62 rdf:type schema:PropertyValue
63 N82a2eaa07e4947c3906097d3ad570ddc rdf:first sg:person.014675317777.63
64 rdf:rest N1cae94d675c24b07955372aad09674ce
65 Nb72f22e7ed4d4e30b023ba18fa5500a2 schema:name Springer Nature - SN SciGraph project
66 rdf:type schema:Organization
67 Ne00d2a24c96047c09e194dd2a07ca18c rdf:first sg:person.016677375531.08
68 rdf:rest N5b4b19272c264aa39e6788603af0ef21
69 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
70 schema:name Information and Computing Sciences
71 rdf:type schema:DefinedTerm
72 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
73 schema:name Artificial Intelligence and Image Processing
74 rdf:type schema:DefinedTerm
75 sg:journal.1136396 schema:issn 0923-8174
76 1573-0727
77 schema:name Journal of Electronic Testing
78 rdf:type schema:Periodical
79 sg:person.012034523241.20 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
80 schema:familyName Bruynooghe
81 schema:givenName Maurice
82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012034523241.20
83 rdf:type schema:Person
84 sg:person.013114401423.15 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
85 schema:familyName Verdoolaege
86 schema:givenName Sven
87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013114401423.15
88 rdf:type schema:Person
89 sg:person.014315547402.83 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
90 schema:familyName Catthoor
91 schema:givenName Francky
92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014315547402.83
93 rdf:type schema:Person
94 sg:person.014675317777.63 schema:affiliation https://www.grid.ac/institutes/grid.5596.f
95 schema:familyName Janssens
96 schema:givenName Gerda
97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014675317777.63
98 rdf:type schema:Person
99 sg:person.016677375531.08 schema:affiliation https://www.grid.ac/institutes/grid.15762.37
100 schema:familyName Palkovič
101 schema:givenName Martin
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016677375531.08
103 rdf:type schema:Person
104 sg:pub.10.1007/3-540-45706-2_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040858814
105 https://doi.org/10.1007/3-540-45706-2_40
106 rdf:type schema:CreativeWork
107 sg:pub.10.1007/3-540-55844-6_142 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040386227
108 https://doi.org/10.1007/3-540-55844-6_142
109 rdf:type schema:CreativeWork
110 sg:pub.10.1007/978-1-4020-5897-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047643419
111 https://doi.org/10.1007/978-1-4020-5897-4
112 rdf:type schema:CreativeWork
113 sg:pub.10.1007/978-1-4757-4903-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018192392
114 https://doi.org/10.1007/978-1-4757-4903-8
115 rdf:type schema:CreativeWork
116 sg:pub.10.1007/978-3-540-31985-6_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041644447
117 https://doi.org/10.1007/978-3-540-31985-6_15
118 rdf:type schema:CreativeWork
119 sg:pub.10.1007/978-3-642-02658-4_44 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049331642
120 https://doi.org/10.1007/978-3-642-02658-4_44
121 rdf:type schema:CreativeWork
122 sg:pub.10.1007/bf01407931 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019693912
123 https://doi.org/10.1007/bf01407931
124 rdf:type schema:CreativeWork
125 sg:pub.10.1007/bf03356760 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051504276
126 https://doi.org/10.1007/bf03356760
127 rdf:type schema:CreativeWork
128 https://app.dimensions.ai/details/publication/pub.1018192392 schema:CreativeWork
129 https://app.dimensions.ai/details/publication/pub.1047643419 schema:CreativeWork
130 https://doi.org/10.1006/jpdc.1996.1261 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014920755
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1109/date.2003.1253746 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093236209
133 rdf:type schema:CreativeWork
134 https://doi.org/10.1109/hldvt.2009.5340164 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094987623
135 rdf:type schema:CreativeWork
136 https://doi.org/10.1145/1455229.1455232 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020919002
137 rdf:type schema:CreativeWork
138 https://doi.org/10.1145/1497561.1497565 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004996123
139 rdf:type schema:CreativeWork
140 https://doi.org/10.1145/1629911.1630034 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042613361
141 rdf:type schema:CreativeWork
142 https://doi.org/10.1504/ijes.2009.027238 schema:sameAs https://app.dimensions.ai/details/publication/pub.1067452639
143 rdf:type schema:CreativeWork
144 https://www.grid.ac/institutes/grid.15762.37 schema:alternateName Interuniversity Microelectronics Centre
145 schema:name IMEC, Leuven, Belgium
146 rdf:type schema:Organization
147 https://www.grid.ac/institutes/grid.5596.f schema:alternateName KU Leuven
148 schema:name Dept. of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium
149 IMEC, Leuven, Belgium
150 Katholieke Universiteit Leuven, Leuven, Belgium
151 rdf:type schema:Organization
 




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


...