Matches in SemOpenAlex for { <https://semopenalex.org/work/W2189257662> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2189257662 abstract "Multicore systems with non-uniform memory are of increasing importance in desktop and server computing. Such systems represent both potentially vast computing power and significant research problems in expressing and maximizing parallelism, which has prompted researchers to design new languages such as X10, Fortress, and Chapel. Common to these languages is support for location-aware programming, which gives the programmer control over the location of both data and computations. One primary data structure in these languages is the distributed array, which elevates the location of individual array elements to a language concept. A location-aware algorithm executing on a particular core must be designed to exploit the locality of the distributed array, because access to remote data is far slower than to local data. In this paper, we solve the open problem of statically checking whether such a program has achieved the desired locality of access. We present a statically-typed core language in which a well-typed program only accesses local parts of distributed arrays and every array access is within the array bounds. The type system integrates dependent types and set constraints, with the key operation during type checking being constraint entailment. Type checking for this system is co-NP-complete. We have integrated our type system into the object-oriented language X10 and shown that for seven benchmarks, a programmer needs insert only a few casts to make a program type check." @default.
- W2189257662 created "2016-06-24" @default.
- W2189257662 creator A5011356414 @default.
- W2189257662 creator A5014251923 @default.
- W2189257662 creator A5039190860 @default.
- W2189257662 date "2006-01-01" @default.
- W2189257662 modified "2023-09-27" @default.
- W2189257662 title "A Type System for Distributed Arrays" @default.
- W2189257662 cites W1487318190 @default.
- W2189257662 cites W1512154628 @default.
- W2189257662 cites W1554250422 @default.
- W2189257662 cites W1886159700 @default.
- W2189257662 cites W1980939032 @default.
- W2189257662 cites W1985108724 @default.
- W2189257662 cites W1989669520 @default.
- W2189257662 cites W1994994277 @default.
- W2189257662 cites W2002897809 @default.
- W2189257662 cites W2005192022 @default.
- W2189257662 cites W2008117760 @default.
- W2189257662 cites W2022316658 @default.
- W2189257662 cites W2024914463 @default.
- W2189257662 cites W2034711041 @default.
- W2189257662 cites W2036252294 @default.
- W2189257662 cites W2038053930 @default.
- W2189257662 cites W2042771246 @default.
- W2189257662 cites W2050271996 @default.
- W2189257662 cites W2081344748 @default.
- W2189257662 cites W2097699872 @default.
- W2189257662 cites W2098558983 @default.
- W2189257662 cites W2109065830 @default.
- W2189257662 cites W2130711572 @default.
- W2189257662 cites W2140300123 @default.
- W2189257662 hasPublicationYear "2006" @default.
- W2189257662 type Work @default.
- W2189257662 sameAs 2189257662 @default.
- W2189257662 citedByCount "2" @default.
- W2189257662 countsByYear W21892576622021 @default.
- W2189257662 crossrefType "journal-article" @default.
- W2189257662 hasAuthorship W2189257662A5011356414 @default.
- W2189257662 hasAuthorship W2189257662A5014251923 @default.
- W2189257662 hasAuthorship W2189257662A5039190860 @default.
- W2189257662 hasConcept C120314980 @default.
- W2189257662 hasConcept C138885662 @default.
- W2189257662 hasConcept C138958017 @default.
- W2189257662 hasConcept C162319229 @default.
- W2189257662 hasConcept C199360897 @default.
- W2189257662 hasConcept C2778514511 @default.
- W2189257662 hasConcept C2779808786 @default.
- W2189257662 hasConcept C2780870223 @default.
- W2189257662 hasConcept C41008148 @default.
- W2189257662 hasConcept C41895202 @default.
- W2189257662 hasConcept C80444323 @default.
- W2189257662 hasConceptScore W2189257662C120314980 @default.
- W2189257662 hasConceptScore W2189257662C138885662 @default.
- W2189257662 hasConceptScore W2189257662C138958017 @default.
- W2189257662 hasConceptScore W2189257662C162319229 @default.
- W2189257662 hasConceptScore W2189257662C199360897 @default.
- W2189257662 hasConceptScore W2189257662C2778514511 @default.
- W2189257662 hasConceptScore W2189257662C2779808786 @default.
- W2189257662 hasConceptScore W2189257662C2780870223 @default.
- W2189257662 hasConceptScore W2189257662C41008148 @default.
- W2189257662 hasConceptScore W2189257662C41895202 @default.
- W2189257662 hasConceptScore W2189257662C80444323 @default.
- W2189257662 hasLocation W21892576621 @default.
- W2189257662 hasOpenAccess W2189257662 @default.
- W2189257662 hasPrimaryLocation W21892576621 @default.
- W2189257662 hasRelatedWork W1561882679 @default.
- W2189257662 hasRelatedWork W1822842400 @default.
- W2189257662 hasRelatedWork W2003603484 @default.
- W2189257662 hasRelatedWork W2008323676 @default.
- W2189257662 hasRelatedWork W2016477192 @default.
- W2189257662 hasRelatedWork W2037159234 @default.
- W2189257662 hasRelatedWork W2042771246 @default.
- W2189257662 hasRelatedWork W2059045883 @default.
- W2189257662 hasRelatedWork W2088921570 @default.
- W2189257662 hasRelatedWork W2095778029 @default.
- W2189257662 hasRelatedWork W2117262103 @default.
- W2189257662 hasRelatedWork W2140047472 @default.
- W2189257662 hasRelatedWork W2189171683 @default.
- W2189257662 hasRelatedWork W2767137645 @default.
- W2189257662 hasRelatedWork W2943904246 @default.
- W2189257662 hasRelatedWork W589268227 @default.
- W2189257662 hasRelatedWork W82137051 @default.
- W2189257662 hasRelatedWork W844282755 @default.
- W2189257662 hasRelatedWork W1891040718 @default.
- W2189257662 hasRelatedWork W1958370535 @default.
- W2189257662 isParatext "false" @default.
- W2189257662 isRetracted "false" @default.
- W2189257662 magId "2189257662" @default.
- W2189257662 workType "article" @default.